Виртуальные узлы и зацепления

Настоящая работа представляет собой введение в теорию виртуальных узлов и предлагает обсуждение некоторых новых результатов. Новые результаты состоят в следующем. Мы доказываем с использованием методов трехмерной топологии, что если связная сумма двух виртуальных узлов $K_1$ и $K_2$ тривиальна, то оба узла $K_1$ и $K_2$ являются тривиальными. Мы приводим алгоритм распознавания виртуальных зацеплений, использующий технику Хакена–Матвеева.