#2880 ⟨a, b | aa=a, abbba=a⟩

Up:Monoids with two generators and two relations
Prev:#2878 ⟨a, b | aa=a, abbab=a⟩
Next:#2881 ⟨a, b | aa=a, abbba=b⟩

Quick links

  1. Properties
  2. Rewriting system
  3. Isomorphic instances

Properties

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
#RuleProof
1. a2 ⇒ a [1]
2. ab3a ⇒ a [2]
# ab:aa=a,abbba=a ab
aa=a
abbba=a

Isomorphic instances

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

7 total

Σ#PresentationMapping
108594⟨a, b | aa=a, aabbba=a⟩φ(a) = a, φ(b) = b
108885⟨a, b | aa=a, abbba=aa⟩φ(a) = a, φ(b) = b
1115637⟨a, b | aab=ab, abbba=a⟩φ(a) = a, φ(b) = b
1124072⟨a, b | aa=a, aaabbba=a⟩φ(a) = a, φ(b) = b
1124096⟨a, b | aa=a, aabbbaa=a⟩φ(a) = a, φ(b) = b
1124638⟨a, b | aa=a, aabbba=aa⟩φ(a) = a, φ(b) = b
1125206⟨a, b | aa=a, abbba=aaa⟩φ(a) = a, φ(b) = b