Luego, formula_19 es un producto directo de sus subgrupos formula_235 y formula_236, de acuerdo a la definición en el capítulo de Grupos Generados.