16.3 Tensor Alternating Tensor Structure

Tensor Alternating Tensor Structure is the algebraic framework describing how alternating tensors are organized, combined, and classified as a coherent system, treating the set of alternating tensors of every degree over a vector space as a single graded object with well-defined internal operations rather than as an unrelated collection of individually antisymmetric maps.

The Underlying Space of Alternating Tensors

Degree-by-Degree Layers

For a vector space V of dimension n, the alternating tensors of degree k, written Λᵏ(V) or Altᵏ(V), form a vector space in their own right for each k from 0 to n:

Degree 0 alternating tensors are scalars, degree 1 alternating tensors coincide with ordinary covectors (antisymmetry is vacuous for a single index), and degree k = n gives a one-dimensional space, since there is only one independent way to be fully antisymmetric in all n coordinates at once. Degrees beyond n vanish identically, since no nonzero antisymmetric assignment can exist once indices are forced to repeat.

The Structure as a Direct Sum

The full structure is assembled by taking the direct sum across all degrees:

This direct sum is what gives the structure its identity as a single graded object, called the exterior algebra, rather than as n + 1 disconnected vector spaces.

The Product Operation Binding the Structure Together

Wedge Product as Structural Multiplication

The wedge product supplies the multiplication that turns the graded vector space into an algebra: it takes a degree-p alternating tensor and a degree-q alternating tensor and returns a degree-(p + q) alternating tensor, closing the structure under multiplication.

Associativity and Bilinearity

The product is associative and bilinear over the underlying field, so the structure behaves as an associative graded algebra:

Graded Commutativity

Multiplication order matters only up to a sign determined by the degrees of the two factors, which is the structural signature of alternation propagating from individual tensors up to the algebra level:

A direct consequence is that any element of odd degree wedged with itself vanishes:

Structural Relationship to the Full Tensor Algebra

Alternating Tensors as a Quotient

The alternating tensor structure can be obtained from the full tensor algebra T(V) by quotienting out the two-sided ideal generated by all elements of the form v ⊗ v:

where I is generated by v ⊗ v for all v in V. This identifies the alternating structure as a specific, canonical simplification of the more general tensor algebra rather than an independently invented object.

Alternation as a Projection

Equivalently, the structure can be realized inside T(V) directly via the antisymmetrization (alternation) map, which projects a general tensor onto its alternating part:

The image of Alt acting on rank-k tensors is precisely Λᵏ(V), showing the two constructions — quotient and projection — describe the same structure.

Diagram of the Layered Structure

Substructures and Invariants

Homogeneous Elements

An element lying entirely within a single Λᵏ(V) layer is called homogeneous of degree k; the structure guarantees every element of Λ•(V) decomposes uniquely into a finite sum of homogeneous pieces, one from each degree.

Top-Degree Line and Determinant Behavior

The top layer Λⁿ(V) is one-dimensional and carries the determinant behavior of linear maps: any linear endomorphism of V acts on Λⁿ(V) by scalar multiplication equal to its determinant, making this line the structural home of the determinant as an invariant of the alternating tensor structure rather than a separately defined quantity.

Duality Between Low and High Degree

Given a chosen top-degree element (a volume form), the structure exhibits a pairing between Λᵏ(V) and Λⁿ⁻ᵏ(V) — each degree-k layer is matched to a complementary degree-(n − k) layer of the same dimension, reflecting the binomial symmetry C(n, k) = C(n, n − k) at the level of the algebraic structure itself.