Back

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

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1
  2. bab ⇒ b2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

25 total

Length:Presentation:
9〈a, b | aa=1, aabab=bb〉
9〈a, b | aa=1, baaab=bb〉
9〈a, b | aa=1, aabb=bab〉
9〈a, b | aa=1, abab=abb〉
9〈a, b | aa=1, baab=bab〉
11〈a, b | aa=1, aaaabab=bb〉
11〈a, b | aa=1, aabaaab=bb〉
11〈a, b | aa=1, aababaa=bb〉
11〈a, b | aa=1, baaaaab=bb〉
11〈a, b | aa=1, aaaabb=bab〉
11〈a, b | aa=1, aaabab=abb〉
11〈a, b | aa=1, aabaab=bab〉
11〈a, b | aa=1, aababa=bba〉
11〈a, b | aa=1, aabbaa=bab〉
11〈a, b | aa=1, abaaab=abb〉
11〈a, b | aa=1, baaaab=bab〉
11〈a, b | aa=1, aaabb=abab〉
11〈a, b | aa=1, aabab=aabb〉
11〈a, b | aa=1, aabab=baab〉
11〈a, b | aa=1, aabab=bbaa〉
11〈a, b | aa=1, aabba=baba〉
11〈a, b | aa=1, abaab=abab〉
11〈a, b | aa=1, ababa=abba〉
11〈a, b | aa=1, baaab=aabb〉
11〈a, b | aa=1, baaab=baab〉