〈a, b | aabbbabaab=1〉

Monoid presentation of length 10

Properties

Infinite non-Abelian group

Completion parameters

Reduction order: right-to-left de/c/ba
Auxiliary generator ab=c
Auxiliary generator acb=d
Auxiliary generator bca=e

Inverses of generators

a^-1 = edb
b^-1 = aed
c^-1 = ed
d^-1 = ce
e^-1 = dc

Complete rewriting system

dec ⇒ 1
ecd ⇒ 1
cde ⇒ 1
be ⇒ db
bded ⇒ cb
bc ⇒ ebde
ad ⇒ cedea
ae ⇒ c²a
ac ⇒ d²ea
ab ⇒ c
bdea ⇒ 1