16.10.3 Tensor Antisymmetrization Normalization Factor

Tensor Antisymmetrization Normalization Factor is the 1/k! coefficient placed in front of the permutation sum defining the antisymmetrization operator, whose specific purpose is to guarantee that the operator acts as the identity on tensors already alternating, and whose omission or alteration produces a family of alternative but non-idempotent scaled variants used in different conventions.

Purpose of the Factor

Ensuring Idempotence

Without any normalization, the raw permutation sum Σ_σ sgn(σ)(σ·S) applied to an already-alternating tensor T produces:

since σ · T = sgn(σ) T for alternating T, and each of the k! terms in the sum contributes sgn(σ)² = 1 copies of T. Dividing by k! is exactly what corrects this overcounting and restores T unchanged.

The Factor as a Projection Requirement

Any linear operator intended to act as a projection (idempotent: P² = P) onto a subspace where the group acts by a fixed character must be normalized by dividing by the group's order; the 1/k! factor is the specific instance of this general representation-theoretic requirement, since |S_k| = k!.

Consequence of Omitting the Factor

The Unnormalized Sum Scales Everything

Without the 1/k! factor, the raw sum Σ_σ sgn(σ)(σ·S) still produces an alternating result (the sign-reversal property doesn't depend on normalization), but it scales every already-alternating input by k! instead of leaving it fixed:

so the unnormalized version fails idempotence and cannot serve directly as a projection operator, though it remains useful in contexts where the constant scale factor is tracked separately.

Impact on the Wedge Product Convention

Different textbooks define the wedge product using either the normalized Alt (dividing by k!, or by p!q!/(p+q)! for a product of two forms) or the unnormalized permutation sum directly; this is the well-known source of a factor-of-k! discrepancy that appears when comparing formulas for the wedge product across different references, and it is essential to check which convention a given source uses before combining formulas from multiple sources.

Related Normalization at the Product Level

The Binomial Normalization for Wedge of Two Forms

When combining a degree-p and a degree-q alternating form via the wedge product, some conventions use a binomial normalization factor instead of a plain factorial:

This factor is chosen precisely so that decomposable wedges of covectors, φ₁ ∧ ... ∧ φₖ, match the determinant-of-pairings evaluation formula exactly, without any leftover scalar multiple cluttering the result.

Verifying the Factor Numerically

Rank 2 Check

For k = 2, k! = 2, and the normalized antisymmetrization of a general bilinear form S gives:

Applying this to an already-antisymmetric S (where S(v,u) = −S(u,v)) gives (1/2)(S(u,v)+S(u,v)) = S(u,v), confirming the factor correctly restores the identity in the smallest nontrivial case.

Diagram of the Factor's Corrective Role