# Knot group

From Topospaces

*This article describes a knot invariant*

## Definition

The **knot group** of a knot (where is a homeomorphic copy of inside ) is the fundamental group of the knot complement, viz., . Note that is path-connected, and its first homology group is . Thus the Abelianization of the knot group is .
`Further information: homology of knot complement`