Group Presentation Explorer

Select a pre-configured example or manually enter your own generators and relations below.

Comma separated list of single characters.

Comma separated relations: "abab" means "abab=e", "a^4" means "a^4=e".
You can enter inverses a⁻¹ as a^(-1) or A.
[a,b] is shorthand for the commutator aba⁻¹b⁻¹. As a relation this says that a and b commute.