#374 ⟨a, b | aa=1, bbb=bb⟩

Up:Monoids with two generators and two relations
Prev:#371 ⟨a, b | aa=1, bab=bb⟩
Next:#395 ⟨a, b | aaa=aa, bbb=1⟩

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 ⇒ 1
  2. b3 ⇒ b2 
# ab:aa=1,bbb=bb ab
aa=1
bbb=bb

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.

29 total

Σ#PresentationMapping
93501⟨a, b | aa=1, aabbb=bb⟩φ(a) = a, φ(b) = b
93530⟨a, b | aa=1, baabb=bb⟩φ(a) = a, φ(b) = b
93637⟨a, b | aa=1, aabb=bbb⟩φ(a) = a, φ(b) = b
93655⟨a, b | aa=1, abbb=abb⟩φ(a) = a, φ(b) = b
93665⟨a, b | aa=1, baab=bbb⟩φ(a) = a, φ(b) = b
1126998⟨a, b | aa=1, aaaabbb=bb⟩φ(a) = a, φ(b) = b
1127041⟨a, b | aa=1, aabaabb=bb⟩φ(a) = a, φ(b) = b
1127060⟨a, b | aa=1, aabbaab=bb⟩φ(a) = a, φ(b) = b
1127071⟨a, b | aa=1, aabbbaa=bb⟩φ(a) = a, φ(b) = b
1127174⟨a, b | aa=1, baaaabb=bb⟩φ(a) = a, φ(b) = b
1127185⟨a, b | aa=1, baabaab=bb⟩φ(a) = a, φ(b) = b
1127525⟨a, b | aa=1, aaaabb=bbb⟩φ(a) = a, φ(b) = b
1127553⟨a, b | aa=1, aaabbb=abb⟩φ(a) = a, φ(b) = b
1127565⟨a, b | aa=1, aabaab=bbb⟩φ(a) = a, φ(b) = b
1127587⟨a, b | aa=1, aabbaa=bbb⟩φ(a) = a, φ(b) = b
1127602⟨a, b | aa=1, aabbba=bba⟩φ(a) = a, φ(b) = b
1127629⟨a, b | aa=1, abaabb=abb⟩φ(a) = a, φ(b) = b
1127661⟨a, b | aa=1, abbaab=abb⟩φ(a) = a, φ(b) = b
1127701⟨a, b | aa=1, baaaab=bbb⟩φ(a) = a, φ(b) = b
1128073⟨a, b | aa=1, aaabb=abbb⟩φ(a) = a, φ(b) = b
1128122⟨a, b | aa=1, aabba=bbba⟩φ(a) = a, φ(b) = b
1128127⟨a, b | aa=1, aabbb=aabb⟩φ(a) = a, φ(b) = b
1128133⟨a, b | aa=1, aabbb=baab⟩φ(a) = a, φ(b) = b
1128136⟨a, b | aa=1, aabbb=bbaa⟩φ(a) = a, φ(b) = b
1128147⟨a, b | aa=1, abaab=abbb⟩φ(a) = a, φ(b) = b
1128203⟨a, b | aa=1, abbba=abba⟩φ(a) = a, φ(b) = b
1128237⟨a, b | aa=1, baabb=aabb⟩φ(a) = a, φ(b) = b
1128243⟨a, b | aa=1, baabb=baab⟩φ(a) = a, φ(b) = b
1128246⟨a, b | aa=1, baabb=bbaa⟩φ(a) = a, φ(b) = b