〈a, b | aaaaabaaba=1〉

Monoid presentation of length 10

Properties

Infinite non-Abelian group

Completion parameters

Reduction order: left-to-right acd/b
Auxiliary generator aaaaaa=c
Auxiliary generator baab=d

Inverses of generators

a^-1 = a⁵d
b^-1 = cba²
c^-1 = d
d^-1 = c

Complete rewriting system

ca ⇒ ac
cd ⇒ 1
da ⇒ ad
dc ⇒ 1
a⁶ ⇒ c
db ⇒ cbd²
a²b ⇒ cba²d
c²b ⇒ bc²
a²cb ⇒ ba²c
bcb ⇒ a⁴d

Other isomorphic instances

3 total

Length:	Presentation:
10	〈a, b \| aaaabaabaa=1〉
10	〈a, b \| aaabaabaaa=1〉
10	〈a, b \| aabaaaaaab=1〉