#1073 ⟨a, b | aababa=baa⟩

Up:Monoids with two generators and one relation
Prev:#1072 ⟨a, b | aababa=abb⟩
Next:#1074 ⟨a, b | aababa=bab⟩

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. a2c2a ⇒ ca2
  2. a2c3 ⇒ cac
  3. ad ⇒ ca
  4. da ⇒ ac2a
  5. dc ⇒ ac3
  6. ab ⇒ c
  7. ba ⇒ d
  8. bc ⇒ db 
# ab:aababa=baa reversed:ac/d/b ab=c,ba=d frequency:2/2,2/1
aacca=caa
aaccc=cac
ad=ca
da=acca
dc=accc
ab=c
ba=d
bc=db

Right Cayley graph (truncated)

Left Cayley graph (truncated)