#445 ⟨a, b | aba=bb, bbb=1⟩

Up:Monoids with two generators and two relations
Prev:#435 ⟨a, b | aba=aa, bbb=1⟩
Next:#450 ⟨a, b | bab=aa, bbb=1⟩

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. aba ⇒ b2 [1]
2. b3 ⇒ 1 [2]
# ab:aba=bb,bbb=1 ab
aba=bb
bbb=1

Isomorphic instances

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

5 total

Σ#PresentationMapping
91570⟨a, b | aba=bb, abab=1⟩φ(a) = a, φ(b) = b
1110823⟨a, b | aaba=abb, abab=1⟩φ(a) = a, φ(b) = b
1110828⟨a, b | aaba=abb, baba=1⟩φ(a) = a, φ(b) = b
1117513⟨a, b | abab=1, abaaba=b⟩φ(a) = a, φ(b) = b
1118052⟨a, b | abab=1, abbba=aa⟩φ(a) = a, φ(b) = b