#2936 ⟨a, b | ab=a, aaaaa=a⟩

Up:Monoids with two generators and two relations
Prev:#2935 ⟨a, b | aa=b, bbbbb=b⟩
Next:#2968 ⟨a, b | ab=a, baaaa=a⟩

Properties

Complete rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
  1. ab ⇒ a
  2. a5 ⇒ a 
# ab:ab=a,aaaaa=a ab
ab=a
aaaaa=a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.

28 total

Σ#PresentationMapping
108714⟨a, b | ab=a, aaaaab=a⟩φ(a) = a, φ(b) = b
108716⟨a, b | ab=a, aaaaba=a⟩φ(a) = a, φ(b) = b
108720⟨a, b | ab=a, aaabaa=a⟩φ(a) = a, φ(b) = b
108728⟨a, b | ab=a, aabaaa=a⟩φ(a) = a, φ(b) = b
108744⟨a, b | ab=a, abaaaa=a⟩φ(a) = a, φ(b) = b
108985⟨a, b | ab=a, aaaaa=ab⟩φ(a) = a, φ(b) = b
1115545⟨a, b | aab=aa, aaaaa=a⟩φ(a) = a, φ(b) = b
1124338⟨a, b | ab=a, aaaaabb=a⟩φ(a) = a, φ(b) = b
1124342⟨a, b | ab=a, aaaabab=a⟩φ(a) = a, φ(b) = b
1124344⟨a, b | ab=a, aaaabba=a⟩φ(a) = a, φ(b) = b
1124350⟨a, b | ab=a, aaabaab=a⟩φ(a) = a, φ(b) = b
1124352⟨a, b | ab=a, aaababa=a⟩φ(a) = a, φ(b) = b
1124356⟨a, b | ab=a, aaabbaa=a⟩φ(a) = a, φ(b) = b
1124366⟨a, b | ab=a, aabaaab=a⟩φ(a) = a, φ(b) = b
1124368⟨a, b | ab=a, aabaaba=a⟩φ(a) = a, φ(b) = b
1124372⟨a, b | ab=a, aababaa=a⟩φ(a) = a, φ(b) = b
1124380⟨a, b | ab=a, aabbaaa=a⟩φ(a) = a, φ(b) = b
1124398⟨a, b | ab=a, abaaaab=a⟩φ(a) = a, φ(b) = b
1124400⟨a, b | ab=a, abaaaba=a⟩φ(a) = a, φ(b) = b
1124404⟨a, b | ab=a, abaabaa=a⟩φ(a) = a, φ(b) = b
1124412⟨a, b | ab=a, ababaaa=a⟩φ(a) = a, φ(b) = b
1124428⟨a, b | ab=a, abbaaaa=a⟩φ(a) = a, φ(b) = b
1124865⟨a, b | ab=a, aaaaab=ab⟩φ(a) = a, φ(b) = b
1124869⟨a, b | ab=a, aaaaba=ab⟩φ(a) = a, φ(b) = b
1124877⟨a, b | ab=a, aaabaa=ab⟩φ(a) = a, φ(b) = b
1124893⟨a, b | ab=a, aabaaa=ab⟩φ(a) = a, φ(b) = b
1124925⟨a, b | ab=a, abaaaa=ab⟩φ(a) = a, φ(b) = b
1125407⟨a, b | ab=a, aaaaa=abb⟩φ(a) = a, φ(b) = b