〈a, b | bb=aa, aaa=aa〉

Monoid presentation of length 9

Properties

Infinite non-commutative monoid

Completion parameters

Reduction order: left-to-right ba

Complete rewriting system

a² ⇒ b²
b²a ⇒ b²
ab² ⇒ b²
b⁴ ⇒ b²

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

6 total

Length:	Presentation:
9	〈a, b \| bb=aa, aaa=bb〉
9	〈a, b \| bb=aa, aab=aa〉
9	〈a, b \| bb=aa, aab=bb〉
11	〈a, b \| aaa=aa, aaaa=bb〉
11	〈a, b \| aab=aa, aabb=bb〉
11	〈a, b \| aab=aa, abba=bb〉