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 \cap K = \{ 1 \}$, e $H, K$ conmutar elementwise. A continuación, el subgrupo $\langle H, K \rangle$ es llamado el interior producto directo de la $H$$K$, como todo lo que tiene lugar en el interior de $G$.
Alternativamente, si sólo se dan dos grupos de $H$$K$, usted puede construir un grupo de $P$ en el conjunto de $H \times K$, con la multiplicación de la regla de $(h_1, k_1) (h_2, k_2) = (h_1 h_2, k_1 k_2)$. 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 \in H\}$ es un subgrupo de $P$ isomorfo a $H$, e $K' = \{ (1, k) : k \in K\}$ es un subgrupo de $P$ isomorfo a $K$. Se verifica que $H' \cap 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$.