#1328 ⟨a, b | aaaabbabba=1⟩

Up:Monoids with two generators and one relation
Prev:#1327 ⟨a, b | aaaabbabab=1⟩
Next:#1329 ⟨a, b | aaaabbabbb=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. ad ⇒ da
  2. da5 ⇒ 1
  3. dac ⇒ cda
  4. a2c ⇒ d2ca12
  5. d3c ⇒ acd4a4
  6. cac ⇒ d
  7. bc ⇒ cb
  8. bac ⇒ aca5bd
  9. b2 ⇒ c 
# ab:aaaabbabba=1 da/cb bb=c,cac=d frequency:2/1,3/1
ad=da
daaaaa=1
dac=cda
aac=ddcaaaaaaaaaaaa
dddc=acddddaaaa
cac=d
bc=cb
bac=acaaaaabd
bb=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)