14.14.5 Tensor Map Product Structure Transport

Tensor Map Product Structure Transport explains how tensor maps transfer algebraic structures across product spaces in multilinear algebra.

Tensor Map Product Structure Transport is the process by which algebraic properties and structural features present in the individual factor maps, such as invertibility, being an isomorphism, or preserving a particular substructure, carry over automatically to the combined operator produced by their tensor product, as a direct consequence of the functorial behavior of the construction.

The General Transport Principle

Structure Carried Through the Construction

Because the tensor product construction preserves identities and composition, any property of the factor maps that can be phrased purely in terms of identities and composition is automatically transported to the combined operator, without requiring a separate proof for the tensor product case.

P (T_{1}), P (T_{2}) \Rightarrow P (T_{1} \otimes T_{2})

Why Functoriality Enables Transport

Functoriality guarantees that composing and inverting behave predictably under the tensor product, so any structural property defined using only composition, identities, and inverses transfers cleanly from the factor maps to the combined operator.

Transport of Invertibility

Invertible Factors Produce an Invertible Combination

If both factor maps are invertible, the combined operator is invertible as well, with its inverse given directly by the tensor product of the two individual inverses, since composing the combined operator with this candidate inverse reduces, factor by factor, to composing each factor map with its own inverse.

(T_{1} \otimes T_{2})^{- 1} = T_{1}^{- 1} \otimes T_{2}^{- 1}

Isomorphisms Transport as Isomorphisms

Since an isomorphism is precisely an invertible linear map, this same transport shows that the tensor product of two isomorphisms is again an isomorphism between the corresponding tensor product spaces.

Diagram of Structure Transport

Properties Flowing From Factors to the Combination

The diagram below depicts a property present in each individual factor map flowing through the tensor product construction to appear in the resulting combined operator.

Transport of Idempotence and Nilpotence

Idempotent Factors

If each factor map satisfies the property of being idempotent, meaning composing it with itself returns the same map, the combined operator is also idempotent, since composing the combined operator with itself reduces to composing each factor map with itself.

(T_{1} \otimes T_{2}) \circ (T_{1} \otimes T_{2}) = T_{1} \otimes T_{2}

Nilpotent Factors

If at least one factor map is nilpotent, meaning some finite composition of it with itself produces the zero map, the combined operator inherits a related nilpotent-like behavior in that factor's direction, since repeated composition of the combined operator eventually forces that factor's component to vanish.

Limits of the Transport Principle

Properties Not Phrased in Terms of Composition Alone

Not every property transports automatically; a property that depends on additional structure beyond composition, identities, and inverses, such as a specific numerical bound on entries or a property tied to a particular basis, requires separate verification and does not follow purely from functoriality.

Necessity of the Converse Direction

The transport principle states only that properties of the factors imply the corresponding property of the combination; it does not by itself guarantee the converse, that a property observed in the combined operator forces the same property onto each individual factor, which must be examined separately for each specific property under consideration.

Extension to Several Factors

Transport Across Many Simultaneous Factors

When the tensor product involves three or more factor spaces, the same transport principle applies: any property phrased in terms of composition, identities, and inverses that holds for every individual factor map is inherited by the combined operator built from all of them.

Partial Transport With Mixed Factors

If only some of the factor maps satisfy a given property while others do not, the combined operator generally inherits only a partial or weakened version of that property, restricted to the components corresponding to the factors that do satisfy it, with the remaining factors contributing whatever structure their own maps happen to have.