#19155 ⟨a, b | aba=a, bbaabb=b⟩

Up:Monoids with two generators and two relations
Prev:#19154 ⟨a, b | aba=a, bbaabb=a⟩
Next:#19156 ⟨a, b | aba=a, bbabbb=a⟩

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. a2c2 ⇒ ac
  2. aca2 ⇒ a2ca
  3. c2a2 ⇒ ca
  4. c2ac ⇒ cac2
  5. c(ac)2 ⇒ c2
  6. a2(ca)2 ⇒ a
  7. a2cac2 ⇒ (ac)2
  8. ca(ac)2 ⇒ c
  9. b ⇒ ca2c 
# ab:aba=a,bbaabb=b ac/b bb=c frequency:2/0
aacc=ac
acaa=aaca
ccaa=ca
ccac=cacc
cacac=cc
aacaca=a
aacacc=acac
caacac=c
b=caac

Right Cayley graph (truncated)

Left Cayley graph (truncated)