Back

a, b | aa=1, ababa=bb

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1
  2. ab2(ba)2
  3. (ab)2b2a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

16 total

Length:Presentation:
9a, b | aa=1, abab=bba
9a, b | aa=1, abba=bab
11a, b | aa=1, aaababa=bb
11a, b | aa=1, abaaaba=bb
11a, b | aa=1, aaabab=bba
11a, b | aa=1, aaabba=bab
11a, b | aa=1, aababa=abb
11a, b | aa=1, abaaab=bba
11a, b | aa=1, abaaba=bab
11a, b | aa=1, aaabb=baba
11a, b | aa=1, aabab=abba
11a, b | aa=1, aabba=abab
11a, b | aa=1, abaab=baba
11a, b | aa=1, ababa=aabb
11a, b | aa=1, ababa=baab
11a, b | aa=1, baaab=abba