5.16.3 Tensor Product Formal Relation Imposition

Tensor Product Formal Relation Imposition is the deliberate act, performed during the construction of V ⊗ W, of adding the bilinear identities to the free module F(V × W) as imposed constraints rather than as properties that happen to already hold. This act of imposition is what transforms a structureless collection of formal generators into a space where the tensor operation behaves bilinearly, and understanding it as a process of active construction, rather than passive observation, clarifies why the tensor product must be built by quotienting instead of being discovered as a subset of some pre-existing space.

Imposition versus Discovery

Why the Relations Must Be Imposed

In the free module F(V × W), the pairs (u+v, w), (u, w), and (v, w) are, by the very definition of freeness, linearly independent generators unless explicitly forced to satisfy a relation. Bilinearity does not arise automatically from the structure of V × W as a set; it must be actively written into the space by identifying (u+v, w) with (u, w) + (v, w).

The Imposition Is a Choice of What to Quotient By

Formally, imposition means specifying the submodule R generated by:

and the analogous three families, and then forcing every element of R to become zero by passing to the quotient F(V × W)/R. This is an act of construction: a deliberate collapsing of distinctions that existed in the free module.

The Mechanics of Imposition

Step One: Identify the Desired Behavior

The process begins by identifying, in advance, the algebraic behavior wanted from the canonical map, namely bilinearity, expressed as four specific identities that a bilinear map must satisfy.

Step Two: Encode the Behavior as Vanishing Differences

Each identity is rewritten as a statement that a particular difference of free-module elements must equal zero, converting a desired equation into a specific element to be killed by the quotient.

Step Three: Generate the Full Relation Submodule

All such vanishing differences, ranging over every choice of vectors and scalars, generate the submodule R, and quotienting by R imposes not just the specific instances checked, but every consequence derivable from them by linearity.

Consequences of the Imposition Process

Collapsing of Distinct Free-Module Elements

Before imposition, (u+v, w) and (u,w) + (v,w) are distinct elements of F(V × W), differing by a nonzero element. After imposition, their images in the quotient coincide, illustrating concretely how imposition merges previously distinct objects into a single equivalence class.

The Imposed Relations Determine the Dimension Drop

Imposition reduces the dimension of the ambient space from the (typically infinite) dimension of F(V × W) down to dim(V) · dim(W) in the finite-dimensional case, since the quotient by R eliminates exactly the redundancy among free generators that bilinearity requires to be collapsed.

Diagram of the Imposition Process

Why This Framing Matters

Clarifying the Logical Status of Bilinear Identities

Framing the four bilinear identities as imposed relations rather than as theorems avoids a common conceptual error: bilinearity does not need to be proved for the canonical map from first principles, because it is built into the construction by fiat, holding automatically as a consequence of the quotient having been formed exactly this way.

Parallel to Presentations in Other Algebraic Structures

The same imposition process is the standard method for defining algebraic structures by presentations, such as a group given by generators and relations, or a ring given by generators and imposed polynomial identities; the tensor product's construction via imposed bilinear relations is a specific instance of this general presentation-based methodology, applied to modules.

Extending the Imposition Process

Imposition for Multilinear and Symmetric Structures

The same technique of imposing formal relations on a free module underlies the construction of related structures such as the symmetric power, where relations enforcing v ⊗ w = w ⊗ v are additionally imposed, and the exterior power, where relations enforcing v ⊗ v = 0 are imposed instead, both starting from the same free module and differing only in which additional relations are chosen for imposition.

General Principle for Universal Constructions

More broadly, imposing exactly the relations needed to guarantee a desired universal property, and no more, is the general recipe by which nearly all universal algebraic objects, free groups, free modules, tensor products, symmetric and exterior powers, are constructed from an underlying free or unstructured object.