15.1.1 Tensor Symmetric Structure Scope

Tensor Symmetric Structure Scope is the delineation of which structural facts about the assembled collection of symmetric powers, namely its grading by degree, its universal property, and its generation in degree one, are addressed within this branch, as distinct from the deeper commutative-algebra structure, such as ideal theory and homological invariants, that is explicitly left out.

What Falls Within Scope

The Graded Structure

Within scope is the observation that the direct sum $\underset{k\ge 0}{⨁}{\text{Sym}}^k\left(V\right)$ is naturally graded by the degree $k$, with ${\text{Sym}}^0\left(V\right)=K$ and ${\text{Sym}}^1\left(V\right)=V$, and that the symmetric product of a degree-$j$ element with a degree-$k$ element lands in degree $j+k$.

The Universal Property

Also within scope is the characterizing universal property of the symmetric algebra: for any commutative $K$-algebra $A$ and any linear map $\phi :V\to A$, there is a unique algebra homomorphism $\underset{(}{\text{Sym}}V)\to A$ extending $\phi$, expressing that the symmetric algebra is the free commutative algebra generated by $V$.

Generation in Degree One

Within scope as well is the fact that the entire graded algebra is generated, as an algebra, by its degree-one piece $V$ alone, so that every symmetric tensor of every degree can be written as a sum of symmetric products of vectors, without needing generators of any higher degree.

What Falls Outside Scope

Ideal Theory and Quotients

Constructions built from ideals of the symmetric algebra, such as quotienting by a homogeneous ideal to produce the coordinate ring of an affine variety, are outside this scope; the symmetric algebra is treated here only as a single graded object built from $V$, not as the ambient ring in which such geometric quotients are formed.

Hilbert Series and Growth Rates

The Hilbert series encoding the dimension of each graded piece, $\sum _k\text{dim}\left({\text{Sym}}^k\right(V\left)\right)x^k$, while computable directly from the dimension formula already given, is not developed as a generating-function tool here, and questions of asymptotic growth or generating-function identities are outside scope.

Homological and Categorical Depth

Deeper homological properties of the symmetric algebra, such as its behavior under derived functors, its role in Koszul duality with the exterior algebra, or its characterization via operads, are outside scope; these connect symmetric tensors to homological algebra and category theory well beyond the structural facts, grading, universal property, and generation, treated here.

Relation Between the Included Facts

Generation Follows From the Universal Property

The fact that $V$ generates the whole symmetric algebra is not an independent structural fact but a direct consequence of the universal property applied to the identity map on $V$, since any subalgebra of $\text{Sym}\left(V\right)$ containing $V$ would itself satisfy the same universal mapping property, forcing it to equal the whole algebra.

Grading Is Compatible With the Universal Property

The universal property, stated for the whole algebra $\text{Sym}\left(V\right)$ at once, is compatible with, but does not by itself determine, the specific graded decomposition into ${\text{Sym}}^k\left(V\right)$; the grading is established separately, directly from the permutation-invariance definition, and the two facts are then observed to cohere with one another.