〈a, b | aa=a, aaba=ba〉

Monoid presentation of length 9

Properties

Infinite non-commutative monoid

Completion parameters

Reduction order: left-to-right bc/a
Auxiliary generator bba=c

Complete rewriting system

b²c ⇒ c²
cbc ⇒ bc²
ac ⇒ c
abc ⇒ bc
ca ⇒ c
b²a ⇒ c
cba ⇒ bc
a² ⇒ a
aba ⇒ ba

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

5 total

Length:	Presentation:
10	〈a, b \| aa=a, aaaba=ba〉
10	〈a, b \| aa=a, aaba=baa〉
11	〈a, b \| aa=a, aaaaba=ba〉
11	〈a, b \| aa=a, aaabaa=ba〉
11	〈a, b \| aa=a, aaaba=baa〉