#338 ⟨a, b | aa=1, bbbb=b⟩

Up:Monoid enumeration
Prev:#336 ⟨a, b | aa=1, babb=b⟩
Next:#368 ⟨a, b | aa=1, abb=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. b4 ⇒ b [2]
# ab:aa=1,bbbb=b ab - -
aa=1
bbbb=b

Isomorphic instances

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

29 total

Σ#PresentationMapping
93365⟨a, b | aa=1, aabbbb=b⟩φ(a) = a, φ(b) = b
93395⟨a, b | aa=1, baabbb=b⟩φ(a) = a, φ(b) = b
93403⟨a, b | aa=1, bbaabb=b⟩φ(a) = a, φ(b) = b
93521⟨a, b | aa=1, abbbb=ab⟩φ(a) = a, φ(b) = b
93675⟨a, b | aa=1, bbbb=aab⟩φ(a) = a, φ(b) = b
1126471⟨a, b | aa=1, aaaabbbb=b⟩φ(a) = a, φ(b) = b
1126515⟨a, b | aa=1, aabaabbb=b⟩φ(a) = a, φ(b) = b
1126535⟨a, b | aa=1, aabbaabb=b⟩φ(a) = a, φ(b) = b
1126543⟨a, b | aa=1, aabbbaab=b⟩φ(a) = a, φ(b) = b
1126549⟨a, b | aa=1, aabbbbaa=b⟩φ(a) = a, φ(b) = b
1126647⟨a, b | aa=1, baaaabbb=b⟩φ(a) = a, φ(b) = b
1126657⟨a, b | aa=1, baabaabb=b⟩φ(a) = a, φ(b) = b
1126663⟨a, b | aa=1, baabbaab=b⟩φ(a) = a, φ(b) = b
1126693⟨a, b | aa=1, bbaaaabb=b⟩φ(a) = a, φ(b) = b
1127027⟨a, b | aa=1, aaabbbb=ab⟩φ(a) = a, φ(b) = b
1127078⟨a, b | aa=1, aabbbba=ba⟩φ(a) = a, φ(b) = b
1127104⟨a, b | aa=1, abaabbb=ab⟩φ(a) = a, φ(b) = b
1127135⟨a, b | aa=1, abbaabb=ab⟩φ(a) = a, φ(b) = b
1127150⟨a, b | aa=1, abbbaab=ab⟩φ(a) = a, φ(b) = b
1127605⟨a, b | aa=1, aabbbb=aab⟩φ(a) = a, φ(b) = b
1127608⟨a, b | aa=1, aabbbb=baa⟩φ(a) = a, φ(b) = b
1127684⟨a, b | aa=1, abbbba=aba⟩φ(a) = a, φ(b) = b
1127719⟨a, b | aa=1, baabbb=aab⟩φ(a) = a, φ(b) = b
1127722⟨a, b | aa=1, baabbb=baa⟩φ(a) = a, φ(b) = b
1127749⟨a, b | aa=1, bbaabb=aab⟩φ(a) = a, φ(b) = b
1128049⟨a, b | aa=1, aaaab=bbbb⟩φ(a) = a, φ(b) = b
1128091⟨a, b | aa=1, aabaa=bbbb⟩φ(a) = a, φ(b) = b
1128209⟨a, b | aa=1, abbbb=aaab⟩φ(a) = a, φ(b) = b
1128212⟨a, b | aa=1, abbbb=abaa⟩φ(a) = a, φ(b) = b