15.3.5 Tensor Symmetric Algebraic Role

The tensor symmetric algebraic role captures symmetric multilinear relationships, key in algebraic structures and invariant representations.

Tensor Symmetric Algebraic Role is the function that symmetric tensors serve within the larger tensor algebra, acting not merely as a subspace singled out by a component condition but as a graded algebra in its own right, equipped with a product, a universal property, and a direct correspondence to polynomial rings. This role positions symmetric tensors as the structure obtained from the full tensor algebra once the noncommutativity of the tensor product is deliberately discarded.

The Symmetric Algebra as a Quotient

Construction from the Tensor Algebra

The full tensor algebra on a vector space ( V ) is the direct sum of all tensor powers:

T (V) = \oplus_{r = 0}^{\infty} V^{\otimes r}

The symmetric algebra is obtained from this by quotienting out the two-sided ideal generated by all elements of the form ( v \otimes w - w \otimes v ), which forces the tensor product to become commutative:

Sym (V) = T (V) / ⟨ v \otimes w - w \otimes v ⟩

Grading by Rank

The quotient inherits a grading by rank inherited from the tensor algebra, and each graded piece of the symmetric algebra is exactly the symmetric rank area of that rank:

Sym (V) = \oplus_{r = 0}^{\infty} {Sym}^{r} (V)

so the entire algebra assembles the individually counted symmetric rank areas into one graded commutative structure.

The Symmetric Product

Multiplication Rule

The algebraic role of symmetric tensors includes a product operation, the symmetric product, denoted with a dot, that combines a rank-( p ) symmetric tensor and a rank-( q ) symmetric tensor into a rank-( (p+q) ) symmetric tensor by symmetrizing their tensor product:

S \cdot R = Sym (S \otimes R)

where the symmetrization operator on the right averages over all permutations of the combined index list, guaranteeing that the result again satisfies slot permutation invariance.

Commutativity of the Product

Unlike the ordinary tensor product, the symmetric product is commutative:

S \cdot R = R \cdot S

which is precisely the algebraic consequence of quotienting by the commutator ideal, and it is this commutativity that gives the symmetric algebra its polynomial-ring character.

Correspondence with Polynomial Rings

Isomorphism to Polynomials

When ( V ) has dimension ( n ) with basis ( e_1, \ldots, e_n ), the symmetric algebra on ( V ) is isomorphic to the polynomial ring in ( n ) variables:

Sym (V) ≅ k [x_{1}, \dots, x_{n}]

under which each basis vector ( e_i ) maps to the variable ( x_i ), each graded piece ( \operatorname{Sym}^r(V) ) maps onto the homogeneous polynomials of degree ( r ), and the symmetric product maps onto ordinary polynomial multiplication.

Universal Property

Characterizing Property

The symmetric algebra is characterized by a universal property: any linear map from ( V ) into a commutative algebra ( A ) extends uniquely to an algebra homomorphism from ( \operatorname{Sym}(V) ) into ( A ). This property positions the symmetric algebra as the most general commutative algebra that can be built freely from ( V ), with no relations imposed beyond commutativity itself.

Role in Distinguishing Symmetric from Exterior Structure

The algebraic role of the symmetric algebra stands in direct contrast to the exterior algebra, which is obtained from the same tensor algebra by quotienting a different ideal, the one generated by ( v \otimes v ). Where the exterior algebra enforces antisymmetry and vanishing of repeated arguments, the symmetric algebra enforces commutativity and permits repeated arguments freely, and together the two constructions decompose the general tensor algebra into complementary algebraic behaviors.

Summary of the Role Within Tensor Algebra

Unifying the Structural Descriptions

The algebraic role ties together every other structural aspect of symmetric tensors: the symmetric rank area gives the dimension of each graded piece, the constraint pattern and index exchange operation describe how elements within a graded piece are represented, and the symmetric product supplies the operation that lets these graded pieces interact, all organized under the single umbrella of a graded commutative algebra isomorphic to a polynomial ring.