#2708 ⟨a, b | abbab=abaaa⟩

Up:Monoids with two generators and one relation
Prev:#2707 ⟨a, b | abbab=aabba⟩
Next:#2709 ⟨a, b | abbab=abaab⟩

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. ca3 ⇒ ab2c
  2. cbab ⇒ ab2c
  3. aba3 ⇒ c
  4. ab2ab ⇒ c
  5. cba3 ⇒ aba2c
  6. cb2ab ⇒ aba2c 
# ab:abbab=abaaa abc abaaa=c magic:0
caaa=abbc
cbab=abbc
abaaa=c
abbab=c
cbaaa=abaac
cbbab=abaac

Right Cayley graph (truncated)

Left Cayley graph (truncated)