#5903 ⟨a, b | abab=1, aabaa=b⟩

Up:Monoids with two generators and two relations
Prev:#5901 ⟨a, b | abab=1, aaabb=b⟩
Next:#5904 ⟨a, b | abab=1, aabab=a⟩

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. c2 ⇒ 1
  2. acb ⇒ 1
  3. ba ⇒ c
  4. b2 ⇒ (ca)2
  5. bcb ⇒ a2c
  6. a2ca ⇒ b
  7. aca2 ⇒ cbc
  8. bca2 ⇒ a2bc
  9. b(ca)2 ⇒ (ca)2b 
# ab:abab=1,aabaa=b c/ab ba=c frequency:2/0
cc=1
acb=1
ba=c
bb=caca
bcb=aac
aaca=b
acaa=cbc
bcaa=aabc
bcaca=cacab

Right Cayley graph (truncated)

Left Cayley graph (truncated)