5.17 Tensor Product Field Context

Tensor Product Field Context is the general framework specifying which field of scalars underlies a given tensor product construction, together with the consequences that this choice of field carries for the resulting space's properties, computability, and available additional structure. Rather than treating the tensor product as a single fixed object, this context recognizes that V ⊗ W is always relative to an ambient field F, and that switching the field, while preserving the same abstract construction recipe, can change which identities hold, which additional structures are available, and how tensors are best represented in practice.

The Field as a Parameter of the Construction

Restating the Construction with an Explicit Field

For any field F and vector spaces V, W over F, the tensor product is built as before:

with the subscript F on the tensor symbol made explicit whenever more than one field might plausibly be relevant, to avoid ambiguity about which scalar field governs the homogeneity relations.

The Field Determines the Relation Submodule

Because the relation submodule R is generated using scalars drawn from F, changing the field to a different F' produces, in general, a genuinely different submodule and hence a different tensor product, even when V and W are given the "same" underlying additive group structure but reinterpreted as vector spaces over F'.

Common Field Contexts and Their Distinguishing Features

The Rational Field Context

Over F = ℚ, tensor products of finite-dimensional rational vector spaces behave essentially like the real case but without any compatible notion of continuity or completeness, making this context primarily of interest in algebraic number theory and exact symbolic computation rather than analysis.

The Real Field Context

Over F = ℝ, tensor products support compatible inner products and orderings, as described in the dedicated treatment of the real field context, making this the standard setting for tensors used in physics and geometry.

The Complex Field Context

Over F = ℂ, an additional subtlety arises: two distinct tensor-like constructions are possible, the ordinary bilinear tensor product V ⊗_ℂ W, and a conjugate-linear variant used to build Hermitian sesquilinear forms, since complex vector spaces carry a nontrivial conjugation operation absent in the real case.

Finite Field Contexts

Over a finite field F = 𝔽_q, tensor products of finite-dimensional vector spaces remain finite-dimensional with dimension dim(V) · dim(W) computed exactly as usual, but the total number of elements grows as q^(dim V · dim W), a detail relevant in coding theory and finite geometry where tensor products of finite vector spaces are used to construct combinatorial structures.

Diagram Comparing Field Contexts

Consequences of Fixing a Field Context

Well-Definedness of Dimension Formulas

Regardless of which field context is chosen, the dimension formula dim(V ⊗_F W) = dim(V) · dim(W) holds uniformly, as long as V and W are finite-dimensional over the same F; this uniformity is one of the reasons the tensor product construction is described in field-independent generality before specializing.

Non-Transferability of Extra Structure Across Fields

Additional structure available in one field context, such as the inner product available over ℝ, does not automatically transfer to a tensor product formed over a different field; each field context must be examined separately to determine what compatible structures, if any, the tensor product inherits.

Changing Field Context: Extension of Scalars

Moving to a Larger Field

When it is necessary to work with a tensor product over a field F' larger than the field F over which V and W were originally defined, the standard technique is extension of scalars, which first enlarges V and W to vector spaces over F' before forming the tensor product in the new field context.

Distinguishing Extension of Scalars from a Direct Field Change

Extension of scalars is a distinct operation from simply reinterpreting the same abstract vector space under a different field, since the former systematically enlarges the space (typically increasing its dimension by a factor equal to [F':F]), while the latter is often not even possible if the original vector space structure is not compatible with the new field's arithmetic.

Why Field Context Matters

Preventing Category Errors in Comparing Tensor Products

Explicit attention to field context prevents a common source of confusion in which two tensor products constructed relative to different fields are mistakenly compared or identified, despite having distinct dimension formulas, distinct relation submodules, and generally no canonical relationship between them.

Foundation for Module-Theoretic Generalizations

Recognizing the field as an explicit parameter of the tensor product construction is also the natural stepping stone toward the more general theory of tensor products of modules over an arbitrary ring, where the "field context" is replaced by a "ring context," and additional subtleties, such as the ring's commutativity, become relevant to the construction.