Dado un grupo G, el método .direct_product (H) creará el producto directoG×H. (Este no es el mismo comando que la función direct_product_permgroups () de antes.) Este comando no sólo ...Dado un grupo G, el método .direct_product (H) creará el producto directoG×H. (Este no es el mismo comando que la función direct_product_permgroups () de antes.) Este comando no sólo crea el producto directo, sino que también construye cuatro homomorfismos, uno con dominioG, uno con dominioH y dos con dominioG×H. Entonces la salida consta de cinco objetos, siendo el primero el grupo real, y el resto son homomorfismos.
