#2046 ⟨a, b | abaabbba=ab⟩

Up:Monoids with two generators and one relation
Prev:#2045 ⟨a, b | abaabbba=aa⟩
Next:#2047 ⟨a, b | abaabbba=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 ⇒ c
  3. abca ⇒ abac
  4. abaca ⇒ ab
  5. cb ⇒ abac2
  6. ab2ca ⇒ ab2ac
  7. ab2aca ⇒ ab2
  8. ab3 ⇒ c 
# ab:abaabbba=ab ac/b abbb=c frequency:4/1
cca=cac
caca=c
abca=abac
abaca=ab
cb=abacc
abbca=abbac
abbaca=abb
abbb=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)