|
Author |
hbghlyj
Posted 2023-3-18 21:49
Purpose of the knot group
Let $K \subset S^3$ be the figure eight knot. One reason $K$ is not a trivial knot is because there is a surjective homomorphism from the group $\pi_1(S^3-K)$ onto the dihedral group of order 10. This is an exercises about the knot group that might be found in knot theory books, and I will leave it to you to look this up, or to figure it out using some presentation of $\pi_1(S^3-K)$ such as the Wirtinger presentation. This suffices to prove that the group $\pi_1(S^3-K)$ is not infinite cyclic, because the only groups onto which an infinite cyclic group can surject are other cyclic groups; but the dihedral group of order $10$ is not cyclic, it is not even abelian. |
|