#676 ⟨a, b | aabbaaaab=1⟩

Up:Monoids with two generators and one relation
Prev:#675 ⟨a, b | aababbbba=1⟩
Next:#678 ⟨a, b | aabbaaabb=1⟩

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. dc ⇒ cd
  2. cd2 ⇒ 1
  3. bd ⇒ cb
  4. bc ⇒ d4b
  5. ba ⇒ cad2b
  6. a2c ⇒ da2
  7. a2d2 ⇒ cda2
  8. a2b ⇒ d 
# ab:aabbaaaab=1 reversed:dc/ba baa=c,aab=d frequency:3/0,3/0
dc=cd
cdd=1
bd=cb
bc=ddddb
ba=caddb
aac=daa
aadd=cdaa
aab=d

Right Cayley graph (truncated)

Left Cayley graph (truncated)