Back

〈a, b | aab=ba, bab=b〉

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

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

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

15 total

Length:Presentation:
9〈a, b | aab=ba, bba=b〉
10〈a, b | aab=ba, aabb=b〉
10〈a, b | aab=ba, baab=b〉
10〈a, b | aab=ba, baba=b〉
10〈a, b | aab=ba, bbaa=b〉
10〈a, b | aba=ab, aabb=b〉
11〈a, b | aabb=ba, babb=b〉
11〈a, b | aab=ba, aabab=b〉
11〈a, b | aab=ba, aabba=b〉
11〈a, b | aab=ba, baaab=b〉
11〈a, b | aab=ba, baaba=b〉
11〈a, b | aab=ba, babaa=b〉
11〈a, b | aab=ba, bbaaa=b〉
11〈a, b | aba=ab, aabab=b〉
11〈a, b | aba=ab, aabba=b〉