Tensor Product is Module

Theorem
Let $R$ be a ring.

Let $M$ be a $R$-right module.

Let $N$ be a $R$-left module.

Then:


 * $T = \displaystyle \bigoplus_{s \mathop \in M \mathop \times N} R s$

is a left module.

Axiom 1
Let $x, y \in T$ with $x = \left\{ {s_i}\right\}$ and $y = \left\{ {t_i}\right\}$.

Let $\lambda\in R$.

Then:

Axiom 2
Let $x \in T$ with $x = \left\{ {s_i}\right\}$

Let $\lambda, \mu \in R$.

Then:

Axiom 3
Let $x\in T$ with $x = \left\{ {s_i}\right\}$.

Let $\lambda, \mu \in R$.

Then: