#2203 ⟨a, b | aaabbba=baa⟩

Up:Monoids with two generators and one relation
Prev:#2202 ⟨a, b | aaabbba=abb⟩
Next:#2204 ⟨a, b | aaabbba=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. a3d3 ⇒ da
  2. aca ⇒ d
  3. acd ⇒ dca
  4. ca2 ⇒ a2d3
  5. cda ⇒ a(ad3)2
  6. cad ⇒ a2d3ca
  7. cd2 ⇒ a(ad3)2ca
  8. ba2 ⇒ a2d
  9. bda ⇒ a2dad3
  10. bad ⇒ a2dca
  11. bd2 ⇒ a2dad3ca
  12. cb ⇒ bc
  13. b3 ⇒ c 
# ab:aaabbba=baa reversed:ad/cb bbb=c,aca=d frequency:3/0,3/0
aaaddd=da
aca=d
acd=dca
caa=aaddd
cda=aadddaddd
cad=aadddca
cdd=aadddadddca
baa=aad
bda=aadaddd
bad=aadca
bdd=aadadddca
cb=bc
bbb=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)