#22836 ⟨a, b | aaa=1, baabb=bba⟩

Up:Monoids with two generators and two relations
Prev:#22835 ⟨a, b | aaa=1, baabb=bab⟩
Next:#22837 ⟨a, b | aaa=1, baabb=bbb⟩

Properties

Complete 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
  1. b9 ⇒ b3
  2. b8ab ⇒ b2ab
  3. b2ab3 ⇒ b5a
  4. b3a2 ⇒ b7ab
  5. b(ba)2 ⇒ b4
  6. (b2a)2 ⇒ b4ab2
  7. b2a2b ⇒ b6ab2
  8. ba2b2 ⇒ b2a
  9. a3 ⇒ 1 
# ab:aaa=1,baabb=bba reversed:b/a
bbbbbbbbb=bbb
bbbbbbbbab=bbab
bbabbb=bbbbba
bbbaa=bbbbbbbab
bbaba=bbbb
bbabba=bbbbabb
bbaab=bbbbbbabb
baabb=bba
aaa=1

Right Cayley graph (truncated)

Left Cayley graph (truncated)