〈a, b | aaa=ab, aab=aa〉

Monoid presentation of length 10

Properties

Infinite non-commutative monoid

Completion parameters

Reduction order: left-to-right a/b

Complete rewriting system

a⁴ ⇒ a²
ab ⇒ a³

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

5 total

Length:	Presentation:
10	〈a, b \| aaa=ab, aba=aa〉
11	〈a, b \| aaa=ab, aaaa=aa〉
11	〈a, b \| aab=aa, aaab=ab〉
11	〈a, b \| aab=aa, aaba=ab〉
11	〈a, b \| aba=aa, aaba=ab〉

Other anti-isomorphic instances

1 total

Length:	Presentation:
11	〈a, b \| aba=aa, aaba=ba〉