Back

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

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1
  2. b3 ⇒ b2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

29 total

Length:Presentation:
9〈a, b | aa=1, aabbb=bb〉
9〈a, b | aa=1, baabb=bb〉
9〈a, b | aa=1, aabb=bbb〉
9〈a, b | aa=1, abbb=abb〉
9〈a, b | aa=1, baab=bbb〉
11〈a, b | aa=1, aaaabbb=bb〉
11〈a, b | aa=1, aabaabb=bb〉
11〈a, b | aa=1, aabbaab=bb〉
11〈a, b | aa=1, aabbbaa=bb〉
11〈a, b | aa=1, baaaabb=bb〉
11〈a, b | aa=1, baabaab=bb〉
11〈a, b | aa=1, aaaabb=bbb〉
11〈a, b | aa=1, aaabbb=abb〉
11〈a, b | aa=1, aabaab=bbb〉
11〈a, b | aa=1, aabbaa=bbb〉
11〈a, b | aa=1, aabbba=bba〉
11〈a, b | aa=1, abaabb=abb〉
11〈a, b | aa=1, abbaab=abb〉
11〈a, b | aa=1, baaaab=bbb〉
11〈a, b | aa=1, aaabb=abbb〉
11〈a, b | aa=1, aabba=bbba〉
11〈a, b | aa=1, aabbb=aabb〉
11〈a, b | aa=1, aabbb=baab〉
11〈a, b | aa=1, aabbb=bbaa〉
11〈a, b | aa=1, abaab=abbb〉
11〈a, b | aa=1, abbba=abba〉
11〈a, b | aa=1, baabb=aabb〉
11〈a, b | aa=1, baabb=baab〉
11〈a, b | aa=1, baabb=bbaa〉