16.1.4 Tensor Exterior Product Scope

Tensor Exterior Product Scope is the delineation of the algebraic laws governing the wedge product once it is extended from individual vectors to a full product on elements of every order in the exterior algebra, centering on the graded anticommutativity that replaces ordinary commutativity and distinguishes the exterior algebra sharply from the symmetric algebra developed for symmetric tensors.

Extending the Product to General Elements

From Vectors to Arbitrary Alternating Tensors

The wedge product was introduced, under the Tensor Alternating Structure Scope, for individual vectors, and extended, under the Tensor Alternation Operator Scope, to a product of two alternating tensors of arbitrary orders p and q, built by applying the alternation operator to their ordinary tensor product with an appropriate binomial normalization. The Exterior Product Scope concerns the algebraic behavior of this extended product once both factors are permitted to range over all of the exterior algebra, not merely over decomposable wedge products of vectors.

Bilinearity Inherited from the Tensor Product

Because the exterior product is built from the ordinary tensor product followed by a linear projection, it is bilinear: linear in each of its two arguments separately, exactly mirroring the bilinearity of the Symmetric Product Notation on the symmetric side, and this bilinearity is what allows the exterior product of sums of wedge products to be expanded term by term in explicit computations.

Graded Anticommutativity

The Sign Rule

The defining algebraic law distinguishing the exterior product from ordinary commutative multiplication is graded anticommutativity: for an alternating tensor S of order p and an alternating tensor T of order q,

so that swapping the order of the two factors introduces a sign determined by the product of their orders, rather than leaving the product unchanged as ordinary commutativity or the plain symmetric product would require.

Consequences for Vectors and Higher Elements

For two vectors, p and q both equal one, and the sign factor is minus one, recovering the elementary anticommutativity u wedge v equal to minus v wedge u used to derive the vanishing-on-repetition property; for a vector wedged with an order-two alternating tensor, p equal to one and q equal to two, the sign factor is plus one, so a vector and a two-form commute under the wedge product even though two vectors do not, illustrating that the graded sign rule, not blanket anticommutativity, is the correct general law.

Associativity

The Product Is Associative Despite the Sign Rule

Although the exterior product is not commutative in the ordinary sense, it remains associative: for alternating tensors R, S, and T of any orders, the product R wedge S wedge T, computed by wedging in either grouping, gives the same result, since both groupings reduce, upon unpacking the alternation operator's definition, to the single antisymmetrization of the full tensor product of R, S, and T together, weighted appropriately; associativity is what allows wedge products of arbitrarily many factors, such as the k-fold wedge product of vectors defining a decomposable alternating tensor, to be written without ambiguous parenthesization.

Comparison with the Symmetric Product's Associativity

The Symmetric Product Notation is associative and fully commutative, with no sign complications of any kind; the Exterior Product Scope's graded anticommutativity, layered on top of an otherwise entirely parallel associative structure, is the single algebraic feature responsible for essentially every subsequent structural divergence between the exterior and symmetric algebras, including the vanishing of the exterior algebra past order n and the absence of arbitrarily high wedge powers of a single vector.

The Graded Ring Structure

Exterior Algebra as a Graded-Commutative Ring

Collecting alternating tensors of every order into the exterior algebra, as introduced under the Tensor Alternating Structure Scope, and equipping this direct sum with the exterior product makes it a graded ring, but specifically a graded-commutative ring rather than an ordinary commutative ring, since commutativity holds only up to the sign prescribed by graded anticommutativity; this is the precise ring-theoretic classification of the exterior algebra, standing in contrast to the symmetric algebra's status as an ordinary (ungraded-sign) commutative ring under the Tensor Symmetric Tensor Polynomial Role.

Relation to Differential Forms

When V is taken to be the space of covectors (differential one-forms) on a manifold, the exterior product defined here becomes the wedge product of differential forms used throughout differential geometry, and the exterior derivative, an operator built compatibly with this graded ring structure, satisfies a graded Leibniz rule directly reflecting the graded anticommutativity established as the central law of the Exterior Product Scope.

Practical Consequences

Sign-Tracking in Computation

Because of graded anticommutativity, any computation involving the exterior product of several factors of mixed order requires careful sign bookkeeping whenever factors are reordered, a bookkeeping burden entirely absent from the corresponding symmetric product computations, and errors in this sign tracking are among the most common sources of mistakes when working explicitly with the exterior algebra, motivating the systematic index and basis conventions developed further within the broader Alternating Tensor Scope.