next up previous contents
Next: 2.7 The relation with Up: 2 Knotted trivalent graphs Previous: 2.5 Vertex renormalizations and   Contents

2.6 Is KTG finitely presented?

Summary. This is a sticky point. We are quite sure that relative to the elementary moves and with the generators $ \MobiusSymbol$ and $ \tetrahedron$ the set KTG is finitely presented, and we are quite sure that we know all the relations, and they are the pentagon and hexagon of Section 2.4. But depending on our mood in the morning of any given day, we either don't have a proof or are very unhappy about the proof we have. No reference yet.

Dror Bar-Natan 2001-07-23