In de knopentheorie, een deelgebied van de topologie, is een knoop een inbedding van een cirkel in een 3-dimensionale Euclidische ruimte. De knoopgroep van knoop K wordt gedefinieerd als de fundamentaalgroep van het knoopcomplement van K in R3,
Andere conventies beschouwen knopen als te zijn ingebed in de 3-sfeer, in welk geval de knoopgroep de fundamentaalgroep van zijn knoopcomplement in S'3 is.