〈a, b | aa=1, babbb=bb〉

Monoid presentation of length 9

Properties

Infinite non-commutative monoid

Completion parameters

Reduction order: left-to-right ab

Complete rewriting system

a² ⇒ 1
bab³ ⇒ b²

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

7 total

Length:	Presentation:
11	〈a, b \| aa=1, aababbb=bb〉
11	〈a, b \| aa=1, baaabbb=bb〉
11	〈a, b \| aa=1, babaabb=bb〉
11	〈a, b \| aa=1, ababbb=abb〉
11	〈a, b \| aa=1, babbb=aabb〉
11	〈a, b \| aa=1, babbb=baab〉
11	〈a, b \| aa=1, babbb=bbaa〉

Other anti-isomorphic instances

3 total

Length:	Presentation:
11	〈a, b \| aa=1, aabbbab=bb〉
11	〈a, b \| aa=1, baabbab=bb〉
11	〈a, b \| aa=1, abbbab=abb〉