#4134 ⟨a, b | aba=aaa, baa=a⟩

Up:Monoids with two generators and two relations
Prev:#4132 ⟨a, b | aba=aaa, abb=a⟩
Next:#4136 ⟨a, b | aba=aaa, bab=a⟩

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. ba ⇒ a2 [5]
2. a3 ⇒ a [4]
# ab:aba=aaa,baa=a ab
ba=aa
aaa=a

Isomorphic instances

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

8 total

Σ#PresentationMapping
106389⟨a, b | aab=b, aaabb=b⟩φ(a) = b, φ(b) = a
106401⟨a, b | aab=b, abaab=b⟩φ(a) = b, φ(b) = a
106669⟨a, b | aab=b, aaab=bb⟩φ(a) = b, φ(b) = a
106675⟨a, b | aab=b, aabb=ab⟩φ(a) = b, φ(b) = a
106699⟨a, b | aab=b, baab=ab⟩φ(a) = b, φ(b) = a
106735⟨a, b | aba=a, aaba=ba⟩φ(a) = a, φ(b) = b
106819⟨a, b | aab=b, abb=aab⟩φ(a) = b, φ(b) = a
106843⟨a, b | abb=b, bbb=abb⟩φ(a) = b, φ(b) = a