Aprovecharemos lo anterior para ver un criterio para determinar si un grupo es producto de dos de sus subgrupos.