〈a, b | aa=a, babb=bba〉

Monoid presentation of length 10

Properties

Infinite non-commutative monoid

Completion parameters

Reduction order: left-to-right ab

Complete rewriting system

a² ⇒ a
bab² ⇒ b²a
b(ba)² ⇒ b³a
b⁴a ⇒ b³a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

2 total

Length:	Presentation:
11	〈a, b \| aa=a, baabb=bba〉
11	〈a, b \| aa=a, bbaa=babb〉