#2300 ⟨a, b | abaaaba=aab⟩

Up:Monoids with two generators and one relation
Prev:#2299 ⟨a, b | abaaaba=aaa⟩
Next:#2301 ⟨a, b | abaaaba=aba⟩

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 ⇒ cd4
  2. d2a ⇒ ad
  3. ac ⇒ cda
  4. c(da)2 ⇒ d
  5. db ⇒ c2dad6
  6. ab ⇒ c 
# ab:abaaaba=aab d/ca/b ab=c,aac=d frequency:2/1,3/0
dc=cdddd
dda=ad
ac=cda
cdada=d
db=ccdadddddd
ab=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)