Given a knot diagram, it is possible to construct a collection of variables and equations, and given such a collection, a group naturally arises that is known as the group of the knot. While the group itself depends on the choices made in the construction, any two groups that arise in this way are isomorphic. For example, the knot group of the trefoil knot is 〈x, y|x^2 = y^3〉, or equivalently 〈x, y|x y x = y x y〉 (Rolfsen 1976, pp.

Dehn's lemma | van Kampen's theorem