Back

a, b | aa=1, ababb=bb

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1
  2. b3b2
  3. bab2ab2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

12 total

Length:Presentation:
9a, b | aa=1, babb=abb
11a, b | aa=1, aaababb=bb
11a, b | aa=1, abaaabb=bb
11a, b | aa=1, ababaab=bb
11a, b | aa=1, aababb=abb
11a, b | aa=1, ababba=bba
11a, b | aa=1, baaabb=abb
11a, b | aa=1, aaabb=babb
11a, b | aa=1, abaab=babb
11a, b | aa=1, ababb=aabb
11a, b | aa=1, ababb=baab
11a, b | aa=1, ababb=bbaa

Other anti-isomorphic instances

5 total

Length:Presentation:
11a, b | aa=1, aabbaba=bb
11a, b | aa=1, aabbab=bba
11a, b | aa=1, baabab=bba
11a, b | aa=1, aabba=bbab
11a, b | aa=1, abbab=abba