2. The Subgroup Problem

Computational group theory provides two classical methods for dealing with the subgroup problem: Nielsen reduced sets for subgroups in finitely generated free groups and coset enumeration for subgroups in finitely presented groups.