15.10.3 Tensor Symmetric Algebra Degree Component

Tensor Symmetric Algebra Degree Component is the individual graded piece Sym^n(V) of the symmetric algebra corresponding to a single fixed rank n, considered as an object of study in its own right rather than as one contributor among many to the full infinite-dimensional algebra Sym(V). Each degree component is a finite-dimensional vector space consisting exactly of the totally symmetric tensors of rank n over V, and the sequence of all such components, taken together across every non-negative integer n, reconstitutes the entire symmetric algebra through the direct sum decomposition already established as its graded structure.

Focusing on a single degree component isolates the part of the theory that is most directly comparable to elementary linear algebra: each Sym^n(V) is finite-dimensional, has an explicit basis, and supports the ordinary tools of vector space theory, such as linear maps, dual spaces, and inner products, in a way that the infinite-dimensional algebra Sym(V) as a whole does not immediately admit without extra care.

Identifying a Degree Component

As a Subspace of the Ambient Tensor Space

The degree-n component Sym^n(V) sits inside the space of all rank-n tensors over V as the subspace of those tensors satisfying the total symmetry equality constraint; it is simultaneously the image of the symmetrization operator applied to rank-n tensors and the eigenspace of that operator corresponding to eigenvalue one, as established through the symmetrization operator's projection role.

As a Piece of the Graded Direct Sum

Within the full symmetric algebra, the degree-n component is singled out by the direct sum notation:

with every other component contributing independently to elements of different degree, and with no overlap between distinct components beyond the shared zero vector.

Dimension and Basis of a Degree Component

Dimension via the Established Formula

The dimension of Sym^n(V), for a d-dimensional V, is given by the binomial coefficient counting multisets of size n from d values, matching the symmetric power dimension relation, and this number is finite for every finite n regardless of whether V itself is finite or infinite-dimensional.

Explicit Basis via Symmetric Powers

A concrete basis for Sym^n(V) is furnished by the symmetric power basis construction, assigning one basis element to every way of distributing n repetitions among the d basis directions of V, giving each degree component an explicit, enumerable basis directly usable for coordinate computations.

Operations Internal to a Single Degree Component

Linear Structure Independent of Other Degrees

Sym^n(V) is closed under addition and scalar multiplication using only elements of that same degree, since these operations never change rank; consequently Sym^n(V) is a full-fledged vector space on its own, and all standard linear-algebraic notions, linear independence, span, dimension, and choice of basis, apply to it directly without reference to any other degree component.

The Bilinear or Multilinear Form Restricted to One Degree

The symmetric multilinear form structure associated with a rank-n symmetric tensor is defined entirely using tensors from the single degree component Sym^n(V), taking n vector arguments and returning a scalar; this construction does not mix information from other degree components, reflecting that the multilinear form perspective is itself a degree-n-specific way of viewing elements of that one component.

Interaction Between Different Degree Components

The Symmetric Product Moves Between Components

While each degree component is an independent vector space, the symmetric product operation is precisely what links different components together, taking an element of Sym^p(V) and an element of Sym^q(V) and producing an element of Sym^{p+q}(V); this cross-component interaction is the only structural connection between separate degree components within the full symmetric algebra.

Degree Components as Building Blocks of the Full Algebra

Because every element of Sym(V) is, by the graded structure, a finite sum of elements each belonging to a single degree component, understanding the full algebra reduces to understanding each degree component individually together with the multiplication rule connecting them, making the degree component the natural unit of analysis for both theoretical study and explicit computation within the symmetric algebra.