15.8.5 Tensor Symmetric Product Algebra Role

Tensor Symmetric Product Algebra Role is the function the symmetric product operation performs when it is taken as the multiplication rule of the symmetric algebra, the graded algebraic structure formed by collecting the symmetric tensors of every rank over a vector space into one combined object. In this role, the symmetric product is not viewed merely as a way to combine two individual tensors but as the operation that gives the entire graded collection of symmetric tensors the structure of a commutative, associative, unital algebra, on par with familiar algebraic structures such as polynomial rings.

Recognizing this algebra role explains why the properties established individually for the symmetric product, commutativity, associativity, and degree addition, are not a loose collection of separate facts but exactly the axioms required for an operation to serve as multiplication in a graded algebra; the symmetric product satisfies all of them simultaneously, and it is this simultaneous satisfaction that qualifies it for the algebra role.

The Graded Vector Space Underlying the Algebra

Direct Sum of Symmetric Subspaces

The symmetric algebra on a vector space V is built as the direct sum of the rank-n symmetric subspaces for every non-negative integer n, with rank zero contributing the scalars and rank one contributing V itself:

where Sym^n(V) denotes the rank-n symmetric subspace, and the direct sum symbol indicates that an element of Sym(V) is a finite sum of pieces, one from each of finitely many graded components.

Grading Compatible With the Product

Elements of Sym^p(V) and Sym^q(V) combine under the symmetric product to land in Sym^{p+q}(V), exactly the compatibility condition required of a grading, established previously through the degree addition rule; this compatibility is what allows the direct sum Sym(V) to carry a single, well-defined multiplication rather than requiring separate multiplication rules for each pair of graded pieces.

Algebra Axioms Satisfied by the Symmetric Product

Associativity and Commutativity as Algebra Axioms

An associative, commutative algebra requires its multiplication to be associative and commutative in addition to being bilinear over the base field; the symmetric product satisfies associativity and commutative behavior exactly as established, and it satisfies bilinearity by construction, since it is built from the bilinear ordinary tensor product followed by the linear symmetrization operator.

The Unit Element

The scalar 1, sitting in the rank-zero graded piece Sym^0(V), acts as a multiplicative identity for the symmetric product: multiplying any symmetric tensor T by the scalar 1 via the symmetric product simply returns T unchanged, since the symmetric product of a rank-zero tensor with any other tensor reduces to ordinary scalar multiplication, satisfying the requirement that a unital algebra possess such an identity element.

The Algebra Role in Relation to Polynomial Rings

Isomorphism With Polynomials

When V is finite-dimensional with basis e_1 through e_d, the symmetric algebra Sym(V) is isomorphic, as an algebra, to the polynomial ring in d variables, with the basis vector e_k corresponding to the k-th polynomial variable and the symmetric product corresponding to ordinary polynomial multiplication; under this isomorphism, a symmetric tensor of rank n corresponds to a homogeneous polynomial of degree n, consistent with the associated homogeneous polynomial correspondence established through the quadratic and multilinear polarization relations.

Practical Significance of the Isomorphism

This isomorphism means that computations involving symmetric tensors and their symmetric products can be carried out equivalently as computations with polynomials and ordinary polynomial multiplication, providing a concrete, familiar computational model for what would otherwise require tracking permutation sums and normalization factors explicitly at the level of tensor components.

Distinguishing the Algebra Role From the Individual Product Operation

Operation Versus Structure

Where the symmetric product operation, considered on its own, is a rule for combining two specific tensors, the algebra role is the larger claim that this rule, applied consistently across every pair of graded pieces, endows the entire infinite direct sum of symmetric subspaces with the complete structure of an algebra; the algebra role is therefore a statement about the operation's behavior in aggregate across all ranks simultaneously, rather than about any single application of the product.

Foundation for Further Algebraic Constructions

Once the algebra role is established, further constructions available to any commutative algebra, such as ideals, quotients, and algebra homomorphisms, become available for the symmetric algebra on V as well, extending the reach of symmetric tensor theory beyond the study of individual tensors and their products into the broader landscape of commutative algebra.