An operation on a multilinear tensor or form that projects onto its alternating (antisymmetric) part by taking the signed sum over permutations of arguments, producing an object that changes sign under odd permutations.

Principle

Use the alternator A = (1/n!) ∑_{σ∈S_n} sgn(σ) σ; this operator is idempotent in characteristics where n! is invertible and yields elements satisfying T(...,x_i,...,x_j,...) = −T(...,x_j,...,x_i,...) and vanishing when any two arguments coincide.

Demonstration

For v⊗w in V⊗V the alternation gives (v⊗w − w⊗v)/2, which corresponds to an element of the exterior square Λ^2(V); applied to functions it yields alternating multilinear forms used in determinants and wedge products.

Misapplication

In characteristic 2 the sign homomorphism is trivial so alternation by sgn(σ) collapses to ordinary summation and fails to isolate antisymmetric parts; also failing to divide by n! when necessary invalidates idempotency arguments.

Consequence

Yields exterior powers and alternating multilinear forms central to determinants, differential forms, and homological algebra; ensures vanishing on repeated arguments and encodes orientation-sign behavior under permutations.

Reversal

The natural opposite is symmetrization, which averages without signs and produces permutation-invariant (symmetric) components; alternation and symmetrization decompose tensor powers into complementary isotypic pieces when factorials are invertible.

Boundary

Applies to multilinear contexts and tensor powers; must account for base rings of small characteristic where factorial denominators vanish, and note that 'skew-symmetric' and 'alternating' coincide under hypotheses (e.g., characteristic ≠ 2) but can differ in general.

Semantic Tension

Distinguish 'alternating' (vanishes when arguments repeat) from 'skew-symmetric' (changes sign under swaps): over fields of characteristic not 2 they are equivalent, but in characteristic 2 skew-symmetry imposes no sign change and so the notions diverge.

Synthesis

Alternation is the signed averaging projector that extracts the antisymmetric component of a multilinear object, producing exterior powers and forms that vanish on repeated inputs and transform by the sign of permutations.