Back

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

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

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

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

20 total

Length:Presentation:
10〈a, b | ab=a, aaaab=ba〉
10〈a, b | ab=a, aaaba=ba〉
10〈a, b | ab=a, aabaa=ba〉
10〈a, b | ab=a, abaaa=ba〉
10〈a, b | ab=a, aaaa=bab〉
11〈a, b | ab=a, aaaabb=ba〉
11〈a, b | ab=a, aaabab=ba〉
11〈a, b | ab=a, aaabba=ba〉
11〈a, b | ab=a, aabaab=ba〉
11〈a, b | ab=a, aababa=ba〉
11〈a, b | ab=a, aabbaa=ba〉
11〈a, b | ab=a, abaaab=ba〉
11〈a, b | ab=a, abaaba=ba〉
11〈a, b | ab=a, ababaa=ba〉
11〈a, b | ab=a, abbaaa=ba〉
11〈a, b | ab=a, aaaab=bab〉
11〈a, b | ab=a, aaaba=bab〉
11〈a, b | ab=a, aabaa=bab〉
11〈a, b | ab=a, abaaa=bab〉
11〈a, b | ab=a, babb=aaaa〉