#1903 ⟨a, b | aaababba=ba⟩

Up:Monoids with two generators and one relation
Prev:#1902 ⟨a, b | aaababba=ab⟩
Next:#1904 ⟨a, b | aaababba=bb⟩

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. b2a ⇒ a3bac
  2. b2c ⇒ ca2bac
  3. ba3bac ⇒ c
  4. a3babc ⇒ c
  5. (a3ba)2c ⇒ ba
  6. a(a2bac)2 ⇒ bc
  7. ca(ab)2c ⇒ bca2bac
  8. ca2ba4bac ⇒ bc 
# ab:aaababba=ba ac/b bbba=c frequency:4/1
bba=aaabac
bbc=caabac
baaabac=c
aaababc=c
aaabaaaabac=ba
aaabacaabac=bc
caababc=bcaabac
caabaaaabac=bc

Right Cayley graph (truncated)

Left Cayley graph (truncated)