#4626 ⟨a, b | aaaa=a, baab=a⟩

Up:Monoids with two generators and two relations
Prev:#4625 ⟨a, b | aaaa=a, abbb=b⟩
Next:#4627 ⟨a, b | aaaa=a, baab=b⟩

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. cac ⇒ a2
  2. a4 ⇒ a
  3. a3c ⇒ c
  4. ca3 ⇒ c
  5. ba ⇒ a2ca
  6. bc ⇒ a2c2
  7. ab ⇒ c
  8. cb ⇒ ca2c 
# ab:aaaa=a,baab=a ac/b ab=c frequency:2/1
cac=aa
aaaa=a
aaac=c
caaa=c
ba=aaca
bc=aacc
ab=c
cb=caac

Right Cayley graph (truncated)

Left Cayley graph (truncated)