#16324 ⟨a, b | aab=bb, bbaa=bb⟩

Up:Monoids with two generators and two relations
Prev:#16323 ⟨a, b | aab=bb, bbaa=ba⟩
Next:#16325 ⟨a, b | aab=bb, bbab=aa⟩

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. cb ⇒ c2
  2. bc ⇒ c2
  3. b2 ⇒ c
  4. a2c ⇒ c2
  5. a2b ⇒ c
  6. ca2 ⇒ c
  7. cab ⇒ cac
  8. c3 ⇒ c2
  9. cac2 ⇒ cac 
# ab:aab=bb,bbaa=bb acb bb=c frequency:2/0
cb=cc
bc=cc
bb=c
aac=cc
aab=c
caa=c
cab=cac
ccc=cc
cacc=cac

Right Cayley graph (truncated)

Left Cayley graph (truncated)