15.9.2 Tensor Symmetric Power Degree

Tensor Symmetric Power Degree is the integer n appearing in the notation v^{odot n}, indicating how many copies of the vector or tensor v have been combined via repeated symmetric product to form the power, and equivalently, by the degree addition rule, the rank of the resulting symmetric tensor when the base of the power is a single vector. This degree plays the same organizing role for symmetric powers that an exponent plays for ordinary numerical powers: it tracks both how many factors were involved in the construction and, through the isomorphism between the symmetric algebra and a polynomial ring, the degree of the associated homogeneous polynomial monomial that the symmetric power represents.

Distinguishing the degree of a symmetric power from the rank of a general symmetric tensor is useful because, while every symmetric power has a rank equal to its degree when the base is a vector, not every symmetric tensor of a given rank is expressible as a single symmetric power; the degree specifically labels the exponent in the power construction, and understanding how this degree behaves under various operations clarifies the layered relationship between symmetric powers, general symmetric products, and the graded symmetric algebra.

Degree for a Vector Base

Degree Equals Rank When the Base Is a Vector

For a vector v raised to the symmetric power v^{odot n}, the degree n coincides exactly with the rank of the resulting tensor, since a vector has rank one and the degree addition rule applied n times to n copies of a rank-one factor sums to n:

so for a vector base, degree and rank are simply two names for the same integer.

Degree Zero and Degree One as Boundary Cases

The degree-zero symmetric power of any vector is defined to be the scalar 1, matching the convention that any quantity raised to the zeroth power yields the multiplicative identity, and the degree-one symmetric power of v is simply v itself, since a single factor requires no averaging over any nontrivial permutation.

Degree for a Higher-Rank Tensor Base

Multiplicative Relation to the Base's Rank

When the base of the power is a symmetric tensor T of rank p rather than a plain vector, the degree n of T^{odot n} determines the rank of the result through multiplication rather than direct equality, since n copies of a rank-p tensor combine, by repeated application of degree addition, to a rank of n times p:

so degree and rank coincide only in the special case p equals one, that is, when the base is itself a vector.

Degree as an Independent Bookkeeping Parameter

This distinction shows that degree is best understood as a bookkeeping parameter counting the number of times the base has been symmetrically multiplied by itself, while rank is a separate, derived quantity depending on both the degree and the rank of the base; the two coincide only in the vector-base case that is most commonly emphasized.

Behavior of Degree Under Combination

Degree Addition for Products of Powers

Combining v^{odot m} and v^{odot n}, both powers of the same vector v, via the symmetric product yields v^{odot (m+n)}, since concatenating m copies of v with n further copies of v produces m plus n copies total, and the degree addition rule for ranks directly mirrors this degree addition for the exponents themselves, exactly matching the familiar rule for combining ordinary numerical powers of the same base.

Degree Multiplication Under Iterated Powers

Raising an already-formed power to a further power, such as forming (v^{odot m})^{odot n}, corresponds to combining n copies of a rank-m tensor, giving a result of rank m times n by the multiplicative rank relation, mirroring the familiar rule that iterated exponentiation multiplies exponents, (v^m)^n equals v^{mn}, when translated into the tensor setting through the polynomial isomorphism.

Degree Within the Graded Symmetric Algebra

Degree as the Grading Label

Under the isomorphism between the symmetric algebra and a polynomial ring, the degree of a symmetric power v^{odot n} corresponds exactly to the polynomial degree of the associated monomial, and this correspondence extends the notion of degree from single symmetric powers to the grading label used throughout the symmetric algebra Sym(V), where the degree-n graded piece Sym^n(V) consists of all rank-n symmetric tensors, not merely those expressible as a single power.

Degree as the Finest Available Structural Label

Because every symmetric tensor decomposes into graded pieces indexed by rank, and because rank coincides with degree for powers of vectors specifically, the degree of a symmetric power serves as the most direct and interpretable instance of the general grading concept, providing the clearest illustration of how the abstract grading of the symmetric algebra manifests concretely in the simplest possible symmetric tensors.