Definition:Module Direct Product

Definition
Let $\left\{ \left\langle M_i,+_i,\circ_i\right\rangle\right\}_{i \in I}$ be a family of $R$-modules.

Let $M = \displaystyle \prod_{i \mathop \in I} M_i$ be the cartesian product of these modules.

$M$ is given the structure of an $R$-module in the following way:

For $\left\langle{a_i}\right\rangle_{i \mathop \in I}, \left\langle{b_i}\right\rangle_{i \mathop \in I} \in M$ and $r\in R$,

we define the operation $+$ on $M$ as:
 * $\left\langle{a_i}\right\rangle_{i \mathop \in I} + \left\langle{b_i}\right\rangle_{i \mathop \in I} = \left\langle{a_i +_i b_i}\right\rangle_{i \mathop \in I}$

and the $R$-action $\circ$ on $M$ as:


 * $r \circ \left\langle{m_i}\right\rangle_{i \mathop \in I} = \left\langle{r \circ_i m_i}\right\rangle_{i \mathop \in I}$

In Direct Product of Modules is Module, it is shown that this gives $\left\langle{M, +, \circ}\right\rangle$ the structure of an $R$-module, called direct product of modules.

Also see

 * Universal Property of Direct Product of Modules
 * Definition:Module Direct Sum