#1851 ⟨a, b | aaaabaaa=ab⟩

Up:Monoids with two generators and one relation
Prev:#1850 ⟨a, b | aaaabaaa=aa⟩
Next:#1852 ⟨a, b | aaaabaaa=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. c2a3 ⇒ a3c2
  2. caca3 ⇒ a3cac
  3. a3ca3 ⇒ c
  4. ca2ca3 ⇒ a(a2c)2
  5. ab ⇒ c
  6. cb ⇒ a(a2c)2 
# ab:aaaabaaa=ab ac/b ab=c magic:0
ccaaa=aaacc
cacaaa=aaacac
aaacaaa=c
caacaaa=aaacaac
ab=c
cb=aaacaac

Right Cayley graph (truncated)

Left Cayley graph (truncated)