15.10 Tensor Symmetric Algebra Relation

Tensor Symmetric Algebra Relation is the overarching set of correspondences linking the symmetric algebra Sym(V), built from totally symmetric tensors over a vector space V, to the other algebraic structures it can be identified with: the graded direct sum of symmetric subspaces indexed by rank, the quotient of the full tensor algebra by the commutator ideal, and, when V is finite-dimensional, the polynomial ring in the coordinates of V. Each of these identifications describes the same underlying object from a different angle, and together they establish that Sym(V) is not merely a convenient container for symmetric tensors but a genuinely well-defined, richly structured algebra reachable by several independent, mutually consistent routes.

Understanding these relations collectively matters because each route offers different advantages: the graded structure clarifies how ranks interact under multiplication, the quotient construction gives an intrinsic, basis-free definition rooted in the general theory of ideals, and the polynomial correspondence supplies a concrete computational model. The relation between all three is what allows results proven in one framework to be transferred immediately to the others.

The Three Interlocking Descriptions

Graded Direct Sum Description

As established through the graded structure of Sym(V), the algebra decomposes as a direct sum of finite-dimensional pieces Sym^n(V), one for each rank n, with the symmetric product respecting this grading by sending a degree-p element and a degree-q element to a degree-(p+q) element; this description emphasizes the rank-by-rank organization of symmetric tensors.

Quotient of the Tensor Algebra Description

As established through the symmetric algebra product relation, Sym(V) is isomorphic to the quotient of the full tensor algebra T(V) by the two-sided ideal generated by commutators u tensor v minus v tensor u; this description emphasizes the algebraic mechanism, imposing commutativity, that produces Sym(V) starting from the more general, non-commutative tensor algebra.

Polynomial Ring Description

When V is finite-dimensional with a chosen basis, Sym(V) is isomorphic as a graded algebra to the polynomial ring in as many variables as the dimension of V, with the grading by tensor rank matching the grading of polynomials by total degree; this description emphasizes computational tractability, translating tensor operations into ordinary polynomial arithmetic.

Consistency Across the Descriptions

Matching Multiplications

All three descriptions agree on what the multiplication operation does: the symmetric product of two symmetric tensors, the induced product of two equivalence classes in the tensor algebra quotient, and the ordinary product of two polynomials under the coordinate correspondence, all produce results that match under the respective isomorphisms linking the three pictures together.

Matching Gradings

The rank grading of symmetric tensors, the grading inherited by the quotient from the tensor algebra's own grading by rank, and the total-degree grading of polynomials all correspond to one another exactly, so an element homogeneous of a given rank in one description remains homogeneous of the same degree when translated into either of the other two descriptions.

Why Multiple Descriptions Are Useful

Choosing the Right Tool for a Given Question

Questions about dimension counts and independent components are often most transparent in the graded, component-based description; questions about the algebraic naturality of the construction, independent of any chosen basis, are best addressed through the quotient description; and questions requiring explicit computation, such as expanding a product or evaluating a specific symmetric tensor, are typically easiest to carry out using the polynomial description.

Cross-Validation of Results

Because the three descriptions are provably equivalent, a result derived in one framework, such as the dimension formula derived from counting monomials in the polynomial picture, automatically transfers as a valid statement about the graded piece Sym^n(V) in the tensor picture, and vice versa, providing a built-in means of cross-checking calculations performed in any one of the three settings.

Placement Within the Broader Theory of Symmetric Tensors

Synthesis of Preceding Constructions

The symmetric algebra relation draws together the symmetrization operator, the symmetric product operation, and the symmetric power structure into a single coherent algebraic object, showing that these individually introduced constructions are not independent topics but successive layers building toward the unified structure of Sym(V).

Foundation for Further Study

Recognizing Sym(V) simultaneously as a graded algebra, a quotient algebra, and a polynomial ring establishes the vocabulary and structural results needed to study further topics built on top of symmetric tensors, such as symmetric tensor decompositions, invariant theory of symmetric forms, and the representation-theoretic role of the symmetric subspace within the broader tensor space associated to a vector space.