#1867 ⟨a, b | aaaabbaa=ab⟩

Up:Monoids with two generators and one relation
Prev:#1866 ⟨a, b | aaaabbaa=aa⟩
Next:#1868 ⟨a, b | aaaabbaa=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. a3cac ⇒ (ca2)2
  2. a3ca4c2 ⇒ caca4ca2
  3. (a3ca)2a ⇒ c
  4. cb ⇒ (ca2)2
  5. ab ⇒ a3ca2 
# ab:aaaabbaa=ab ca/b abb=c frequency:3/0
aaacac=caacaa
aaacaaaacc=cacaaaacaa
aaacaaaacaa=c
cb=caacaa
ab=aaacaa

Right Cayley graph (truncated)

Left Cayley graph (truncated)