15.10.1 Tensor Symmetric Algebra Graded Structure

The tensor symmetric algebra's graded structure organizes multilinear forms into graded components, enabling algebraic operations while preserving symmetry and degree.

Tensor Symmetric Algebra Graded Structure is the organization of the symmetric algebra Sym(V) into a direct sum of subspaces indexed by non-negative integers, one for each possible rank of a totally symmetric tensor, together with the compatibility rule that multiplying an element of the degree-p subspace by an element of the degree-q subspace, via the symmetric product, always produces an element lying in the degree-(p+q) subspace. This grading is the same graded decomposition already identified when introducing the symmetric product algebra role, examined here specifically as a structure in its own right, with attention to the properties a grading must satisfy and the consequences those properties carry for working within Sym(V).

The graded structure is what allows Sym(V) to be studied one degree at a time, since every element of Sym(V) decomposes uniquely into a finite sum of homogeneous pieces, each lying entirely within a single graded subspace, and questions about the whole algebra can frequently be answered by understanding how each individual graded piece behaves and how the multiplication moves between them.

Definition of the Grading

Direct Sum Decomposition

The symmetric algebra decomposes as:

Sym (V) = ⨁_{n = 0}^{\infty} {Sym}^{n} (V)

meaning every element of Sym(V) can be written uniquely as a finite sum of elements, each drawn from a single Sym^n(V), with no element belonging to more than one graded piece except the zero element, which belongs to all of them trivially.

Homogeneous Elements

An element lying entirely within a single Sym^n(V) is called homogeneous of degree n; symmetric powers v^{odot n} are prototypical homogeneous elements, while a general element of Sym(V), such as a sum of a scalar and a rank-two symmetric tensor, is not homogeneous but decomposes into homogeneous pieces of degree zero and degree two respectively.

Compatibility of the Grading With Multiplication

The Grading Axiom

The defining compatibility condition of a graded algebra requires that the product of a degree-p element and a degree-q element land in the degree-(p+q) piece:

{Sym}^{p} (V) ⊙ {Sym}^{q} (V) \subseteq {Sym}^{p + q} (V)

which is exactly the degree addition rule established for the symmetric product, restated here as the grading compatibility axiom rather than as a standalone fact about ranks.

Multiplication of Non-Homogeneous Elements

Multiplying two general, non-homogeneous elements of Sym(V) proceeds by distributing the symmetric product over the homogeneous pieces of each factor, using bilinearity, and collecting the results by matching total degree; the compatibility axiom guarantees this collection is well-defined, since each pairing of a degree-p piece from one factor with a degree-q piece from the other contributes unambiguously to the degree-(p+q) piece of the product.

Structural Consequences of the Grading

Uniqueness of Homogeneous Decomposition

Because the direct sum decomposition is unique, any equation between elements of Sym(V) can be checked degree by degree: two elements are equal if and only if their homogeneous components of every degree agree, reducing questions about the full algebra to a sequence of questions about individual finite-dimensional graded pieces.

Finite-Dimensionality of Each Graded Piece

While Sym(V) itself is infinite-dimensional whenever V is nonzero, each individual graded piece Sym^n(V) is finite-dimensional, with dimension given by the symmetric power dimension relation, so the graded structure decomposes an infinite-dimensional algebra into an infinite sequence of manageable, finite-dimensional pieces linked together by the multiplication rule.

The Grading Under the Polynomial Isomorphism

Degree of Polynomials Matches Degree of Tensors

Under the isomorphism between Sym(V) and the polynomial ring in the coordinates of V, the grading by tensor rank corresponds exactly to the grading of polynomials by total degree, with Sym^n(V) mapping onto the space of homogeneous polynomials of degree n; this matching confirms that the graded structure of the symmetric algebra is not an artificial imposition but the same natural grading familiar from ordinary polynomial algebra.

Grading as the Organizing Principle Throughout Symmetric Tensor Theory

The graded structure ties together every construction encountered in the study of symmetric tensors, the symmetric product's degree addition, the symmetric power's degree, and the dimension relation for each graded piece, into a single coherent framework, confirming that these individually established facts are all specific manifestations of one underlying grading on the symmetric algebra as a whole.