#315 ⟨a, b | aabbabba=1⟩

Up:Monoids with two generators and one relation
Prev:#314 ⟨a, b | aabbabab=1⟩
Next:#316 ⟨a, b | aabbbaab=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. cd ⇒ dc
  2. dad ⇒ a
  3. ca ⇒ ad2c
  4. a2d ⇒ da2
  5. cb ⇒ bc
  6. b2 ⇒ c
  7. da2c ⇒ 1
  8. da2b ⇒ bda2
  9. a3c ⇒ da
  10. a3b ⇒ dabda2 
# ab:aabbabba=1 reversed:d/cab bb=c,aca=d frequency:2/0,3/0
cd=dc
dad=a
ca=addc
aad=daa
cb=bc
bb=c
daac=1
daab=bdaa
aaac=da
aaab=dabdaa

Right Cayley graph (truncated)

Left Cayley graph (truncated)