Published online by Cambridge University Press: 24 October 2008
A quandle is the algebraic distillation of the second and third Reidemeister moves, on unframed links. Quandles have been studied by many people including Kauffman[K], Fenn and Rourke[F-R] and Joyce [J]. Joyce defines the fundamental quandle, which is a classifying invariant of irreducible, unframed links. Fenn and Rourke, who study generalised quandles or racks in [F—R], show that the natural map from the fundamental quandle of a knot K to the knot group is never injective if K is a connected sum. We now prove that the natural map from the fundamental quandle to the fundamental group of the complement of a link in S3 is injective if and only if the link is prime.