The free product of residually finite groups amalgamated along retracts is residually finite

Abstract

It is shown that residual finiteness is preserved by the generalized free product provided that the amalgamated subgroups are retracts of their respective factors. This result is applied to knot groups. The outcome is that the question of residual finiteness for knot groups need only be answered for prime knots.