Back

〈a, b | aa=1, aabb=b〉

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1
  2. b2 ⇒ b

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

55 total

Length:Presentation:
7〈a, b | aa=1, baab=b〉
7〈a, b | aa=1, aab=bb〉
7〈a, b | aa=1, abb=ab〉
9〈a, b | aa=1, aaaabb=b〉
9〈a, b | aa=1, aabaab=b〉
9〈a, b | aa=1, aabbaa=b〉
9〈a, b | aa=1, baaaab=b〉
9〈a, b | aa=1, aaaab=bb〉
9〈a, b | aa=1, aaabb=ab〉
9〈a, b | aa=1, aabaa=bb〉
9〈a, b | aa=1, aabba=ba〉
9〈a, b | aa=1, abaab=ab〉
9〈a, b | aa=1, aaab=abb〉
9〈a, b | aa=1, aaba=bba〉
9〈a, b | aa=1, aabb=aab〉
9〈a, b | aa=1, aabb=baa〉
9〈a, b | aa=1, abba=aba〉
9〈a, b | aa=1, baab=aab〉
11〈a, b | aa=1, aaaaaabb=b〉
11〈a, b | aa=1, aaaabaab=b〉
11〈a, b | aa=1, aaaabbaa=b〉
11〈a, b | aa=1, aabaaaab=b〉
11〈a, b | aa=1, aabaabaa=b〉
11〈a, b | aa=1, baaaaaab=b〉
11〈a, b | aa=1, aaaaaab=bb〉
11〈a, b | aa=1, aaaaabb=ab〉
11〈a, b | aa=1, aaaabaa=bb〉
11〈a, b | aa=1, aaaabba=ba〉
11〈a, b | aa=1, aaabaab=ab〉
11〈a, b | aa=1, aaabbaa=ab〉
11〈a, b | aa=1, aabaaba=ba〉
11〈a, b | aa=1, abaaaab=ab〉
11〈a, b | aa=1, aaaaab=abb〉
11〈a, b | aa=1, aaaaba=bba〉
11〈a, b | aa=1, aaaabb=aab〉
11〈a, b | aa=1, aaaabb=baa〉
11〈a, b | aa=1, aaabaa=abb〉
11〈a, b | aa=1, aaabba=aba〉
11〈a, b | aa=1, aabaab=aab〉
11〈a, b | aa=1, aabaab=baa〉
11〈a, b | aa=1, aabbaa=aab〉
11〈a, b | aa=1, abaaba=aba〉
11〈a, b | aa=1, baaaab=aab〉
11〈a, b | aa=1, aaaab=aabb〉
11〈a, b | aa=1, aaaab=baab〉
11〈a, b | aa=1, aaaab=bbaa〉
11〈a, b | aa=1, aaaba=abba〉
11〈a, b | aa=1, aaabb=aaab〉
11〈a, b | aa=1, aaabb=abaa〉
11〈a, b | aa=1, aabaa=aabb〉
11〈a, b | aa=1, aabaa=baab〉
11〈a, b | aa=1, aabba=aaba〉
11〈a, b | aa=1, aabba=baaa〉
11〈a, b | aa=1, abaab=aaab〉
11〈a, b | aa=1, abaab=abaa〉