#1793 ⟨a, b | ababbbaab=a⟩

Up:Monoids with two generators and one relation
Prev:#1792 ⟨a, b | ababbabba=b⟩
Next:#1794 ⟨a, b | ababbbaab=b⟩

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. a4ca2c ⇒ a3caca2
  2. a(aca2)2c ⇒ (a2c)2aca2
  3. a3c(aca2)2c ⇒ (a2c)2aca3ca
  4. (a2c)2(aca2)2c ⇒ a
  5. cb ⇒ bc
  6. ab ⇒ (a2c)2
  7. b3 ⇒ c 
# ab:ababbbaab=a ca/b bbb=c frequency:3/1
aaaacaac=aaacacaa
aacaaacaac=aacaacacaa
aaacacaaacaac=aacaacacaaaca
aacaacacaaacaac=a
cb=bc
ab=aacaac
bbb=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)