5.17.4 Tensor Product Field Linearity Requirement

Tensor Product Field Linearity Requirement is the condition that the induced linear map produced by the universal property of the tensor product must be linear specifically with respect to the same field F over which V, W, and the target space Z are all defined, ruling out maps that are merely additive or that are linear over a proper subfield of F. This requirement is easy to overlook because additivity and F-linearity coincide whenever F is a prime field such as ℚ or a finite field of prime order, but the distinction becomes essential whenever F has nontrivial subfields, since a map can fail to be F-linear while still being linear over a smaller field.

Stating the Requirement Precisely

Linearity Relative to the Correct Field

Given the universal property of V ⊗_F W, the map f: V ⊗_F W → Z guaranteed by the property must satisfy, for every scalar c in F specifically:

for all t ∈ V ⊗_F W, where c ranges over the full field F, not merely over a subfield or the prime subfield.

Why This Cannot Be Weakened to a Subfield

If F contains a proper subfield F₀, an additive map that is F₀-linear but not F-linear would satisfy the additivity conditions but fail the full homogeneity condition for scalars in F \ F₀, and such a map would not be a valid factorization of a genuinely F-bilinear map through V ⊗_F W.

Illustration with the Complex Numbers

Complex Conjugation as a Non-F-Linear Map

Complex conjugation z ↦ z̄ on ℂ, viewed as a self-map, is additive and ℝ-linear, since it commutes with multiplication by real scalars, but it is not ℂ-linear, since:

This example demonstrates concretely how a map can respect additivity and even scalar multiplication by a subfield, here ℝ ⊂ ℂ, while still violating the field linearity requirement relative to the full field ℂ.

Consequence for Tensor Products over ℂ

Because of this phenomenon, the universal property of V ⊗_ℂ W guarantees only maps that are honestly ℂ-linear; conjugate-linear maps, such as those needed to define Hermitian sesquilinear forms, require a modified construction and cannot be obtained directly from the ordinary complex tensor product's universal property.

Verifying the Requirement in the Construction

Where the Requirement Enters the Proof

In deriving the induced linear map f from a bilinear map β: V × W → Z, the proof that f is F-linear (and not merely additive) relies on the homogeneity relations already imposed in constructing V ⊗_F W, specifically the identity (cv) ⊗ w = c(v ⊗ w) for c ranging over all of F.

Homogeneity Baked in from the Start

Because the relation submodule R used to define V ⊗_F W is generated using scalars from the entirety of F, the resulting tensor product automatically enforces full F-linearity in any map descending from it, making the field linearity requirement a built-in consequence of the construction rather than an additional hypothesis to verify separately.

Diagram Contrasting Additivity and Field Linearity

Practical Implications

Checking Field Linearity in Applied Settings

When defining a candidate linear map on a tensor product by an explicit formula, it is necessary to verify homogeneity against the full scalar field, not merely against a convenient subfield such as the integers or rationals, since an oversight here can silently produce a map that fails to be a legitimate factorization under the universal property.

Motivating Alternative Constructions for Non-F-Linear Behavior

Situations calling for maps that are additive but not fully F-linear, such as conjugate-linear maps over ℂ, require dedicated constructions, such as the conjugate tensor product or explicit sesquilinear form machinery, precisely because the ordinary tensor product's universal property is calibrated to produce only fully F-linear factorizations.

Broader Significance

Clarifying the Scope of the Universal Property

Recognizing the field linearity requirement clarifies exactly what kind of map the universal property of the tensor product promises: not just any additive homomorphism compatible with the bilinear map, but specifically one respecting scalar multiplication by every element of the field over which the tensor product was formed.

Relevance to Galois Theory and Field Extensions

This requirement becomes especially relevant when the field F has a rich subfield structure, as studied in Galois theory, where the gap between additive maps, subfield-linear maps, and fully F-linear maps corresponds to meaningful distinctions in how field automorphisms interact with vector space structures built over F.