Back

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

Monoid presentation of length 8

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ a
  2. ba ⇒ a2
  3. a3 ⇒ a2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

33 total

Length:Presentation:
8〈a, b | ab=a, aba=ba〉
8〈a, b | ab=a, bab=aa〉
9〈a, b | ab=a, aabb=ba〉
9〈a, b | ab=a, abab=ba〉
9〈a, b | ab=a, abba=ba〉
9〈a, b | ab=a, babb=aa〉
9〈a, b | ab=a, bab=aab〉
9〈a, b | ab=a, bab=aba〉
10〈a, b | ab=a, aabbb=ba〉
10〈a, b | ab=a, ababb=ba〉
10〈a, b | ab=a, abbab=ba〉
10〈a, b | ab=a, abbba=ba〉
10〈a, b | ab=a, babbb=aa〉
10〈a, b | ab=a, aabb=bab〉
10〈a, b | ab=a, abab=bab〉
10〈a, b | ab=a, abba=bab〉
10〈a, b | ab=a, babb=aab〉
10〈a, b | ab=a, babb=aba〉
11〈a, b | ab=a, aabbbb=ba〉
11〈a, b | ab=a, ababbb=ba〉
11〈a, b | ab=a, abbabb=ba〉
11〈a, b | ab=a, abbbab=ba〉
11〈a, b | ab=a, abbbba=ba〉
11〈a, b | ab=a, babbbb=aa〉
11〈a, b | ab=a, aabbb=bab〉
11〈a, b | ab=a, ababb=bab〉
11〈a, b | ab=a, abbab=bab〉
11〈a, b | ab=a, abbba=bab〉
11〈a, b | ab=a, babbb=aab〉
11〈a, b | ab=a, babbb=aba〉
11〈a, b | ab=a, babb=aabb〉
11〈a, b | ab=a, babb=abab〉
11〈a, b | ab=a, babb=abba〉