5.18.1 Tensor Product Module Context

In algebra, tensor product module context combines modules to generalize linear mappings, enabling multilinear structures across different spaces.

Tensor Product Module Context is the setting in which the objects being combined by the tensor product construction are R-modules M and N for a fixed ring R, examined specifically with attention to the module-theoretic properties, such as being finitely generated, free, projective, or torsion, that determine how well-behaved the resulting tensor product M ⊗_R N will be. Because modules over a general ring lack many of the automatic guarantees that vector spaces over a field enjoy, this context is concerned with identifying which structural properties of M and N are needed to recover familiar, well-behaved tensor product behavior.

Module Properties Relevant to Tensoring

Free Modules Behave Like Vector Spaces

A free R-module, one possessing a basis, tensors in the same predictable way as a vector space: if M ≅ R^m and N ≅ R^n are free of finite rank, then M ⊗_R N ≅ R^(mn), mirroring the dimension-multiplication formula from the field case exactly.

R^{m} \underset{R}{\otimes} R^{n} ≅ R^{m n}

Finitely Generated Modules

A finitely generated R-module need not be free, but the tensor product of two finitely generated modules remains finitely generated, generated by the products of the generators of each factor, even though the number of independent generators of the tensor product may be smaller than the naive product count.

Torsion Modules and Collapse

A torsion module, one in which every element is annihilated by some nonzero ring element, can cause dramatic collapse under tensoring: as noted in the ring context, ℤ/2ℤ ⊗_ℤ ℤ/3ℤ = 0, because the torsion orders 2 and 3 are coprime and each forces the other factor's contribution to vanish.

Projective and Flat Modules

Projective Modules as Direct Summands of Free Modules

A projective R-module is, by definition, a direct summand of some free module. Tensoring with a projective module preserves many of the exactness properties familiar from the free case, since tensoring commutes with direct sums:

(P \oplus Q) \underset{R}{\otimes} N ≅ (P \underset{R}{\otimes} N) \oplus (Q \underset{R}{\otimes} N)

Flat Modules and Preservation of Injections

A module N is called flat if tensoring with N preserves injective module homomorphisms, meaning that whenever M' → M is injective, M' ⊗_R N → M ⊗_R N remains injective. Every projective module is flat, but flatness is a strictly weaker and more general condition, applicable even to some non-projective modules.

Diagram of Module Property Hierarchy

Consequences for the Behavior of the Tensor Product

When Familiar Identities Hold Unconditionally

Identities such as M ⊗_R R ≅ M (the ring acting as a multiplicative identity for tensoring) and distributivity over direct sums hold for arbitrary modules M, without any restriction to free, projective, or flat cases, since these follow directly from the universal property rather than from special module structure.

When Additional Hypotheses Are Needed

Results asserting that a sequence of modules remains exact after tensoring, or that tensoring commutes with taking submodules, generally require flatness of at least one of the modules involved; without this hypothesis, such results can fail, as illustrated by the torsion collapse examples in the ring context.

Determining Module Properties in Practice

Checking Freeness via Generators and Relations

A module presented by generators and relations, R^m / K for some submodule K of relations, is free precisely when K = 0 for an appropriate choice of generators, providing a concrete, though not always easy, criterion for verifying freeness before attempting to apply the free-module tensor formula.

Recognizing Flatness Through Localization

Over a Noetherian ring, flatness of a finitely generated module can often be checked locally, at each prime ideal of the ring, reducing a global flatness question to a family of local questions that are frequently more tractable using standard commutative algebra techniques.

Broader Significance

Module Context as a Diagnostic Tool

Explicitly identifying the module context, whether M and N are free, projective, flat, or merely arbitrary finitely generated modules, functions as a diagnostic tool for predicting in advance which tensor product identities will hold cleanly and which require extra justification or may fail outright.

Foundation for Homological Algebra

The subtleties introduced by the module context, particularly the failure of tensoring to preserve exactness for non-flat modules, motivate the definition of derived functors such as Tor, which measure precisely the extent to which tensoring fails to be exact, extending the tensor product construction into the broader framework of homological algebra.