Abstract: | Hempel has shown that the fundamental groups of knot complements are residually finite. This implies that every nontrivial knot must have a finite-sheeted, noncyclic cover. We give an explicit bound, Φ (c), such that if K is a nontrivial knot in the three-sphere with a diagram with c crossings then the complement of K has a finite-sheeted, noncyclic cover with at most Φ (c) sheets.The author is supported by an NSF Postdoctoral Fellowship at Cornell University. |