14.21 Tensor Map Product Algebraic Role

Tensor Map Product Algebraic Role is the overall function the tensor product of maps serves as a piece of algebraic structure in its own right, namely as a canonical bilinear operation

that is compatible with composition and identities on morphisms, and that specializes, according to the particular spaces involved, into the several distinct algebraic construction roles it plays throughout linear algebra.

The Common Structure Behind the Specializations

One Bilinear Operation, Many Instances

Whether $f$ and $g$ are general linear maps, linear functionals, bilinear-form-inducing maps, or endomorphisms of a single space, the underlying operation $(f,g)\mapsto f\otimes g$ is the same construction; the algebraic role of the tensor product of maps is precisely this single operation being reused, with its behavior in each case following automatically from the general properties established for it, rather than needing to be reproven in each specialized setting.

Functoriality as the Organizing Principle

The properties that make each specialization work, namely the interchange law $(f^{\prime }\circ f)\otimes (g^{\prime }\circ g)=(f^{\prime }\otimes g^{\prime })\circ (f\otimes g)$ and the preservation of identities ${\mathrm{id}}_V\otimes {\mathrm{id}}_W={\mathrm{id}}_{V\otimes W}$, are exactly the axioms of a bifunctor; this functoriality is the organizing principle from which all of the more specific algebraic roles descend as particular consequences.

Summary of the Specializations

The Functional Construction Role

Taking the codomains to be the base field reduces the tensor product of maps to the tensor product of linear functionals, producing bilinear forms and, more generally, decomposable multilinear functionals on a tensor product space, and underlying the canonical identification of the dual of a tensor product with the tensor product of the duals.

The Form Construction Role

Identifying bilinear forms with linear maps into the corresponding dual spaces and applying the tensor product of maps to those linear maps combines a form on each factor into a single form on the combined tensor product space, with symmetric or positive-definite forms on the factors producing a symmetric or positive-definite form on the tensor product.

The Operator Construction Role

Restricting to endomorphisms turns the tensor product of maps into a unital algebra homomorphism $\text{End}\left(V\right)\otimes \text{End}\left(W\right)\to \text{End}(V\otimes W)$, providing a standard method for building operators, commuting families of operators, and representations of product algebras on a combined space directly from data on the individual factors.

What the Algebraic Role Is Not

Not a Coincidence of Any One Setting

None of the three specializations relies on any feature peculiar to functionals, forms, or operators individually; each is a direct instance of the same bilinear, functorial construction applied to a restricted class of maps, so the algebraic role of the tensor product of maps is properly understood as a single unifying phenomenon rather than three unrelated facts that happen to share notation.

Not Limited to These Three Cases

The same underlying operation applies equally to linear maps that are neither functionals, form-inducing maps, nor endomorphisms, for instance general maps between spaces of different dimensions; the three specializations discussed here are the most commonly used instances of the algebraic role precisely because functionals, forms, and operators are themselves the most heavily used classes of linear maps, not because the underlying construction is restricted to them.

Consequence for How the Construction Is Used in Practice

A Single Set of Facts to Remember

Because the algebraic role reduces to one bilinear, functorial operation, any fact proven once at that level of generality, such as the rank formula $\text{rank}(f\otimes g)=\text{rank}\left(f\right)\cdot \text{rank}\left(g\right)$, applies without modification in every specialization, sparing the need to reverify it separately for functionals, forms, and operators.