Сателлитный узел

Сателлитный узел ${\displaystyle K}$ можно описать следующим образом: начните с нетривиальныого узла ${\displaystyle K'}$ лежащего внутри незаузленного полнотория ${\displaystyle V}$. «Нетривиальный» означает, что ${\displaystyle K'}$ не может лежать в шаре вложенном в ${\displaystyle V}$ и не изотопен центральной кривой полнотория. Затем завязать полноторие в нетривиальный узел. То есть применить нетривиальное вложение ${\displaystyle f\colon V\to \mathbb {S} ^{3}}$, такое, что и ${\displaystyle K=f(K')}$. При этом образ центральной кривой полнотория ${\displaystyle V}$ называется компаньёном ${\displaystyle K}$.

Обычно дополнительно предполагают, что вложение ${\displaystyle f\colon V\to \mathbb {S} ^{3}}$ раскрученно, то есть ${\displaystyle f}$ не меняют индекс зацепления двух окружностей в ${\displaystyle V}$.

В 1949 году Хорст Шуберт доказал^[1], что каждый ориентированный узел в ${\displaystyle \mathbb {S} ^{3}}$ разлагается в связную сумму узлов и это разложение единственно с точностью до перестановки. Вскоре после этого, он понял, что может дать новое доказательство этой теоремы анализируя несжимаемые торы, в дополнении к связной сумме. Это привело его к исследованию общих несжимаемых торов в дополнении узла, и к определению сателлитного узла^[2]