5.22.5 Tensor Product Symmetric Algebra Preparation

Tensor Product Symmetric Algebra Preparation builds symmetric algebras from tensor products, key for advanced algebraic structures and representation theory.

Tensor Product Symmetric Algebra Preparation is the body of results, built from the symmetry structure of the tensor product, that sets up the passage from tensor powers V^{⊗n} to the symmetric algebra Sym(V) = ⊕ₙ Symⁿ(V), by identifying Symⁿ(V) as the subspace (or quotient) of V^{⊗n} fixed by the full symmetric group action, and by verifying that the multiplication this induces is well-defined, associative, and commutative. This preparation is the necessary link between the purely tensorial theory of V^{⊗n} and the polynomial-like algebra structure of Sym(V), without which the symmetric algebra would need to be constructed and justified entirely from scratch.

From Symmetric Group Action to Symmetric Tensors

The Averaging Projection

Given the action of the symmetric group Sₙ on V^{⊗n} by permuting tensor factors, σ · (v₁ ⊗ ... ⊗ vₙ) = v_{σ⁻¹(1)} ⊗ ... ⊗ v_{σ⁻¹(n)}, the symmetrization operator averages over the whole group:

Sym (v_{1} \otimes \dots \otimes v_{n}) = \frac{1}{n!} \sum_{σ \in S_{n}} v_{σ (1)} \otimes \dots \otimes v_{σ (n)}

producing an element fixed by every permutation, and the image of this averaging operator, over all of V^{⊗n}, is exactly the symmetric power Symⁿ(V).

Symmetric Tensors as an Eigenspace

Just as the swap map splits V ⊗ V into +1 and −1 eigenspaces, the full Sₙ action splits V^{⊗n} into invariant subspaces for each of its irreducible representations, and Symⁿ(V) is precisely the subspace on which every group element acts as +1 — the full-symmetry eigenspace generalizing the n = 2 case.

Well-Definedness of the Induced Multiplication

Defining the Product on Symmetric Powers

The multiplication in Sym(V) sends a symmetric tensor in Symᵐ(V) and one in Symⁿ(V) to a symmetric tensor in Sym^{m+n}(V) by tensoring the two and then re-symmetrizing:

s \cdot t = Sym (s \otimes t)

Why Re-Symmetrization Is Necessary

Even if s and t are individually symmetric, their tensor product s ⊗ t inside V^{⊗(m+n)} need not be fixed by the larger group S_{m+n}, since permutations mixing the first m and last n factors are not automatically respected; re-applying the symmetrization operator restores full symmetry and produces a genuine element of Sym^{m+n}(V), which is what makes the product well-defined as a map into the symmetric algebra rather than merely into the ambient tensor power.

Diagram of the Preparation Pipeline

Associativity and Commutativity of the Induced Product

Associativity Inherited from the Tensor Product

Because tensoring is associative and symmetrization commutes appropriately with re-grouping, the induced multiplication on Sym(V) is associative, (r · s) · t = r · (s · t), inherited directly from the associativity structure already established for the underlying tensor product.

Commutativity from the Symmetric Group Action

The product is also commutative, s · t = t · s, since symmetrizing s ⊗ t and symmetrizing t ⊗ s produce the same result — both equal to the full average over all permutations of the combined list of vectors, regardless of the order s and t were originally tensored in, reflecting the underlying symmetry structure directly.

Consequence: Symmetric Powers as Polynomial-Like Objects

Identification with Homogeneous Polynomials

When V has a basis {eᵢ}, Symⁿ(V) is spanned by symmetrized products eᵢ₁ · eᵢ₂ ··· eᵢₙ (with repetition and without regard to order), matching exactly the monomials of degree n in the "variables" eᵢ, so Sym(V) recovers the polynomial algebra F[e₁, ..., e_m] once a basis of V is fixed.

Significance of Symmetric Algebra Preparation

Justifying the Symmetric Algebra Construction

By grounding Symⁿ(V) in the eigenspace structure of the Sₙ action on V^{⊗n}, and by verifying associativity and commutativity from properties already established for tensor products, this preparation shows the symmetric algebra is not an independent construction requiring separate foundational work, but a direct consequence of tensor product symmetry structure.

Enabling Passage to Polynomial and Geometric Applications

This preparation is the necessary bridge to treating Sym(V) as the coordinate ring of polynomial functions on the dual space V*, a role central to algebraic geometry, invariant theory, and the representation theory of the general linear group, all of which rely on the symmetric algebra being correctly derived from the tensor algebra.