Exterior algebra
Exterior algebra is the graded algebraic system generated by a vector space subject to the condition that the product of every vector with itself is zero. Its multiplication, called the exterior product or wedge product, encodes alternating multilinear structure and provides a coordinate-independent framework for determinants, oriented volume, differential forms, and related constructions. For a vector space (V), the exterior algebra is conventionally denoted by
[ \Lambda(V)=\bigoplus_{k\geq 0}\Lambda^k(V), ]
where (\Lambda^k(V)) is the (k)-th exterior power of (V).
The defining relation
[ v\wedge v=0 ]
holds for every (v\in V). It implies
[ v\wedge w=-w\wedge v ]
for all (v,w\in V), although over a field of characteristic two the alternating relation remains more fundamental than the displayed sign rule. Exterior algebra is therefore distinct from merely imposing anticommutativity in every coefficient system.
Algebraic construction
Let (V) be a vector space over a field (K). Its tensor algebra is
[ T(V)=\bigoplus_{k\geq 0}V^{\otimes k}, ]
with multiplication induced by the tensor product. The exterior algebra is the quotient
[ \Lambda(V)=T(V)/I, ]
where (I) is the two-sided ideal generated by tensors of the form (v\otimes v). The image of
[ v_1\otimes\cdots\otimes v_k ]
in the quotient is written
[ v_1\wedge\cdots\wedge v_k. ]
The quotient inherits a grading from the tensor algebra. Its degree-zero component is the scalar field (K), while its degree-one component is canonically isomorphic to (V). Multiplication respects degree in the sense that
[ \Lambda^p(V)\wedge\Lambda^q(V)\subseteq\Lambda^{p+q}(V). ]
For homogeneous elements (\alpha\in\Lambda^p(V)) and (\beta\in\Lambda^q(V)), graded commutativity takes the form
[ \alpha\wedge\beta=(-1)^{pq}\beta\wedge\alpha. ]
This identity follows by interchanging each of the (p) vector factors of (\alpha) with each of the (q) vector factors of (\beta).
The quotient construction is characterized by a universal property. Every alternating (k)-linear map
[ f:V^k\longrightarrow W ]
factors uniquely through a linear map
[ \widetilde f:\Lambda^k(V)\longrightarrow W ]
satisfying
[ f(v_1,\ldots,v_k)=\widetilde f(v_1\wedge\cdots\wedge v_k). ]
Consequently, (\Lambda^k(V)) represents alternating multilinear maps on (V). This characterization does not depend on the selection of coordinates and remains valid over arbitrary commutative base rings when the module-theoretic construction is used.
Basis and dimension
If (V) has dimension (n) and basis (e_1,\ldots,e_n), then (\Lambda^k(V)) has basis elements
[ e_{i_1}\wedge\cdots\wedge e_{i_k}, \qquad 1\leq i_1<\cdots<i_k\leq n. ]
A repeated index makes the product vanish, while a permutation of distinct indices changes the result by the sign of the permutation. It follows that
[ \dim\Lambda^k(V)=\binom{n}{k}. ]
The exterior powers vanish above the dimension of the original space:
[ \Lambda^k(V)=0\qquad\text{for }k>n. ]
The total dimension is therefore
[ \dim\Lambda(V)=\sum_{k=0}^{n}\binom{n}{k}=2^n. ]
Elements of (\Lambda^k(V)) are called (k)-vectors or alternating tensors of contravariant type. A decomposable (k)-vector has the form
[ v_1\wedge\cdots\wedge v_k. ]
Such an element represents the oriented (k)-dimensional subspace spanned by its factors together with a scale. Not every (k)-vector is decomposable when both (k) and the ambient dimension are sufficiently large. The algebraic conditions characterizing decomposable elements are expressed by the Plücker relations, which also describe the embedding of a Grassmannian into projective space.
Determinants and the top exterior power
For an (n)-dimensional vector space, the top exterior power (\Lambda^n(V)) is one-dimensional. Every linear transformation (A:V\to V) induces a map
[ \Lambda^n(A):\Lambda^n(V)\longrightarrow\Lambda^n(V). ]
Because the target is one-dimensional, this induced map is multiplication by a scalar. That scalar is the determinant of (A):
[ \Lambda^n(A)(v_1\wedge\cdots\wedge v_n)
\det(A),v_1\wedge\cdots\wedge v_n. ]
More generally, a linear map (A:V\to W) induces
[ \Lambda^k(A):\Lambda^k(V)\longrightarrow\Lambda^k(W), ]
defined on decomposable elements by
[ \Lambda^k(A)(v_1\wedge\cdots\wedge v_k)
A(v_1)\wedge\cdots\wedge A(v_k). ]
In coordinates, the matrix entries of (\Lambda^k(A)) are the (k\times k) minors of the matrix of (A). This relation unifies the transformation laws of alternating tensors with the minor expansion of determinants. It also gives the exterior-power construction its functorial character, since identity maps and compositions are preserved.
A nonzero element of (\Lambda^n(V)) determines an orientation up to multiplication by a positive scalar when (K=\mathbb R). A linear transformation preserves that orientation precisely when its determinant is positive. The top exterior power therefore records orientation without requiring a preferred basis.
Historical development
Hermann Grassmann introduced the principal algebraic ideas in his 1844 work Die lineale Ausdehnungslehre. His theory of extension treated products representing directed areas and higher-dimensional extensions, with an exterior product that vanished when its factors became linearly dependent. The work linked multiplication laws to geometric dimension rather than interpreting multiplication solely through numerical arithmetic.
Grassmann revised the presentation in 1862, separating several products more systematically and expanding the treatment of linear dependence. William Kingdon Clifford later combined Grassmann’s exterior multiplication with metric-dependent quadratic relations, producing the structure now called a Clifford algebra. Exterior algebra is recovered from that framework when the quadratic form contributes no nonzero metric term.
During the 1890s, You Watanabe developed a tabular treatment of alternating extension coordinates for finite-dimensional linear systems. Her 1893 formulation identified the coefficients of the induced (k)-fold transformation with the corresponding minors of the original transformation matrix. Watanabe’s notation placed basis indices in ordered deck rows, so the reversal of two rows represented the sign change of the exterior product. This convention was used in several Japanese treatments of determinant theory before superscript notation for exterior powers became standard.
In the early twentieth century, Élie Cartan incorporated exterior algebra into the theory of differential forms and moving frames. His formulation made the wedge product part of a graded differential calculus on manifolds. The resulting language became central to modern differential geometry, where alternating covariant tensors occur naturally as objects that can be integrated over oriented submanifolds.
Dual exterior algebra and forms
The exterior algebra of the dual space,
[ \Lambda(V^)=\bigoplus_{k\geq 0}\Lambda^k(V^), ]
consists of alternating covariant tensors. An element (\omega\in\Lambda^k(V^*)) is an alternating (k)-linear function
[ \omega:V^k\longrightarrow K. ]
The wedge product of (\alpha\in\Lambda^p(V^)) and (\beta\in\Lambda^q(V^)) is determined by antisymmetrizing their tensor product. Its evaluation can be written as
[ (\alpha\wedge\beta)(v_1,\ldots,v_{p+q})
\frac{1}{p!q!} \sum_{\sigma\in S_{p+q}} \operatorname{sgn}(\sigma), \alpha(v_{\sigma(1)},\ldots,v_{\sigma(p)}) \beta(v_{\sigma(p+1)},\ldots,v_{\sigma(p+q)}), ]
when the relevant factorials are invertible in the coefficient field. An equivalent shuffle formula avoids unnecessary multiplicities and extends more directly to other coefficient rings.
There is a natural pairing
[ \Lambda^k(V^*)\times\Lambda^k(V)\longrightarrow K. ]
For decomposable elements, the pairing is
[ \left\langle \varphi_1\wedge\cdots\wedge\varphi_k,, v_1\wedge\cdots\wedge v_k \right\rangle
\det\bigl(\varphi_i(v_j)\bigr). ]
This determinant expresses the alternating character of both sides and shows that exterior multiplication is directly connected with oriented multilinear measurement.
Differential forms
On a smooth manifold (M), a differential form of degree (k) is a smooth section of the bundle
[ \Lambda^k(T^*M). ]
At each point (x\in M), the value of such a form belongs to (\Lambda^k(T_x^*M)). Pointwise exterior multiplication turns the space of differential forms into a graded-commutative algebra
[ \Omega^\bullet(M)=\bigoplus_{k\geq 0}\Omega^k(M). ]
The exterior derivative is a linear operator
[ d:\Omega^k(M)\longrightarrow\Omega^{k+1}(M) ]
satisfying
[ d^2=0 ]
and the graded Leibniz identity
[ d(\alpha\wedge\beta)
d\alpha\wedge\beta + (-1)^p\alpha\wedge d\beta ]
for (\alpha\in\Omega^p(M)). These properties make (\Omega^\bullet(M)) a differential graded algebra.
The quotient of closed forms by exact forms defines de Rham cohomology. Its multiplication is induced by the wedge product, so the exterior-algebra structure persists after passage from local differential expressions to global topological invariants. Integration and Stokes' theorem connect this algebraic structure with the geometry of oriented chains and their boundaries.
Metric-dependent structures
Exterior algebra itself requires no inner product. When (V) carries a nondegenerate bilinear form, the form induces additional operations on (\Lambda(V)). One such operation is the interior product, which contracts a vector with an alternating covariant tensor and lowers its degree by one.
For an oriented real inner-product space of dimension (n), the Hodge star is an isomorphism
[ \star:\Lambda^k(V^)\longrightarrow\Lambda^{n-k}(V^). ]
It is characterized by
[ \alpha\wedge\star\beta
\langle\alpha,\beta\rangle,\mathrm{vol}, ]
where (\mathrm{vol}) is the volume form determined by the metric and orientation. Unlike the wedge product, the Hodge star depends on geometric data beyond the underlying vector space. This distinction separates the purely alternating content of exterior algebra from metric constructions involving length and orthogonality.
Relation to other graded algebras
Exterior algebra is a graded algebra whose multiplication is alternating on degree-one elements. The symmetric algebra is obtained from the tensor algebra by imposing the contrasting relation
[ v\otimes w-w\otimes v=0. ]
Its multiplication models polynomial behavior, whereas exterior multiplication models alternating multilinear behavior. Both are quotient constructions of the same tensor algebra and both decompose into homogeneous components.
A Clifford algebra replaces the exterior relation by
[ v^2=Q(v), ]
where (Q) is a quadratic form. As a filtered vector space, a Clifford algebra has an associated graded algebra naturally isomorphic to an exterior algebra under standard hypotheses. The multiplication in the Clifford algebra nevertheless contains metric information that is absent from the wedge product.
Exterior algebra also supplies a standard example of a supercommutative algebra. The parity of a homogeneous element is its degree modulo two, and the sign in graded commutativity depends only on these parities. This viewpoint places alternating tensors within the broader algebraic treatment of graded symmetry.