#946 ⟨a, b | aababba=ba⟩

Up:Monoids with two generators and one relation
Prev:#945 ⟨a, b | aababba=ab⟩
Next:#947 ⟨a, b | aababba=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 ⇒ a2bac
  2. b2c ⇒ cabac
  3. ba2bac ⇒ c
  4. a(ab)2c ⇒ c
  5. (a2ba)2c ⇒ ba
  6. a(abac)2 ⇒ bc
  7. c(ab)2c ⇒ bcabac
  8. caba3bac ⇒ bc 
# ab:aababba=ba ac/b bbba=c frequency:4/1
bba=aabac
bbc=cabac
baabac=c
aababc=c
aabaaabac=ba
aabacabac=bc
cababc=bcabac
cabaaabac=bc

Right Cayley graph (truncated)

Left Cayley graph (truncated)