Definition:Internal Group Direct Product/General Definition

Definition
Let $\left \langle {H_n} \right \rangle = \left({H_1, \circ}\right), \ldots, \left({H_n, \circ}\right)$ be a sequence of subgroups of a group $\left({G, \circ}\right)$.

The group $\left({G, \circ}\right)$ is the internal group direct product of $\left \langle {H_n} \right \rangle$ iff the mapping:


 * $\displaystyle C: \prod_{k \mathop = 1}^n H_k \to G: C \left({h_1, \ldots, h_n}\right) = \prod_{k \mathop = 1}^n h_k$

is a group isomorphism from the cartesian product $H_1 \times \cdots \times H_n$ onto $G$.

Also known as
Some authors call this just the group direct product, but it should not be confused with the external group direct product.

Although this is just a more specific example of the internal direct product of general algebraic structures, it is usually defined and treated separately because of its considerable conceptual importance.