Tomar el producto directo de dos grupos. En el interior de la versión, se le da a un grupo de G, y dos subgrupos H,K, de tal manera que H∩K={1}, e H,K conmutar elementwise. A continuación, el subgrupo ⟨H,K⟩ es llamado el interior producto directo de la HK, como todo lo que tiene lugar en el interior de G.
Alternativamente, si sólo se dan dos grupos de HK, usted puede construir un grupo de P en el conjunto de H×K, con la multiplicación de la regla de (h1,k1)(h2,k2)=(h1h2,k1k2). Esta es la llamada externa directa del producto, como usted puede decir que usted vaya fuera de H K construir P.
Ahora H′={(h,1):h∈H} es un subgrupo de P isomorfo a H, e K′={(1,k):k∈K} es un subgrupo de P isomorfo a K. Se verifica que H′∩K′={1}, H′,K′ conmutar elementwise, y que el interior del producto de H′,K′ dentro P es isomorfo al exterior producto directo de la H,K.