Back

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

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1
  2. ab2 ⇒ b2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

25 total

Length:Presentation:
9〈a, b | aa=1, aaabb=bb〉
9〈a, b | aa=1, abaab=bb〉
9〈a, b | aa=1, aabb=abb〉
9〈a, b | aa=1, abab=bab〉
9〈a, b | aa=1, baab=abb〉
11〈a, b | aa=1, aaaaabb=bb〉
11〈a, b | aa=1, aaabaab=bb〉
11〈a, b | aa=1, aaabbaa=bb〉
11〈a, b | aa=1, abaaaab=bb〉
11〈a, b | aa=1, aaaabb=abb〉
11〈a, b | aa=1, aaabab=bab〉
11〈a, b | aa=1, aaabba=bba〉
11〈a, b | aa=1, aabaab=abb〉
11〈a, b | aa=1, aabbaa=abb〉
11〈a, b | aa=1, abaaab=bab〉
11〈a, b | aa=1, baaaab=abb〉
11〈a, b | aa=1, aaabb=aabb〉
11〈a, b | aa=1, aaabb=baab〉
11〈a, b | aa=1, aaabb=bbaa〉
11〈a, b | aa=1, aabab=abab〉
11〈a, b | aa=1, aabba=abba〉
11〈a, b | aa=1, abaab=aabb〉
11〈a, b | aa=1, abaab=baab〉
11〈a, b | aa=1, abaab=bbaa〉
11〈a, b | aa=1, baaab=abab〉

Other anti-isomorphic instances

17 total

Length:Presentation:
9〈a, b | aa=1, aabba=bb〉
9〈a, b | aa=1, aabb=bba〉
9〈a, b | aa=1, abba=abb〉
11〈a, b | aa=1, aaaabba=bb〉
11〈a, b | aa=1, aabaaba=bb〉
11〈a, b | aa=1, aaaabb=bba〉
11〈a, b | aa=1, aaabba=abb〉
11〈a, b | aa=1, aabaab=bba〉
11〈a, b | aa=1, aababa=bab〉
11〈a, b | aa=1, abaaba=abb〉
11〈a, b | aa=1, aaabb=abba〉
11〈a, b | aa=1, aabab=baba〉
11〈a, b | aa=1, aabba=aabb〉
11〈a, b | aa=1, aabba=baab〉
11〈a, b | aa=1, aabba=bbaa〉
11〈a, b | aa=1, abaab=abba〉
11〈a, b | aa=1, ababa=abab〉