Definition 10.12.1. Let $R$ be a ring, $M, N, P$ be three $R$-modules. A mapping $f : M \times N \to P$ (where $M \times N$ is viewed only as Cartesian product of two $R$-modules) is said to be $R$-bilinear if for each $x \in M$ the mapping $y\mapsto f(x, y)$ of $N$ into $P$ is $R$-linear, and for each $y\in N$ the mapping $x\mapsto f(x, y)$ is also $R$-linear.

There are also:

• 4 comment(s) on Section 10.12: Tensor products

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).