#14861 ⟨a, b | abba=b, baaab=a⟩

Up:Monoids with two generators and two relations
Prev:#14843 ⟨a, b | abba=b, aabab=a⟩
Next:#14869 ⟨a, b | abba=b, bbabb=a⟩

Properties

Element profile

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. a9 ⇒ a
  2. ba8 ⇒ b
  3. a4b ⇒ ba4
  4. b2 ⇒ a3ba3
  5. ba2b ⇒ aba
  6. ba3b ⇒ a
  7. (ab)2 ⇒ baba7 
# ab:abba=b,baaab=a a/b
aaaaaaaaa=a
baaaaaaaa=b
aaaab=baaaa
bb=aaabaaa
baab=aba
baaab=a
abab=babaaaaaaa

Right Cayley graph

Left Cayley graph