#2057 ⟨a, b | abababba=ab⟩

Up:Monoids with two generators and one relation
Prev:#2056 ⟨a, b | abababba=aa⟩
Next:#2058 ⟨a, b | abababba=ba⟩

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. c2dc ⇒ d
  2. cb ⇒ d
  3. c2da ⇒ c
  4. d2c ⇒ c4d2
  5. (dc)2 ⇒ c2d2
  6. ab ⇒ c
  7. db ⇒ c2d2
  8. d2a ⇒ c2d
  9. dcda ⇒ d 
# ab:abababba=ab reversed:c/adb ab=c,cb=d frequency:2/0,2/0
ccdc=d
cb=d
ccda=c
ddc=ccccdd
dcdc=ccdd
ab=c
db=ccdd
dda=ccd
dcda=d

Right Cayley graph (truncated)

Left Cayley graph (truncated)