#1843 ⟨a, b | aaaaabba=ab⟩

Up:Monoids with two generators and one relation
Prev:#1842 ⟨a, b | aaaaabba=aa⟩
Next:#1844 ⟨a, b | aaaaabba=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. ca4c2 ⇒ c2a3ca
  2. a5c2 ⇒ aca3ca
  3. c(a4c)2a ⇒ c2
  4. a(a4c)2a ⇒ ac
  5. cb ⇒ ca4c
  6. ab ⇒ a5c
  7. b2a ⇒ c 
# ab:aaaaabba=ab ca/b bba=c frequency:3/0
caaaacc=ccaaaca
aaaaacc=acaaaca
caaaacaaaaca=cc
aaaaacaaaaca=ac
cb=caaaac
ab=aaaaac
bba=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)