Back

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

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. b6 ⇒ b3
  2. bab2 ⇒ ab4
  3. b2ab ⇒ ab2
  4. a2 ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

10 total

Length:Presentation:
11〈a, b | aa=1, aaabbab=bb〉
11〈a, b | aa=1, abaabab=bb〉
11〈a, b | aa=1, abbaaab=bb〉
11〈a, b | aa=1, aabbab=abb〉
11〈a, b | aa=1, baabab=abb〉
11〈a, b | aa=1, aaabb=bbab〉
11〈a, b | aa=1, abaab=bbab〉
11〈a, b | aa=1, abbab=aabb〉
11〈a, b | aa=1, abbab=baab〉
11〈a, b | aa=1, abbab=bbaa〉

Other anti-isomorphic instances

7 total

Length:Presentation:
9〈a, b | aa=1, babb=bba〉
11〈a, b | aa=1, aababba=bb〉
11〈a, b | aa=1, aababb=bba〉
11〈a, b | aa=1, ababba=abb〉
11〈a, b | aa=1, baaabb=bba〉
11〈a, b | aa=1, aabba=babb〉
11〈a, b | aa=1, ababb=abba〉