# Validity of generalized Reidemeister moves for a virtual knot

I am studying virtual knot theory. A virtual knot is a knot diagram with real or virtual crossing information. The equivalence relation includes generalized Reidemeister moves. There are premitted virtual Reidemeister moves, and forbbiden moves.

Question

Do the forbidden moves have some validity? How are generalized Reidemeister moves made? For example, If we admit the moves the virtual knot is trivial. Therefore, we make some of the moves forbidden. The moves have two real crossings and one virtual crossing. However, instead of these moves, why the other moves are not selected? For instance, may we exclude classical Reidemeister I move instead of the forbidden moves? I am confused!

-
I've posted an answer, but this strikes me as more of a math.SE question- also, note that googling "virtual Reidemeister move" would have answered the question. – Daniel Moskovich Aug 9 '12 at 20:06
If you remove Reidemeister I you get the theory of framed knots. Deciding which moves to include determines which objects you are studying. – Daniel Moskovich Aug 9 '12 at 20:11