MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The fundamental group of a knot $K$ (otherwise known as the knot group) is the fundamental group of the knot complement $S^{3} \backslash K $ in $S^{3} $.

In "Virtual Knots: The State of the Art" ( on page 7, it says that the fundamental group of a knot recognizes prime knots. Does this mean that the knot group of a prime knot cannot be isomorphic to the amalgamated free product of two non-trivial knot groups- and in general can the knot group of a prime knot be an amalgamated free product?

share|cite|improve this question
To be somewhat pedantic, the fundamental group $\pi := \pi_1(S^3 \setminus K)$ itself doesn't determine the knot complement, since mirror knot complements have isomorphic fundamental groups. However, the data $(\pi, m, l)$ does determine the knot (where $m$ and $l$ are the meridian and longitude of the knot). See – Peter Samuelson Jul 10 '13 at 15:50
up vote 5 down vote accepted

The statement on page 7 is referring to Corollary 2.1 of Gordon and Luecke's "Knots are determined by their complements."

Also a prime knot can not be an amalgamated free product of non-trivial knot groups by Corollay 2.5 of W. Thurston's "Three dimensional manifolds, Kleinian groups and hyperbolic geometry."

However, a knot group can be an amalgamated free product provided the subgroup you are amalgamating along is more complicated. For example, a knot complement with an essential, embedded quasi-Fuchsian surface has such a knot group. The basic idea of how to construct such knots goes as follows, take a genus $g$ handlebody and embed a knot in it such that the knot punctures any compressing disk in at least two points, then embedded the handlebody in $S^3$ such that the boundary of the handlebody is incompressible. This process is done in full rigor by Adams and Reid in "Quasi-Fuchsian surfaces in hyperbolic knot complements."

share|cite|improve this answer
Thanks Neil! :) – Peter Jul 10 '13 at 10:05
The link for Adams and Reid seems not to work. – Dietrich Burde Jul 10 '13 at 11:21
@DietrichBurde: Thank you. I fixed the broken link. – Neil Hoffman Jul 10 '13 at 13:31
Thanks for the updated link Neil :) – Peter Jul 10 '13 at 13:31

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.