Back

〈a, b | aab=1, abab=b〉

Monoid presentation of length 8

Properties

Completion parameters

Complete rewriting system

  1. a2b ⇒ 1
  2. bab ⇒ ab2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

13 total

Length:Presentation:
10〈a, b | aab=1, ababa=ba〉
10〈a, b | aab=1, abbab=bb〉
10〈a, b | aab=1, babab=bb〉
11〈a, b | aab=1, aaabbab=b〉
11〈a, b | aab=1, aababab=b〉
11〈a, b | aab=1, abaaabb=b〉
11〈a, b | aab=1, abaabab=b〉
11〈a, b | aab=1, ababaab=b〉
11〈a, b | aab=1, abab=aabb〉
11〈a, b | aab=1, baab=abab〉
11〈a, b | aab=1, baba=abba〉
11〈a, b | aab=1, bbab=abbb〉
11〈a, b | aab=1, bbab=babb〉