Dual of the graphic beta move implies some Reidemeister moves
The extended beta move is still in beta version. In this post I want to explore some consequences of the dual of the graphic beta move.
I proved earlier the the extended beta move is equivalent with the pair (graphic beta move, dual of the graphic beta move), let me recall this pair in the following picture.
Here are some particular applications of the dual of the graphic beta move. The first is this:
which is the same as the emergent algebra move R2a.
The third application is this one:
and it was discussed in the post “Second thoughts on the dual of the extended beta move“, go there to see if this move may be interpreted as a pruning move (or an elimination of loops).
Finally, there is also this:
which was not mentioned before. It suggests that
behaves like the generic point in algebraic geometry.