〈a, b | ababaaabab=1〉

Monoid presentation of length 10

Properties

Infinite non-Abelian group

Completion parameters

Reduction order: left-to-right acd/b
Auxiliary generator aaa=c
Auxiliary generator bababab=d

Inverses of generators

a^-1 = a²d
b^-1 = (ab)³c
c^-1 = d
d^-1 = c

Complete rewriting system

ca ⇒ ac
cd ⇒ 1
da ⇒ ad
dc ⇒ 1
a³ ⇒ c
cb ⇒ aba²
db ⇒ aba²d²
a²b ⇒ ba²
b(ab)³ ⇒ d

Other isomorphic instances

1 total

Length:	Presentation:
10	〈a, b \| abababaaab=1〉