結び目群
数学において、結び目とは、1次元円周の3次元ユークリッド空間の中への埋め込みのことである。結び目 K の結び目群 (knot group) とは、R における K の結び目補空間の基本群
π 1 ( R 3 ∖ K ) {\displaystyle \pi _{1}(\mathbb {R} ^{3}\setminus K)}
として定義される。
他にも結び目を3次元球面の中へ埋め込んで考えることもあり、その場合、結び目群は、S における結び目の補空間の基本群である。