Semidirect products of (topological) semi-abelian algebras

We give a description of the semidirect products in any semi-abelian variety. Moreover, we internalize this description to the models of semi-abelian theories in any finitely complete category. As an application, we characterize the topology of the semidirect products in the topological models of any semi-abelian theory.