I study a am studying virtual knot theory. A virtual knot is an immersion a knot diagram with real or virtual crossing information. The equivalence relation made by includes generalized Reidemeister moves. The There are premitted virtual Reidemeister movesdo not admit , and forbbiden moves.
Do the forbidden moves have some varildityvalidity? How are generalized Reidemeister moves made? For example, If we admit the moves the virtual knot is trivial. Therefore, we make fobbiden some of the moves forbidden. The moves have two real virtual crossings and one virtual crossing. However, instead of the these moves, why the other moves are not selected? For instance, May may we remove exclude classical Reidemeister I move instead of forbbiden the forbidden moves? I confuseam confused!