Definition:Internal Group Direct Product

Definition
Let $\struct {H, \circ {\restriction_H} }$ and $\struct {K, \circ {\restriction_K} }$ be subgroups of a group $\struct {G, \circ}$

where $\circ {\restriction_H}$ and $\circ {\restriction_K}$ are the restrictions of $\circ$ to $H, K$ respectively.

Also see

 * Conditions for Internal Group Direct Product


 * Equivalence of Definitions of Internal Group Direct Product


 * Internal Direct Product Theorem


 * Definition:Internal Direct Product