Stallings Folding – Subgroup Analyzer

Compute rank, index, normality, and membership in subgroups of a free group via Stallings folding.
Input
Specify a free group on a finite set of generators, a subgroup generated by words in those generators, and optionally a single element to test for membership in that subgroup.
Free group generators
Enter the free generators separated by commas. Example: a, b or a, b, c.
Subgroup generators
Enter subgroup generators separated by commas, e.g. abaB, abb, bab, baaaB
Element to test (optional)
Enter a single word in the free group generators (e.g. abbAAbaaaB). It will be tested for membership in the subgroup. If left empty, no test is performed.