#12633 ⟨a, b | babb=aa, bbbb=b⟩

Up:Monoids with two generators and two relations
Prev:#12631 ⟨a, b | baba=ba, bbaa=a⟩
Next:#12635 ⟨a, b | babb=ab, bbbb=b⟩

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. a11 ⇒ a4
  2. a4ba ⇒ a6b
  3. ba3 ⇒ a2ba2
  4. bab ⇒ a2b2
  5. a3b2a ⇒ a(a2b)2
  6. a(a2b)2a ⇒ a4b2
  7. a2b2a2 ⇒ a3b2
  8. a2(ba2)2 ⇒ a(a2b)2
  9. a2b3 ⇒ a2
  10. (a2b)2ba ⇒ a3ba2b2
  11. b3a2 ⇒ a2
  12. b(ba2)2 ⇒ a3
  13. b4 ⇒ b 
# ab:babb=aa,bbbb=b reversed:a/b
aaaaaaaaaaa=aaaa
aaaaba=aaaaaab
baaa=aabaa
bab=aabb
aaabba=aaabaab
aaabaaba=aaaabb
aabbaa=aaabb
aabaabaa=aaabaab
aabbb=aa
aabaabba=aaabaabb
bbbaa=aa
bbaabaa=aaa
bbbb=b

Right Cayley graph

Left Cayley graph