En el capítulo Los Grupos, vimos en una proposición condiciones necesarias y suficientes para que un grupo fuera producto interno de dos de sus subgrupos.