#2572 ⟨a, b | abaaab=baab⟩

Up:Monoids with two generators and one relation
Prev:#2571 ⟨a, b | abaaab=baaa⟩
Next:#2573 ⟨a, b | abaaab=baba⟩

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. abc ⇒ cba [4]
2. aba ⇒ c [2]
3. bc2 ⇒ c3 [8]
4. bac ⇒ cac [6]
5. ac3 ⇒ c2ac [9]
6. (ac)2 ⇒ c2 [7]
7. bcab ⇒ c2ab [10]
8. ba2b ⇒ ca2b [3]
9. ac2ab ⇒ c2a2b [11]
10. aca2b ⇒ cab [5]
# ab:abaaab=baab cab aba=c morph:3/0
abc=cba
aba=c
bcc=ccc
bac=cac
accc=ccac
acac=cc
bcab=ccab
baab=caab
accab=ccaab
acaab=cab