#2528 ⟨a, b | aabbaa=baab⟩

Up:Monoids with two generators and one relation
Prev:#2527 ⟨a, b | aabbaa=abbb⟩
Next:#2529 ⟨a, b | aabbaa=babb⟩

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. a2da2 ⇒ d
  2. a2d2 ⇒ d2a2
  3. a(ad)2 ⇒ dada2
  4. cd ⇒ da4ca2
  5. ca2d ⇒ da4c
  6. ca2c ⇒ da2b
  7. ca4ca2 ⇒ da4b
  8. ca2b ⇒ da2
  9. bd ⇒ da2b
  10. ba2d ⇒ a2ca4c
  11. bc ⇒ cb
  12. ba2c ⇒ d
  13. ba4ca2 ⇒ a2ca4b
  14. b2 ⇒ c
  15. ba2b ⇒ a2ca2
  16. ca4cad ⇒ da4bada2
  17. ba4cad ⇒ a2ca4bada2 
# ab:aabbaa=baab a/dcb bb=c,baac=d frequency:2/2,4/0
aadaa=d
aadd=ddaa
aadad=dadaa
cd=daaaacaa
caad=daaaac
caac=daab
caaaacaa=daaaab
caab=daa
bd=daab
baad=aacaaaac
bc=cb
baac=d
baaaacaa=aacaaaab
bb=c
baab=aacaa
caaaacad=daaaabadaa
baaaacad=aacaaaabadaa

Right Cayley graph (truncated)

Left Cayley graph (truncated)