Minimal generating sets of directed oriented Reidemeister moves

Piotr Suwara

Polyak proved that the set $\{\Omega 1a,\Omega 1b,\Omega 2a,\Omega 3a\}$ is a minimal generating set of oriented Reidemeister moves. One may distinguish between forward and backward mo…