#1997 ⟨a, b | aabbabba=ab⟩

Up:Monoids with two generators and one relation
Prev:#1996 ⟨a, b | aabbabba=aa⟩
Next:#1998 ⟨a, b | aabbabba=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. ac3a ⇒ a2c3
  2. c4a ⇒ cac3
  3. a2(c2a)2 ⇒ ac
  4. ca(c2a)2 ⇒ c2
  5. ab ⇒ a2c2
  6. cb ⇒ cac2
  7. b2a ⇒ c 
# ab:aabbabba=ab ac/b bba=c frequency:3/0
accca=aaccc
cccca=caccc
aaccacca=ac
caccacca=cc
ab=aacc
cb=cacc
bba=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)