#11025 ⟨a, b | abba=aab, bbbb=1⟩

Up:Monoids with two generators and two relations
Prev:#11016 ⟨a, b | abba=aaa, bbbb=1⟩
Next:#11032 ⟨a, b | abba=aba, bbbb=1⟩

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. b4 ⇒ 1
  2. ca ⇒ ac
  3. cba ⇒ ab2c
  4. cb2a ⇒ acb
  5. cb3a ⇒ ab2cb
  6. a2 ⇒ c
  7. ab2a ⇒ cb 
# ab:abba=aab,bbbb=1 reversed:b/ca aa=c frequency:2/1
bbbb=1
ca=ac
cba=abbc
cbba=acb
cbbba=abbcb
aa=c
abba=cb

Right Cayley graph (truncated)

Left Cayley graph (truncated)