#1488 ⟨a, b | abaaabbaba=1⟩

Up:Monoids with two generators and one relation
Prev:#1487 ⟨a, b | abaaabbaab=1⟩
Next:#1489 ⟨a, b | abaaabbbab=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. cbd ⇒ dbc
  2. bdbc ⇒ 1
  3. dbcb ⇒ 1
  4. da ⇒ acb2c
  5. ca ⇒ ac
  6. b2a ⇒ a(bdb)2d
  7. dba ⇒ ba(bc)2
  8. cba ⇒ babcb(cdb)2
  9. a2 ⇒ c 
# ab:abaaabbaba=1 bdc/a aa=c,acbba=d frequency:2/2,5/3
cbd=dbc
bdbc=1
dbcb=1
da=acbbc
ca=ac
bba=abdbbdbd
dba=babcbc
cba=babcbcdbcdb
aa=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)