Exercice 7, § 4

Si $G$ est produit direct de deux sous-groupes $A$ et $B$, et si $H$ est un sous-groupe de $G$ tel que $A \subset H$, $H$ est produit direct de $A$ et de $H \cap B$.