#2031 ⟨a, b | abaaabba=ab⟩

Up:Monoids with two generators and one relation
Prev:#2030 ⟨a, b | abaaabba=aa⟩
Next:#2032 ⟨a, b | abaaabba=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. c2a ⇒ cac
  2. (ca)2 ⇒ ca2c
  3. ca2ca ⇒ c
  4. abca ⇒ abac
  5. abaca ⇒ aba2c
  6. aba2ca ⇒ ab
  7. cb ⇒ aba2c2
  8. ab2 ⇒ c 
# ab:abaaabba=ab ac/b abb=c frequency:3/0
cca=cac
caca=caac
caaca=c
abca=abac
abaca=abaac
abaaca=ab
cb=abaacc
abb=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)