Back

a, b | ab=a, bbaaa=a

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. aba
  2. a3a
  3. b2aa

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

16 total

Length:Presentation:
10a, b | ab=a, bbaaab=a
10a, b | ab=a, bbaaba=a
10a, b | ab=a, bbabaa=a
10a, b | ab=a, bbaaa=ab
11a, b | aaab=a, bbaaa=a
11a, b | aab=aa, bbaaa=a
11a, b | ab=a, bbaaabb=a
11a, b | ab=a, bbaabab=a
11a, b | ab=a, bbaabba=a
11a, b | ab=a, bbabaab=a
11a, b | ab=a, bbababa=a
11a, b | ab=a, bbabbaa=a
11a, b | ab=a, bbaaab=ab
11a, b | ab=a, bbaaba=ab
11a, b | ab=a, bbabaa=ab
11a, b | ab=a, bbaaa=abb