This is a preview. Log in through your library . Abstract In this paper, we show that any finitely generated abelian-by-finite group is an elementary submodel of its profinite completion. It follows ...