〈a, b | aaabbaaba=1〉

Monoid presentation of length 9

Properties

Infinite non-Abelian group

Completion parameters

Reduction order: right-to-left dc/ba
Auxiliary generator aab=c
Auxiliary generator aacb=d

Inverses of generators

a^-1 = dba
b^-1 = a²d
c^-1 = d
d^-1 = c

Complete rewriting system

cd ⇒ 1
dc ⇒ 1
bc ⇒ dbd
bd² ⇒ cb
bda ⇒ abd
a²d ⇒ c²a²
a²c ⇒ d²a²
a²b ⇒ c

Other anti-isomorphic instances

1 total

Length:	Presentation:
9	〈a, b \| aabaabbaa=1〉