#1458 ⟨a, b | aabbbaaaba=1⟩

Up:Monoids with two generators and one relation
Prev:#1457 ⟨a, b | aabbbaaaab=1⟩
Next:#1459 ⟨a, b | aabbbaaabb=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. dc ⇒ cd
  2. cd2 ⇒ 1
  3. bc ⇒ cb
  4. bd2 ⇒ d2b
  5. b2 ⇒ c
  6. ba ⇒ c2dad3b
  7. bda ⇒ d2acbd
  8. a3 ⇒ d3b 
# ab:aabbbaaaba=1 reversed:dc/ba bb=c,aaab=d frequency:2/1,4/0
dc=cd
cdd=1
bc=cb
bdd=ddb
bb=c
ba=ccdadddb
bda=ddacbd
aaa=dddb

Right Cayley graph (truncated)

Left Cayley graph (truncated)