5.15.4 Tensor Product Quotient Relation

Tensor Product Quotient Relation is the algebraic mechanism, expressed as the process of taking a quotient module, by which the tensor product V ⊗ W is realized concretely as F(V × W) / R, the free module generated by all pairs (v, w) divided out by the submodule R encoding the bilinear relations. This relation describes not one of the four bilinear identities individually, but the overarching quotient operation that binds them together into a single algebraic construction, transforming an unstructured free module into the tensor product space.

The Quotient Construction in Full

Step One: Forming the Free Module

The construction begins with the free module F(V × W) over the field F, generated freely by the set V × W, meaning every pair (v, w) is treated as an independent basis element with no algebraic relations assumed among them.

Step Two: Forming the Relation Submodule

The submodule R ⊆ F(V × W) is generated by all elements arising from the four bilinear relation families:

Step Three: Forming the Quotient

The tensor product is then defined as the quotient module:

with v ⊗ w denoting the image of (v, w) under the natural quotient map.

Properties Inherited from the General Theory of Quotient Modules

Well-Defined Module Structure

Since R is a submodule, the quotient F(V × W) / R automatically inherits a well-defined addition and scalar multiplication from F(V × W), given by [x] + [y] = [x + y] and c[x] = [cx], where brackets denote equivalence classes. No separate verification of these operations is needed beyond confirming R is indeed a submodule.

The Quotient Map as a Surjective Homomorphism

The natural quotient map π: F(V × W) → F(V × W)/R is a surjective module homomorphism with kernel exactly R. Restricting π to the generating set V × W (identified with the corresponding basis elements of F(V × W)) yields the canonical bilinear map ⊗: V × W → V ⊗ W.

Universal Property of Quotients Applied to This Case

Factoring Homomorphisms Through the Quotient

A general fact about quotient modules states that any module homomorphism out of F(V × W) whose kernel contains R factors uniquely through F(V × W)/R. Applying this fact to a bilinear map β: V × W → Z, first extended to a linear map F(V × W) → Z by freeness, and then observing that this extension vanishes on R precisely because β is bilinear, immediately yields the universal factorization property of the tensor product.

The Quotient Relation as the Source of the Universal Property

This shows that the universal property of the tensor product is not an independent axiom but a direct consequence of the general universal property of quotient modules, applied specifically to the relation submodule R built from the bilinear identities.

Diagram of the Quotient Process

Practical Implications of the Quotient Relation

Interpreting Zero in the Tensor Product

An element of F(V × W) maps to zero in V ⊗ W precisely when it lies in R, meaning it can be written as a finite combination of the bilinear relation generators; recognizing this membership is the standard method for proving that two seemingly different formal expressions represent the same tensor.

Model Independence Guaranteed by the Quotient Description

Because the quotient relation is defined purely in terms of the abstract submodule R, any alternative construction of the tensor product, such as one built from bases or from a categorical colimit, must produce a module isomorphic to this quotient, provided it satisfies the same universal property, reinforcing that the specific quotient construction is one valid model among several equivalent ones.