#235 ⟨a, b | aa=a, aaa=a⟩

Up:Monoids with two generators and two relations
Prev:#234 ⟨a, b | ab=a, bbbb=1⟩
Next:#236 ⟨a, b | aa=a, aaa=b⟩

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. a2 ⇒ a 
# ab:aa=a,aaa=a ab
aa=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.

31 total

Σ#PresentationMapping
8880⟨a, b | aa=a, aaaa=a⟩φ(a) = a, φ(b) = 1
8952⟨a, b | aa=a, aaa=aa⟩φ(a) = a, φ(b) = 1
8956⟨a, b | aa=a, aab=ab⟩φ(a) = a, φ(b) = 1
91980⟨a, b | aaa=a, aaaa=a⟩φ(a) = a, φ(b) = 1
92856⟨a, b | aa=a, aaaaa=a⟩φ(a) = a, φ(b) = 1
93000⟨a, b | aa=a, aaaa=aa⟩φ(a) = a, φ(b) = 1
93004⟨a, b | aa=a, aaab=ab⟩φ(a) = a, φ(b) = 1
105022⟨a, b | aaa=aa, aaaa=a⟩φ(a) = a, φ(b) = 1
108568⟨a, b | aa=a, aaaaaa=a⟩φ(a) = a, φ(b) = 1
108840⟨a, b | aa=a, aaaaa=aa⟩φ(a) = a, φ(b) = 1
108844⟨a, b | aa=a, aaaab=ab⟩φ(a) = a, φ(b) = 1
109112⟨a, b | aa=a, aaaa=aaa⟩φ(a) = a, φ(b) = 1
109119⟨a, b | aa=a, aaab=aab⟩φ(a) = a, φ(b) = 1
109128⟨a, b | aa=a, aaba=aba⟩φ(a) = a, φ(b) = 1
109137⟨a, b | aa=a, aabb=abb⟩φ(a) = a, φ(b) = 1
109168⟨a, b | aa=a, baab=bab⟩φ(a) = a, φ(b) = 1
1114329⟨a, b | aaaa=a, aaaaa=a⟩φ(a) = a, φ(b) = 1
1115401⟨a, b | aaa=aa, aaaaa=a⟩φ(a) = a, φ(b) = 1
1118688⟨a, b | aaa=a, aaaaaa=a⟩φ(a) = a, φ(b) = 1
1119232⟨a, b | aaa=a, aaaaa=aa⟩φ(a) = a, φ(b) = 1
1119776⟨a, b | aaa=a, aaaa=aaa⟩φ(a) = a, φ(b) = 1
1124044⟨a, b | aa=a, aaaaaaa=a⟩φ(a) = a, φ(b) = 1
1124588⟨a, b | aa=a, aaaaaa=aa⟩φ(a) = a, φ(b) = 1
1124592⟨a, b | aa=a, aaaaab=ab⟩φ(a) = a, φ(b) = 1
1125116⟨a, b | aa=a, aaaaa=aaa⟩φ(a) = a, φ(b) = 1
1125123⟨a, b | aa=a, aaaab=aab⟩φ(a) = a, φ(b) = 1
1125132⟨a, b | aa=a, aaaba=aba⟩φ(a) = a, φ(b) = 1
1125141⟨a, b | aa=a, aaabb=abb⟩φ(a) = a, φ(b) = 1
1125148⟨a, b | aa=a, aabaa=aba⟩φ(a) = a, φ(b) = 1
1125224⟨a, b | aa=a, baaab=bab⟩φ(a) = a, φ(b) = 1
1125667⟨a, b | aa=a, abaa=aaba⟩φ(a) = a, φ(b) = 1