Back

〈a, b | aba=bb, bbb=b〉

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. ba ⇒ ab
  2. a2b ⇒ b2
  3. b3 ⇒ b

Right Cayley graph (truncated)

Other isomorphic instances

25 total

Length:Presentation:
9〈a, b | aaa=a, baab=a〉
10〈a, b | aab=bb, abba=b〉
10〈a, b | aba=bb, aabb=b〉
10〈a, b | aba=bb, abab=b〉
10〈a, b | aba=bb, baab=b〉
11〈a, b | aaaa=aa, baab=a〉
11〈a, b | aaab=ab, baab=a〉
11〈a, b | aaab=ba, aabb=a〉
11〈a, b | aaab=ba, abab=a〉
11〈a, b | aaab=ba, abba=a〉
11〈a, b | aaab=ba, baab=a〉
11〈a, b | aaab=ba, baba=a〉
11〈a, b | aaab=ba, bbaa=a〉
11〈a, b | aaba=ab, baba=a〉
11〈a, b | aaba=ba, abab=a〉
11〈a, b | aaba=ba, baab=a〉
11〈a, b | aabb=a, babbb=a〉
11〈a, b | abab=a, babbb=a〉
11〈a, b | abba=b, aaaba=b〉
11〈a, b | aab=bb, aaaba=b〉
11〈a, b | aba=bb, aaaba=b〉
11〈a, b | aaa=a, baaaab=a〉
11〈a, b | aaa=a, baaab=aa〉
11〈a, b | aaa=a, aaaa=bab〉
11〈a, b | aaa=a, baab=aaa〉