Diremos que un grupo formula_1 es el producto interno de dos subgrupos formula_13 y formula_299 cuando formula_1 sea isomorfo al product formula_319