#477 ⟨a, b | ababba=ba⟩

Up:Monoids with two generators and one relation
Prev:#476 ⟨a, b | ababba=ab⟩
Next:#478 ⟨a, b | ababba=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 ⇒ abac
  2. b2c ⇒ cbac
  3. (ba)2c ⇒ c
  4. (ab)2c ⇒ c
  5. (aba)2c ⇒ ba
  6. a(bac)2 ⇒ bc
  7. cbabc ⇒ bcbac
  8. cba2bac ⇒ bc 
# ab:ababba=ba ac/b bbba=c frequency:4/1
bba=abac
bbc=cbac
babac=c
ababc=c
abaabac=ba
abacbac=bc
cbabc=bcbac
cbaabac=bc

Right Cayley graph (truncated)

Left Cayley graph (truncated)