#22786 ⟨a, b | aaa=1, abaab=bba⟩

Up:Monoids with two generators and two relations
Prev:#22785 ⟨a, b | aaa=1, abaab=bab⟩
Next:#22787 ⟨a, b | aaa=1, abaab=bbb⟩

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. a3 ⇒ 1
  2. b2a ⇒ aba2b
  3. (ba2)2 ⇒ a2b2
  4. b(aba)2 ⇒ abab2
  5. ba(ab)2a2 ⇒ (a2b)2b
  6. ba2(ba)3 ⇒ (ab)3b
  7. (ba)4ab ⇒ (ab)4b
  8. (ba)4b2 ⇒ a(ab)4b2 
# ab:aaa=1,abaab=bba reversed:a/b
aaa=1
bba=abaab
baabaa=aabb
babaaba=ababb
baababaa=aabaabb
baabababa=abababb
babababaab=ababababb
bababababb=aababababbb

Right Cayley graph (truncated)

Left Cayley graph (truncated)