#3102 ⟨a, b | aabbaaabbaa=1⟩

Up:Monoids with two generators and one relation
Prev:#3098 ⟨a, b | aabbaaaabab=1⟩
Next:#3103 ⟨a, b | aabbaaabbab=1⟩

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. dc ⇒ 1 [13]
2. cd ⇒ 1 [14]
3. c7b ⇒ bc7 [44]
4. db ⇒ c6bd7 [38]
5. cb2 ⇒ b2c [19]
6. b16 ⇒ d7 [31]
7. a ⇒ b4c2 [23]
# ab:aabbaaabbaa=1 c/d/b/a aaaa=c,bbaaabb=d magic:0
dc=1
cd=1
cccccccb=bccccccc
db=ccccccbddddddd
cbb=bbc
bbbbbbbbbbbbbbbb=ddddddd
a=bbbbcc