#14502 ⟨a, b | aaab=b, abbba=b⟩

Up:Monoids with two generators and two relations
Prev:#14501 ⟨a, b | aaab=b, abbba=a⟩
Next:#14503 ⟨a, b | aaab=b, abbbb=a⟩

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. b25 ⇒ b [12]
2. bab24 ⇒ ba [13]
3. b4a ⇒ ab4 [4]
4. a2b ⇒ b3a [3]
5. ab2a ⇒ bab21 [9]
6. ab3a ⇒ b [2]
7. ba2 ⇒ ab3 [14]
8. (ba)2 ⇒ abab7 [8]
# ab:aaab=b,abbba=b b/a
bbbbbbbbbbbbbbbbbbbbbbbbb=b
babbbbbbbbbbbbbbbbbbbbbbbb=ba
bbbba=abbbb
aab=bbba
abba=babbbbbbbbbbbbbbbbbbbbb
abbba=b
baa=abbb
baba=ababbbbbbb