Fundamental group of $\mathbb{R}^3$ minus trefoil knot

One nice method is to think of the trefoil as sitting on the surface of a torus. Think of it as slightly thickened. Then subdivide your space into a slight thickening of the torus (minus the thickened knot) and a slight thickening of the complement. The fundamental groups of each piece are isomorphic to $\mathbb Z$, while the intersection deformation retracts to the torus minus the trefoil, which is an annulus, so also has fundamental group $\mathbb Z$. If you take the loop generating the fundamental group of the annulus and push it into the torus, it winds around three times. If you push it out it winds around twice. So Van Kampen gives the following presentation $\langle x,y\,|\, x^3=y^2\rangle$.


The idea is that you label the arcs of the knot in order. Then at each crossing you get a relation. And your fundamental group is the labels of the arcs and the relations you find. For example, if you have a crossing with labels $a$ for the over arc and $b$ and $c$ for the under arcs, the relation should look something like $$aba^{-1}c=1.$$ Now, be careful, the order matters, but it is explained in this pdf rather well. Also, you can always ignore exactly one of the relations you get. It will be a consequence of the others.