#371 ⟨a, b | aa=1, bab=bb⟩

Up:Monoids with two generators and two relations
Prev:#368 ⟨a, b | aa=1, abb=bb⟩
Next:#374 ⟨a, b | aa=1, bbb=bb⟩

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

25 total

Σ#PresentationMapping
93493⟨a, b | aa=1, aabab=bb⟩φ(a) = a, φ(b) = b
93526⟨a, b | aa=1, baaab=bb⟩φ(a) = a, φ(b) = b
93635⟨a, b | aa=1, aabb=bab⟩φ(a) = a, φ(b) = b
93641⟨a, b | aa=1, abab=abb⟩φ(a) = a, φ(b) = b
93664⟨a, b | aa=1, baab=bab⟩φ(a) = a, φ(b) = b
1126990⟨a, b | aa=1, aaaabab=bb⟩φ(a) = a, φ(b) = b
1127033⟨a, b | aa=1, aabaaab=bb⟩φ(a) = a, φ(b) = b
1127044⟨a, b | aa=1, aababaa=bb⟩φ(a) = a, φ(b) = b
1127170⟨a, b | aa=1, baaaaab=bb⟩φ(a) = a, φ(b) = b
1127523⟨a, b | aa=1, aaaabb=bab⟩φ(a) = a, φ(b) = b
1127537⟨a, b | aa=1, aaabab=abb⟩φ(a) = a, φ(b) = b
1127563⟨a, b | aa=1, aabaab=bab⟩φ(a) = a, φ(b) = b
1127572⟨a, b | aa=1, aababa=bba⟩φ(a) = a, φ(b) = b
1127586⟨a, b | aa=1, aabbaa=bab⟩φ(a) = a, φ(b) = b
1127615⟨a, b | aa=1, abaaab=abb⟩φ(a) = a, φ(b) = b
1127700⟨a, b | aa=1, baaaab=bab⟩φ(a) = a, φ(b) = b
1128071⟨a, b | aa=1, aaabb=abab⟩φ(a) = a, φ(b) = b
1128095⟨a, b | aa=1, aabab=aabb⟩φ(a) = a, φ(b) = b
1128101⟨a, b | aa=1, aabab=baab⟩φ(a) = a, φ(b) = b
1128104⟨a, b | aa=1, aabab=bbaa⟩φ(a) = a, φ(b) = b
1128118⟨a, b | aa=1, aabba=baba⟩φ(a) = a, φ(b) = b
1128145⟨a, b | aa=1, abaab=abab⟩φ(a) = a, φ(b) = b
1128161⟨a, b | aa=1, ababa=abba⟩φ(a) = a, φ(b) = b
1128227⟨a, b | aa=1, baaab=aabb⟩φ(a) = a, φ(b) = b
1128231⟨a, b | aa=1, baaab=baab⟩φ(a) = a, φ(b) = b