Groupe d’un noeud

Intuition

Afin de distinguer les noeuds, on est tentés d’avoir recours à un invariant classique : le groupe fondamental. Cependant, tous les noeuds sont homéomorphes au cercle, et donc ont tous le même groupe fondamental, $\mathbb{Z}$.

Pour obtenir un invariant capable de distinguer les noeuds, on considère plutôt le groupe fondamental du complémentaire du noeud dans l’espace, qui est bien plus intéressant.

Définition formelle

Le groupe d’un noeud $K$ est le groupe fondamental de son complémentaire dans l’espace :
$$G(K)=\pi_{1}(\R^{3}\backslash K).$$