#4524 ⟨a, b | aaababba=aab⟩

Up:Monoids with two generators and one relation
Prev:#4523 ⟨a, b | aaababba=aaa⟩
Next:#4525 ⟨a, b | aaababba=aba⟩

Quick links

  1. Properties
  2. Rewriting system

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. a2b ⇒ c [2]
2. c2ab2a ⇒ cab [6]
3. c(ab)2 ⇒ c2ab2c [7]
4. acab2c ⇒ cab [5]
5. (cab)2bc ⇒ c2ab2cab [9]
6. acab2a ⇒ c [4]
7. (cab)2ba ⇒ c2ab2c [8]
# ab:aaababba=aab c/ba aab=c magic:0
aab=c
ccabba=cab
cabab=ccabbc
acabbc=cab
cabcabbc=ccabbcab
acabba=c
cabcabba=ccabbc