#891 ⟨a, b | aaaabba=ab⟩

Up:Monoids with two generators and one relation
Prev:#890 ⟨a, b | aaaabba=aa⟩
Next:#892 ⟨a, b | aaaabba=ba⟩

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. ca3c2 ⇒ c2a2ca
  2. a4c2 ⇒ (aca)2
  3. c(a3c)2a ⇒ c2
  4. a(a3c)2a ⇒ ac
  5. cb ⇒ ca3c
  6. ab ⇒ a4c
  7. b2a ⇒ c 
# ab:aaaabba=ab ca/b bba=c frequency:3/0
caaacc=ccaaca
aaaacc=acaaca
caaacaaaca=cc
aaaacaaaca=ac
cb=caaac
ab=aaaac
bba=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)