# Tensor product of modules

The tensor product of modules is a construction that takes two modules over a ring and produces a new module, denoted \( M \otimes_R N \), which converts bilinear maps out of the pair \( M \times N \) into linear maps out of \( M \otimes_R N \). It is defined by a universal property: every bilinear map from \( M \times N \) into any module factors uniquely through \( M \otimes_R N \)<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup>. For vector spaces over a field it generalizes the familiar tensor product of linear algebra; over a general ring it behaves in ways vector spaces do not, which is what makes it a central object in commutative algebra and homological algebra<sup>[2](https://mathworld.wolfram.com/ModuleTensorProduct.html)</sup>.

| Key fact | Detail |
|---|---|
| Universal property | For any \( R \)-bilinear \( f : M \times N \to P \) there is a unique \( R \)-linear \( \tilde{f} : M \otimes_R N \to P \) with \( f = \tilde{f} \circ g \), where \( g(x,y) = x \otimes y \)<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup> |
| Uniqueness | Any two pairs \( (T,g) \), \( (T',g') \) with this property are related by a unique isomorphism \( j : T \to T' \) with \( j \circ g = g' \)<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup> |
| Construction | Quotient of the free module \( R^{(M \times N)} \) by the submodule generated by bilinearity relations \( (x+x', y) - (x,y) - (x',y) \) and their analogs<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup> |
| Basic isomorphisms | \( M \otimes_R N \cong N \otimes_R M \), \( (M \oplus N) \otimes_R P \cong (M \otimes_R P) \oplus (N \otimes_R P) \), \( R \otimes_R M \cong M \)<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup> |
| Exactness | Right exact in each variable and commuting with direct sums and arbitrary colimits, but not left exact in general<sup>[3](https://math.hodapp.com/lectures/foundations/modules/tensor-product.html)</sup> |
| Noncommutative case | For a right module \( M \) and left module \( N \) over a ring \( R \), \( M \otimes_R N \) is an abelian group defined via \( R \)-balanced biadditive maps<sup>[4](https://www.math.ucla.edu/~rse/algebra_book.pdf)</sup> |
| Hom-tensor correspondence | \( \mathrm{Bilinear}_A(M \times N, Q) = \mathrm{Hom}_R(M \otimes_A N, Q) \)<sup>[5](https://stacks.math.columbia.edu/tag/09LL)</sup> |

## Definition and universal property

Let \( R \) be a commutative ring with unity and let \( M \), \( N \), \( P \) be \( R \)-modules. A map \( f : M \times N \to P \) is called \( R \)-bilinear if it is \( R \)-linear in each variable separately, so that \( (a_1 x_1 + a_2 x_2, y)f = a_1 (x_1, y)f + a_2 (x_2, y)f \) and similarly in the second variable<sup>[6](https://www.du.ac.in/du/uploads/departments/mathematics/study-material/MMATH18-201%20_MT_TP.pdf)</sup>.

The motivation for the tensor product is to build an \( R \)-module \( T \) such that \( R \)-bilinear maps from \( M \times N \) into \( P \) correspond naturally, one to one, to \( R \)-linear maps from \( T \) into \( P \), for every \( R \)-module \( P \)<sup>[6](https://www.du.ac.in/du/uploads/departments/mathematics/study-material/MMATH18-201%20_MT_TP.pdf)</sup>. Formally, a pair \( (T, g) \) with \( g : M \times N \to T \) bilinear is a tensor product if for every bilinear \( f : M \times N \to P \) there exists a unique module homomorphism \( \tilde{f} : T \to P \) with \( f = \tilde{f} \circ g \)<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup>. The image \( g(x,y) \) is written \( x \otimes y \), and \( T \) is denoted \( M \otimes_R N \)<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup>.

This property determines the object up to unique isomorphism, so one speaks of *the* tensor product<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup>. In categorical language, homomorphisms out of \( M \otimes_R N \) correspond exactly to bilinear maps out of the pair \( M \times N \); the tensor product converts bilinear maps into linear ones<sup>[7](https://kevos.com/engineering/the-tensor-product-of-modules)</sup>.

## Construction

Existence is proved by generators and relations. Take the free \( R \)-module \( R^{(M \times N)} \) on the set of pairs, and quotient by the submodule generated by the relations

\[ (x + x', y) - (x, y) - (x', y), \qquad (x, y + y') - (x, y) - (x, y'), \qquad (ax, y) - a(x, y), \qquad (x, ay) - a(x, y) \]

for \( x, x' \in M \), \( y, y' \in N \), \( a \in R \)<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup>. The class of \( (x,y) \) in the quotient is \( x \otimes y \), and these elements generate the tensor product<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup>. Given any bilinear \( f \), the assignment \( f'(x \otimes y) = f(x,y) \) extends linearly to the free module, descends to the quotient because \( f \) satisfies the same relations, and is unique since the \( x \otimes y \) generate<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup>.

It also shows that if \( M \) and \( N \) are finitely generated, with generating families \( \{x_i\} \) and \( \{y_j\} \), then \( M \otimes_R N \) is generated by the elements \( x_i \otimes y_j \), so it is finitely generated as well<sup>[6](https://www.du.ac.in/du/uploads/departments/mathematics/study-material/MMATH18-201%20_MT_TP.pdf)</sup>.

## Basic properties

The universal property yields the standard isomorphisms directly. The map \( (x,y) \mapsto y \otimes x \) induces \( M \otimes_R N \cong N \otimes_R M \); additivity in the first variable induces \( (M \oplus N) \otimes_R P \cong (M \otimes_R P) \oplus (N \otimes_R P) \); and \( (r, x) \mapsto rx \) induces \( R \otimes_R M \cong M \)<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup>. Associativity also holds: there are canonical isomorphisms that identify both \( (M \otimes_R N) \otimes_R P \) and \( M \otimes_R (N \otimes_R P) \) with \( M \otimes_R N \otimes_R P \), each carrying \( (x \otimes y) \otimes z \) and \( x \otimes (y \otimes z) \), respectively, to \( x \otimes y \otimes z \)<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup>. The same universal property extends to multilinear maps of any number of variables, giving a tensor product \( M_1 \otimes_R \cdots \otimes_R M_r \) that is again unique up to unique isomorphism<sup>[1](https://stacks.math.columbia.edu/tag/00CV)</sup>.

Iterating the product on a single module gives tensor powers: \( \bigotimes^p V = V \otimes_A \cdots \otimes_A V \) with \( p \) factors, whose elements are the contravariant tensors<sup>[8](https://encyclopediaofmath.org/wiki/Tensor_product)</sup>. Over a commutative ring, the direct sum \( \bigoplus_n T^n(M) \) with multiplication from the tensor product is the tensor algebra of \( M \)<sup>[9](https://www.cmat.edu.uy/~marclan/TM/Algebra%20i%20-%20Bourbaki.pdf)</sup>.

## The noncommutative case

When the ring \( R \) is not commutative, bilinearity in the usual sense is unavailable, and the definition changes. Let \( M \) be a right \( R \)-module and \( N \) a left \( R \)-module. A map \( j : M \times N \to A \) into an abelian group \( A \) is an \( R \)-balanced biadditive map if it is additive in each variable and satisfies \( j(mr, n) = j(m, rn) \) for all \( r \in R \)<sup>[4](https://www.math.ucla.edu/~rse/algebra_book.pdf)</sup>. The tensor product \( M \otimes_R N \) is then an abelian group, not an \( R \)-module, equipped with a balanced map \( \iota \) through which every balanced map factors uniquely via a group homomorphism<sup>[4](https://www.math.ucla.edu/~rse/algebra_book.pdf)</sup>.

Concretely, \( M \otimes_R N \) is generated by symbols \( x \otimes y \) subject to additivity in each variable and the balancing relation \( xa \otimes y = x \otimes ay \)<sup>[5](https://stacks.math.columbia.edu/tag/09LL)</sup>. When \( R \) is an algebra over a base ring, the result carries a module structure over that base ring, and the correspondence \( \mathrm{Bilinear}_A(M \times N, Q) = \mathrm{Hom}_R(M \otimes_A N, Q) \) holds for every base-ring module \( Q \)<sup>[5](https://stacks.math.columbia.edu/tag/09LL)</sup>. For a right \( A \)-module \( L \), an \( (A,B) \)-bimodule \( M \), and a left \( B \)-module \( N \), associativity gives a canonical isomorphism \( L \otimes_A (M \otimes_B N) \cong (L \otimes_A M) \otimes_B N \)<sup>[10](https://math.ucla.edu/~sharifi/notes/algebra-ch08.html)</sup>.

## Exactness, flatness, and Tor

Fixing one variable, the functor \( N \mapsto M \otimes_R N \) is right exact: from a short exact sequence \( 0 \to N_1 \to N_2 \to N_3 \to 0 \) it produces an exact sequence \( M \otimes_R N_1 \to M \otimes_R N_2 \to M \otimes_R N_3 \to 0 \)<sup>[11](https://stacks.math.columbia.edu/tag/00H9)</sup>. It also commutes with direct sums and arbitrary colimits<sup>[5](https://stacks.math.columbia.edu/tag/09LL)</sup>. In general the leftmost map need not be injective, so tensoring does not preserve short exact sequences<sup>[3](https://math.hodapp.com/lectures/foundations/modules/tensor-product.html)</sup>.

**Flat modules.** An \( R \)-module \( M \) is flat when \( N \mapsto N \otimes_R M \) is exact, that is, when tensoring with \( M \) preserves all exact sequences<sup>[11](https://stacks.math.columbia.edu/tag/00H9)</sup>. Flatness is equivalent to the injectivity of \( N \otimes_R M \to N' \otimes_R M \) for every inclusion \( N \subset N' \), and to the injectivity of \( I \otimes_R M \to M \) for every ideal \( I \subset R \)<sup>[11](https://stacks.math.columbia.edu/tag/00H9)</sup>. Flatness can be checked locally: for every prime \( \mathfrak p \), the module \( M \) is flat over \( A \) precisely when the localization \( M_{\mathfrak p} \) is flat over \( A_{\mathfrak p} \)<sup>[12](https://stacks.math.columbia.edu/tag/0250)</sup>. Lazard's theorem characterizes flat modules as colimits of directed systems of finite free modules<sup>[13](https://stacks.math.columbia.edu/tag/058C)</sup>. A module is faithfully flat when a sequence of \( R \)-modules is exact if and only if its tensor with \( M \) is exact; equivalently, \( M \otimes_R N \neq 0 \) for every nonzero \( R \)-module \( N \)<sup>[11](https://stacks.math.columbia.edu/tag/00H9)</sup>.

The failure of exactness is measured by Tor groups. For a short exact sequence \( 0 \to N' \to N \to N'' \to 0 \) there is a long exact sequence

\[ \mathrm{Tor}_1^R(M, N') \to \mathrm{Tor}_1^R(M, N) \to \mathrm{Tor}_1^R(M, N'') \to M \otimes_R N' \to M \otimes_R N \to M \otimes_R N'' \to 0 \]

so \( M \) is flat exactly when these \( \mathrm{Tor}_1 \) terms vanish<sup>[14](https://stacks.math.columbia.edu/tag/00LY)</sup>.

## Applications

**Extension of scalars.** Given a ring homomorphism \( f : R \to S \), every \( R \)-module \( M \) yields an \( S \)-module \( S \otimes_R M \), where \( S \) is regarded as an \( R \)-module through \( f \); this operation is called extension of scalars, and geometrically it is the algebraic analog of pulling back bundles along a map of base spaces<sup>[15](https://ncatlab.org/nlab/show/extension%2Bof%2Bscalars)</sup>. The same mechanism underlies base change of modules along a ring map \( R \to S \)<sup>[16](https://encyclopediaofmath.org/wiki/Module)</sup>.

**Characteristic examples.** Tensor products over \( \mathbb{Z} \), that is, tensor products of abelian groups, show behavior impossible for vector spaces. The element \( 2 \otimes \bar{1} \) is zero in \( \mathbb{Z} \otimes \mathbb{Z}/2 \), because \( 2 \otimes \bar{1} = 1 \otimes 2 \cdot \bar{1} = 1 \otimes \bar{0} = 0 \), but it is nonzero in \( 2\mathbb{Z} \otimes \mathbb{Z}/2 \)<sup>[6](https://www.du.ac.in/du/uploads/departments/mathematics/study-material/MMATH18-201%20_MT_TP.pdf)</sup>.

**Characterizing the functor.** The tensor product is no mere isolated construction: whenever a functor \( F : \mathrm{Mod}_R \to \mathrm{Mod}_R \) happens to be \( R \)-linear and right exact and to preserve direct sums, there exists an \( R \)-module \( N \) such that \( F(M) = M \otimes_R N \)<sup>[17](https://stacks.math.columbia.edu/tag/0CYG)</sup>.

## History

The tensor product of abelian groups was defined by [Hassler Whitney](https://www.edgepedia.org/hassler-whitney) by 1938, in his paper "Tensor products of Abelian groups"; the more general notion for modules over rings was treated later in Bourbaki's algebra treatise<sup>[18](https://www.claymath.org/wp-content/uploads/2025/05/Asok-ms.pdf)</sup>. Bourbaki traced the idea back to Kronecker's work on matrices, the operation now called the [Kronecker product](https://www.edgepedia.org/kronecker-product), while noting that Kronecker introduced such products without an intrinsic formulation and without naming them<sup>[18](https://www.claymath.org/wp-content/uploads/2025/05/Asok-ms.pdf)</sup>. The universal-property formulation, which requires the notion of functoriality that Eilenberg and Steenrod first developed, appears in Bourbaki's treatment and was remarked on by Artin in his 1953 review<sup>[18](https://www.claymath.org/wp-content/uploads/2025/05/Asok-ms.pdf)</sup>. Tensor products of modules appear in the 1948 edition of Bourbaki's *Algebra*, Chapter III<sup>[19](https://math.stackexchange.com/questions/87745/when-did-free-modules-first-appear)</sup>, and the definition of a tensor as an element of a tensor product of vector spaces became standard in graduate algebra texts<sup>[20](https://www.stat.uchicago.edu/~lekheng/work/acta.pdf)</sup>.

## References

1. [Section 10.12: Tensor products, The Stacks Project](https://stacks.math.columbia.edu/tag/00CV)
2. [Module Tensor Product, Wolfram MathWorld](https://mathworld.wolfram.com/ModuleTensorProduct.html)
3. [Tensor product of modules, Math foundations (Hodapp)](https://math.hodapp.com/lectures/foundations/modules/tensor-product.html)
4. [R. Sharifi, Abstract Algebra (UCLA algebra book), Chapter on tensor products over arbitrary rings](https://www.math.ucla.edu/~rse/algebra_book.pdf)
5. [Section 22.12: Tensor product, The Stacks Project](https://stacks.math.columbia.edu/tag/09LL)
6. [MMATH18-201: Module Theory, Lecture Notes: Tensor Products, University of Delhi](https://www.du.ac.in/du/uploads/departments/mathematics/study-material/MMATH18-201%20_MT_TP.pdf)
7. [The Tensor Product of Modules, KEVOS](https://kevos.com/engineering/the-tensor-product-of-modules)
8. [Tensor product, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Tensor_product)
9. [N. Bourbaki, Algebra I, Chapter III: Tensor algebras, exterior algebras, symmetric algebras](https://www.cmat.edu.uy/~marclan/TM/Algebra%20i%20-%20Bourbaki.pdf)
10. [R. Sharifi, Abstract Algebra, Chapter 8: Topics in ring theory](https://math.ucla.edu/~sharifi/notes/algebra-ch08.html)
11. [Section 10.39: Flat modules and flat ring maps, The Stacks Project](https://stacks.math.columbia.edu/tag/00H9)
12. [Section 41.9: Flat morphisms, The Stacks Project](https://stacks.math.columbia.edu/tag/0250)
13. [Section 10.81: Characterizing flatness, The Stacks Project](https://stacks.math.columbia.edu/tag/058C)
14. [Section 10.75: Tor groups and flatness, The Stacks Project](https://stacks.math.columbia.edu/tag/00LY)
15. [Extension of scalars, nLab](https://ncatlab.org/nlab/show/extension%2Bof%2Bscalars)
16. [Module, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Module)
17. [Section 111.4: Tensor product, The Stacks Project](https://stacks.math.columbia.edu/tag/0CYG)
18. [A. Asok, Bourbaki's algebra in context, Clay Mathematics Institute](https://www.claymath.org/wp-content/uploads/2025/05/Asok-ms.pdf)
19. [When did free modules first appear?, Mathematics Stack Exchange](https://math.stackexchange.com/questions/87745/when-did-free-modules-first-appear)
20. [L. Chiantini et al., Tensors in Computations, Acta Numerica](https://www.stat.uchicago.edu/~lekheng/work/acta.pdf)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Algebraic structures › Module theory › Tensor products and bimodules › Tensor products of modules*

*Initially written Sep 17, 2026 · Reviewed: Oct 15, 2026 · Edited: Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license