Algorithms and Classification in Combinatorial Group Theory

Group isomorphism problem

In abstract algebra, the group isomorphism problem is the decision problem of determining whether two given finite group presentations present isomorphic groups.

Word problem for groups

In mathematics, especially in the area of abstract algebra known as combinatorial group theory, the word problem for a finitely generated group G is the algorithmic…