Back

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

Monoid presentation of length 8

Properties

Completion parameters

Complete rewriting system

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

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

34 total

Length:Presentation:
9〈a, b | ab=a, aaab=ba〉
9〈a, b | ab=a, aaba=ba〉
9〈a, b | ab=a, abaa=ba〉
9〈a, b | ab=a, bab=aaa〉
10〈a, b | ab=a, aaabb=ba〉
10〈a, b | ab=a, aabab=ba〉
10〈a, b | ab=a, aabba=ba〉
10〈a, b | ab=a, abaab=ba〉
10〈a, b | ab=a, ababa=ba〉
10〈a, b | ab=a, abbaa=ba〉
10〈a, b | ab=a, aaab=bab〉
10〈a, b | ab=a, aaba=bab〉
10〈a, b | ab=a, abaa=bab〉
10〈a, b | ab=a, babb=aaa〉
11〈a, b | ab=a, aaabbb=ba〉
11〈a, b | ab=a, aababb=ba〉
11〈a, b | ab=a, aabbab=ba〉
11〈a, b | ab=a, aabbba=ba〉
11〈a, b | ab=a, abaabb=ba〉
11〈a, b | ab=a, ababab=ba〉
11〈a, b | ab=a, ababba=ba〉
11〈a, b | ab=a, abbaab=ba〉
11〈a, b | ab=a, abbaba=ba〉
11〈a, b | ab=a, abbbaa=ba〉
11〈a, b | ab=a, aaabb=bab〉
11〈a, b | ab=a, aabab=bab〉
11〈a, b | ab=a, aabba=bab〉
11〈a, b | ab=a, abaab=bab〉
11〈a, b | ab=a, ababa=bab〉
11〈a, b | ab=a, abbaa=bab〉
11〈a, b | ab=a, babbb=aaa〉
11〈a, b | ab=a, babb=aaab〉
11〈a, b | ab=a, babb=aaba〉
11〈a, b | ab=a, babb=abaa〉