In mathematics, the exterior algebra of a vector space (or, more generally, of a module over a commutative ring) is an associative algebra that contains the vector space (or module), and such that the square of any element of the vector space (or module) is zero. The exterior algebra is universal in the sense that every embedding of the vector space or module in an algebra that has these properties may be factored through the exterior algebra.
The multiplication operation of the exterior algebra is called the exterior product or wedge product, and is denoted with the symbol . The term "exterior" comes from the exterior product of two vectors not being a vector, while the term "wedge" comes from the shape of the multiplication symbol. The exterior algebra is also named Grassmann algebra after Hermann Grassmann, who introduced it as extended algebras. The exterior product is sometimes called the outer product, although this can also refer to the tensor product of vectors.
The exterior product of two vectors is sometimes called a 2-blade, which is in turn a bivector. More generally, the exterior product of any number k of vectors is sometimes called a k-blade. Given a vector space (or a module) V, its exterior algebra is denoted . The vector subspace generated by the k-blades is known as the kth exterior power of V, and denoted . The exterior algebra is the direct sum of the as modules with the exterior product as additional structure. The exterior product makes the exterior algebra a graded algebra, and is alternating.