Back

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

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1
  2. b4 ⇒ b

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

29 total

Length:Presentation:
9〈a, b | aa=1, aabbbb=b〉
9〈a, b | aa=1, baabbb=b〉
9〈a, b | aa=1, bbaabb=b〉
9〈a, b | aa=1, abbbb=ab〉
9〈a, b | aa=1, bbbb=aab〉
11〈a, b | aa=1, aaaabbbb=b〉
11〈a, b | aa=1, aabaabbb=b〉
11〈a, b | aa=1, aabbaabb=b〉
11〈a, b | aa=1, aabbbaab=b〉
11〈a, b | aa=1, aabbbbaa=b〉
11〈a, b | aa=1, baaaabbb=b〉
11〈a, b | aa=1, baabaabb=b〉
11〈a, b | aa=1, baabbaab=b〉
11〈a, b | aa=1, bbaaaabb=b〉
11〈a, b | aa=1, aaabbbb=ab〉
11〈a, b | aa=1, aabbbba=ba〉
11〈a, b | aa=1, abaabbb=ab〉
11〈a, b | aa=1, abbaabb=ab〉
11〈a, b | aa=1, abbbaab=ab〉
11〈a, b | aa=1, aabbbb=aab〉
11〈a, b | aa=1, aabbbb=baa〉
11〈a, b | aa=1, abbbba=aba〉
11〈a, b | aa=1, baabbb=aab〉
11〈a, b | aa=1, baabbb=baa〉
11〈a, b | aa=1, bbaabb=aab〉
11〈a, b | aa=1, aaaab=bbbb〉
11〈a, b | aa=1, aabaa=bbbb〉
11〈a, b | aa=1, abbbb=aaab〉
11〈a, b | aa=1, abbbb=abaa〉