On approximation properties of semidirect products of groups

Abstract: Let R be a class of groups closed under taking semidirect products with finite kernel and fully residually R-groups. We prove that R contains all R-by-{finitely generated residually finite} groups. It follows that a semidirect product of a finitely generated residually finite group with a surjunctive group is surjunctive. This remained unknown even for direct products of a surjunctive group with the integers Z.