#980 ⟨a, b | abaabba=ba⟩

Up:Monoids with two generators and one relation
Prev:#979 ⟨a, b | abaabba=ab⟩
Next:#981 ⟨a, b | abaabba=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 ⇒ aba2c
  2. b2c ⇒ cba2c
  3. baba2c ⇒ c
  4. aba2bc ⇒ c
  5. (aba2)2c ⇒ ba
  6. a(ba2c)2 ⇒ bc
  7. cba2bc ⇒ bcba2c
  8. cba3ba2c ⇒ bc 
# ab:abaabba=ba ac/b bbba=c frequency:4/1
bba=abaac
bbc=cbaac
babaac=c
abaabc=c
abaaabaac=ba
abaacbaac=bc
cbaabc=bcbaac
cbaaabaac=bc

Right Cayley graph (truncated)

Left Cayley graph (truncated)