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

Up:Monoid enumeration
Prev:#368 ⟨a, b | aa=1, abb=bb⟩
Next:#374 ⟨a, b | aa=1, bbb=bb⟩

Contents

  1. Properties
  2. Rewriting system
  3. Isomorphic instances

Properties

Rewriting system

Format:
Word:
Enter a word above to compute its normal form. Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Strategy:
Result: 1 
1
#RuleProof
1. a2 ⇒ 1 [1]
2. bab ⇒ b2 [2]
# ab:aa=1,bab=bb ab - -
aa=1
bab=bb

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