Definition:Internal Direct Product/General Definition

Definition
Let $\struct {S_1, \circ {\restriction_{S_1} } }, \ldots, \struct {S_n, \circ {\restriction_{S_n} } }$ be closed algebraic substructures of an algebraic structure $\struct {S, \circ}$

where $\circ {\restriction_{S_1} }, \ldots, \circ {\restriction_{S_n} }$ are the operations induced by the restrictions of $\circ$ to $S_1, \ldots, S_n$ respectively.

The structure $\struct {S, \circ}$ is the internal direct product of $\sequence {S_n}$ if the mapping:


 * $\ds C: \prod_{k \mathop = 1}^n S_k \to S: \map C {s_1, \ldots, s_n} = \prod_{k \mathop = 1}^n s_k$

is an isomorphism from the cartesian product $\struct {S_1, \circ {\restriction_{S_1} } } \times \cdots \times \struct {S_n, \circ {\restriction_{S_n} } }$ onto $\struct {S, \circ}$.

The operation $\circ$ on $S$ is the operation induced on $S$ by $\circ {\restriction_{S_1} }, \circ {\restriction_{S_2} }, \ldots, \circ {\restriction_{S_n} }$.

Decomposition
Such a set of algebraic substructures $\struct {S_1, \circ {\restriction_{S_1} } }, \ldots, \struct {S_n, \circ {\restriction_{S_n} } }$ whose direct product forms $\struct {S, \circ}$ is called a decomposition of $S$.

Also see

 * Definition:External Direct Product/General Definition
 * Definition:Ring Direct Sum