#914 ⟨a, b | aaabbaa=ab⟩

Up:Monoids with two generators and one relation
Prev:#913 ⟨a, b | aaabbaa=aa⟩
Next:#915 ⟨a, b | aaabbaa=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. caca2 ⇒ a(ac)2
  2. c2a3ca2 ⇒ a2ca3c2
  3. a(aca2)2 ⇒ c
  4. ab ⇒ a2ca2
  5. cb ⇒ a(ac)2 
# ab:aaabbaa=ab ac/b abb=c frequency:3/0
cacaa=aacac
ccaaacaa=aacaaacc
aacaaacaa=c
ab=aacaa
cb=aacac

Right Cayley graph (truncated)

Left Cayley graph (truncated)