#4345 ⟨a, b | abbababba=ab⟩

Up:Monoids with two generators and one relation
Prev:#4344 ⟨a, b | abbababba=aa⟩
Next:#4346 ⟨a, b | abbababba=bb⟩

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. cbc ⇒ c2b [8]
2. cb2 ⇒ c4 [14]
3. c3a ⇒ c [11]
4. c3ba ⇒ cb [15]
5. cbac ⇒ c2ba [20]
6. cab ⇒ cba [16]
7. cbab ⇒ c2 [10]
8. ab2 ⇒ c [2]
9. c2ba2 ⇒ ab [21]
10. cba2b ⇒ c2a [18]
# ab:abbababba=ab reversed:c/b/a abb=c morph:3/0
cbc=ccb
cbb=cccc
ccca=c
cccba=cb
cbac=ccba
cab=cba
cbab=cc
abb=c
ccbaa=ab
cbaab=cca