#23326 ⟨a, b | aaa=1, bbbb=abba⟩

Up:Monoids with two generators and two relations
Prev:#23325 ⟨a, b | aaa=1, bbbb=abab⟩
Next:#23327 ⟨a, b | aaa=1, bbbb=abbb⟩

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. b14 ⇒ b2
  2. cb12 ⇒ c
  3. b6c ⇒ cb6
  4. ab2 ⇒ b4cb8
  5. b2a ⇒ c
  6. c2 ⇒ b6
  7. cb2c ⇒ b4cb4
  8. cb4c ⇒ b2cb2
  9. ca ⇒ b2cb8
  10. cba ⇒ cb5cb6
  11. ac ⇒ b4
  12. abc ⇒ b4cbcb6
  13. a3 ⇒ 1 
# ab:aaa=1,bbbb=abba b/ca bba=c frequency:3/0
bbbbbbbbbbbbbb=bb
cbbbbbbbbbbbb=c
bbbbbbc=cbbbbbb
abb=bbbbcbbbbbbbb
bba=c
cc=bbbbbb
cbbc=bbbbcbbbb
cbbbbc=bbcbb
ca=bbcbbbbbbbb
cba=cbbbbbcbbbbbb
ac=bbbb
abc=bbbbcbcbbbbbb
aaa=1

Right Cayley graph (truncated)

Left Cayley graph (truncated)