〈a, b | aa=1, bbabb=a〉

Monoid presentation of length 8

Properties

Infinite non-Abelian group

Completion parameters

Reduction order: left-to-right ac/b
Auxiliary generator abb=c

Inverses of generators

a^-1 = a
b^-1 = bca
c^-1 = c

Complete rewriting system

a² ⇒ 1
c² ⇒ 1
cb ⇒ abac
cab ⇒ bca
b² ⇒ ac

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

4 total

Length:	Presentation:
10	〈a, b \| aa=1, aabbabb=a〉
10	〈a, b \| aa=1, baababb=a〉
10	〈a, b \| aa=1, bbaaabb=a〉
10	〈a, b \| aa=1, bbabb=aaa〉