#336 ⟨a, b | aa=1, babb=b⟩

Up:Monoids with two generators and two relations
Prev:#332 ⟨a, b | aa=1, abbb=b⟩
Next:#338 ⟨a, b | aa=1, bbbb=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 ⇒ 1
  2. bab2 ⇒ b 
# ab:aa=1,babb=b ab
aa=1
babb=b

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.

24 total

Σ#PresentationMapping
93357⟨a, b | aa=1, aababb=b⟩φ(a) = a, φ(b) = b
93391⟨a, b | aa=1, baaabb=b⟩φ(a) = a, φ(b) = b
93510⟨a, b | aa=1, ababb=ab⟩φ(a) = a, φ(b) = b
93667⟨a, b | aa=1, babb=aab⟩φ(a) = a, φ(b) = b
93670⟨a, b | aa=1, babb=baa⟩φ(a) = a, φ(b) = b
1126463⟨a, b | aa=1, aaaababb=b⟩φ(a) = a, φ(b) = b
1126507⟨a, b | aa=1, aabaaabb=b⟩φ(a) = a, φ(b) = b
1126517⟨a, b | aa=1, aababaab=b⟩φ(a) = a, φ(b) = b
1126523⟨a, b | aa=1, aababbaa=b⟩φ(a) = a, φ(b) = b
1126643⟨a, b | aa=1, baaaaabb=b⟩φ(a) = a, φ(b) = b
1126649⟨a, b | aa=1, baaabaab=b⟩φ(a) = a, φ(b) = b
1127011⟨a, b | aa=1, aaababb=ab⟩φ(a) = a, φ(b) = b
1127051⟨a, b | aa=1, aababba=ba⟩φ(a) = a, φ(b) = b
1127092⟨a, b | aa=1, abaaabb=ab⟩φ(a) = a, φ(b) = b
1127108⟨a, b | aa=1, ababaab=ab⟩φ(a) = a, φ(b) = b
1127575⟨a, b | aa=1, aababb=aab⟩φ(a) = a, φ(b) = b
1127578⟨a, b | aa=1, aababb=baa⟩φ(a) = a, φ(b) = b
1127644⟨a, b | aa=1, ababba=aba⟩φ(a) = a, φ(b) = b
1127703⟨a, b | aa=1, baaabb=aab⟩φ(a) = a, φ(b) = b
1127706⟨a, b | aa=1, baaabb=baa⟩φ(a) = a, φ(b) = b
1128045⟨a, b | aa=1, aaaab=babb⟩φ(a) = a, φ(b) = b
1128090⟨a, b | aa=1, aabaa=babb⟩φ(a) = a, φ(b) = b
1128167⟨a, b | aa=1, ababb=aaab⟩φ(a) = a, φ(b) = b
1128170⟨a, b | aa=1, ababb=abaa⟩φ(a) = a, φ(b) = b

Other anti-isomorphic instances

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

18 total

Σ#PresentationMapping
93361⟨a, b | aa=1, aabbab=b⟩φ(a) = a, φ(b) = b
93393⟨a, b | aa=1, baabab=b⟩φ(a) = a, φ(b) = b
93514⟨a, b | aa=1, abbab=ab⟩φ(a) = a, φ(b) = b
1126467⟨a, b | aa=1, aaaabbab=b⟩φ(a) = a, φ(b) = b
1126511⟨a, b | aa=1, aabaabab=b⟩φ(a) = a, φ(b) = b
1126531⟨a, b | aa=1, aabbaaab=b⟩φ(a) = a, φ(b) = b
1126645⟨a, b | aa=1, baaaabab=b⟩φ(a) = a, φ(b) = b
1127019⟨a, b | aa=1, aaabbab=ab⟩φ(a) = a, φ(b) = b
1127063⟨a, b | aa=1, aabbaba=ba⟩φ(a) = a, φ(b) = b
1127096⟨a, b | aa=1, abaabab=ab⟩φ(a) = a, φ(b) = b
1127131⟨a, b | aa=1, abbaaab=ab⟩φ(a) = a, φ(b) = b
1127589⟨a, b | aa=1, aabbab=aab⟩φ(a) = a, φ(b) = b
1127592⟨a, b | aa=1, aabbab=baa⟩φ(a) = a, φ(b) = b
1127711⟨a, b | aa=1, baabab=aab⟩φ(a) = a, φ(b) = b
1127714⟨a, b | aa=1, baabab=baa⟩φ(a) = a, φ(b) = b
1128047⟨a, b | aa=1, aaaab=bbab⟩φ(a) = a, φ(b) = b
1128183⟨a, b | aa=1, abbab=aaab⟩φ(a) = a, φ(b) = b
1128186⟨a, b | aa=1, abbab=abaa⟩φ(a) = a, φ(b) = b