#1937 ⟨a, b | aabaaaab=ba⟩

Up:Monoids with two generators and one relation
Prev:#1936 ⟨a, b | aabaaaab=ab⟩
Next:#1938 ⟨a, b | aabaaaab=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. a(ac)2 ⇒ ca
  2. (a2ca)3b ⇒ c
  3. ba ⇒ a2cab
  4. bc ⇒ (ca)3aca3cab 
# ab:aabaaaab=ba reversed:ac/b baaa=c frequency:4/0
aacac=ca
aacaaacaaacab=c
ba=aacab
bc=cacacaacaaacab

Right Cayley graph (truncated)

Left Cayley graph (truncated)