5.24.2 Tensor Product Factor Notation

Tensor Product Factor Notation is the set of conventions for labeling, numbering, and referring to the individual factors (or "slots" or "legs") of a multi-factor tensor product V₁ ⊗ V₂ ⊗ ... ⊗ Vₙ, including subscripted space labels, positional leg notation used to specify which factor a map or index refers to, and shorthand for identity maps applied to all factors except one selected position. Because a multi-factor tensor product can have many structurally similar or even identical factors, factor notation exists specifically to disambiguate which factor a given operation, index, or transformation is meant to act on.

Labeling Factors by Subscript

Numbering the Spaces

The most basic factor notation numbers the spaces themselves, V₁, V₂, ..., Vₙ, with the subscript identifying position in the ordered tensor product; this numbering is essential once factors are not assumed identical, since V₁ ⊗ V₂ and V₂ ⊗ V₁ are related only by the symmetry isomorphism, not by outright equality.

Repeated Identical Factors

When the same space V is tensored with itself n times, position labels are still often retained on indices even though the spaces are identical, writing V^{⊗n} for the space but distinguishing the individual tensor "legs" as leg 1, leg 2, and so on when referring to operations acting on a specific one.

Leg Notation for Selecting a Factor

Referring to "the k-th Leg"

Physics-influenced notation refers to the k-th tensor factor as the k-th "leg" of the tensor product, especially when describing an operator that acts only on that leg; phrases such as "the operator acts on the second leg" correspond precisely to the factor-selective map id ⊗ f ⊗ id ⊗ ... ⊗ id with f placed in the second position.

Subscript Notation for Leg-Specific Operators

A common compact notation writes f_{(k)} for the operator that applies f to the k-th leg of V^{⊗n} and the identity elsewhere, so that f_{(k)} = id^{⊗(k-1)} ⊗ f ⊗ id^{⊗(n-k)}, packaging the full factor-selective construction into a single subscripted symbol.

Diagram of Leg Labeling

Notation for Grouped and Ranges of Factors

Referring to a Contiguous Block of Factors

When an operation acts on several consecutive legs at once, notation such as V_{[k,l]} or V_k ⊗ V_{k+1} ⊗ ... ⊗ V_l refers to the subproduct of factors from position k to position l, useful for describing operators or subsystems spanning more than one but not all of the tensor legs.

Complement Notation

The remaining factors outside a selected block are sometimes denoted with a complement symbol, such as V_{[k,l]^c}, particularly in contexts (such as describing reduced states of a subsystem) where the distinction between a selected block of legs and everything else is the primary object of interest.

Notation Distinguishing Factor Type

Marking Dual Factors

When some factors of a tensor product come from a dual space, factor notation often marks this with an asterisk or star, as in V ⊗ V* ⊗ W, so that the reader can identify at a glance which legs are "vector-like" and which are "covector-like," a distinction that governs how each leg transforms under change of basis.

Naming Factors by Role Rather than Number

In applied settings, factors are sometimes named by role instead of position — for instance, a "position leg" and a "spin leg" in a physical state space — trading the generality of pure positional numbering for notation that is more immediately meaningful in the specific application at hand.

Significance of Factor Notation

Disambiguating Otherwise Identical-Looking Factors

Factor notation exists precisely because a tensor product's factors can be identical as vector spaces while still needing to be treated as distinct positions for the purposes of applying operators, taking components, or describing subsystems; without clear factor labeling, expressions involving several tensor legs quickly become ambiguous.

Enabling Precise Description of Local Operations

By providing standard ways to name individual legs, contiguous blocks of legs, and their complements, factor notation supports the precise description of operations that act locally on part of a composite tensor product system, a need that arises constantly in multilinear algebra, quantum mechanics, and tensor-based computational methods.