 For finite groups, the Schur–Zassenhaus theorem provides a sufficient condition for the existence of a decomposition as a semidirect product (also known as splitting extension).Given a group with identity element , a subgroup , and a normal subgroup , the following statements are equivalent