Back

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

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1
  2. bab2 ⇒ b

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

24 total

Length:Presentation:
9〈a, b | aa=1, aababb=b〉
9〈a, b | aa=1, baaabb=b〉
9〈a, b | aa=1, ababb=ab〉
9〈a, b | aa=1, babb=aab〉
9〈a, b | aa=1, babb=baa〉
11〈a, b | aa=1, aaaababb=b〉
11〈a, b | aa=1, aabaaabb=b〉
11〈a, b | aa=1, aababaab=b〉
11〈a, b | aa=1, aababbaa=b〉
11〈a, b | aa=1, baaaaabb=b〉
11〈a, b | aa=1, baaabaab=b〉
11〈a, b | aa=1, aaababb=ab〉
11〈a, b | aa=1, aababba=ba〉
11〈a, b | aa=1, abaaabb=ab〉
11〈a, b | aa=1, ababaab=ab〉
11〈a, b | aa=1, aababb=aab〉
11〈a, b | aa=1, aababb=baa〉
11〈a, b | aa=1, ababba=aba〉
11〈a, b | aa=1, baaabb=aab〉
11〈a, b | aa=1, baaabb=baa〉
11〈a, b | aa=1, aaaab=babb〉
11〈a, b | aa=1, aabaa=babb〉
11〈a, b | aa=1, ababb=aaab〉
11〈a, b | aa=1, ababb=abaa〉

Other anti-isomorphic instances

18 total

Length:Presentation:
9〈a, b | aa=1, aabbab=b〉
9〈a, b | aa=1, baabab=b〉
9〈a, b | aa=1, abbab=ab〉
11〈a, b | aa=1, aaaabbab=b〉
11〈a, b | aa=1, aabaabab=b〉
11〈a, b | aa=1, aabbaaab=b〉
11〈a, b | aa=1, baaaabab=b〉
11〈a, b | aa=1, aaabbab=ab〉
11〈a, b | aa=1, aabbaba=ba〉
11〈a, b | aa=1, abaabab=ab〉
11〈a, b | aa=1, abbaaab=ab〉
11〈a, b | aa=1, aabbab=aab〉
11〈a, b | aa=1, aabbab=baa〉
11〈a, b | aa=1, baabab=aab〉
11〈a, b | aa=1, baabab=baa〉
11〈a, b | aa=1, aaaab=bbab〉
11〈a, b | aa=1, abbab=aaab〉
11〈a, b | aa=1, abbab=abaa〉