Al debilitar estas condiciones se obtiene el producto semidirecto.