## Exterior Algebras

Let’s continue yesterday’s discussion of algebras we can construct from a vector space. Today, we consider the “exterior algebra” on , which consists of the direct sum of all the spaces of *anti*symmetric tensors

Yes, that’s a capital , not an . This is just standard notation, probably related to the symbol for its multiplication we’ll soon come to.

Again, despite the fact that each is a subspace of the tensor space , this isn’t a subalgebra of , because the tensor product of two antisymmetric tensors may not be antisymmetric itself. Instead, we will take the tensor product of and , and then antisymmetrize it, to give . This will be bilinear, but will it be associative?

Our proof parallels the one we ran through yesterday, writing the symmetric group as the disjoint union of cosets indexed by a set of representatives

and rewriting the symmetrizer in just the right way. But now we’ve got the signs of our permutations to be careful with. Still, let’s dive in with the antisymmetrizers

Where throughout we’ve used the fact that is a representation, and so the signum of the product of two group elements is the product of their signa. We also make the crucial combination of the double sum over into a single sum by noting that each group element shows up exactly times, and each time it shows up with the exact same sign, which lets us factor out from the sum and cancel the normalizing factor.

Now this multiplication is not commutative. Instead, it’s graded-commutative. If and are elements of the exterior algebra, then we find

That is, elements of odd degree *anti*commute with each other, while elements of even degree commute with everything.

Indeed, given and , we can let be the permutation which moves the last slots to the beginning of the term and the first slots to the end. We can construct by moving each of the last slots one-by-one past the first , taking swaps for each one. That gives a total of swaps, so . Then we write

as asserted.

The dual to the exterior algebra is the algebra of all alternating multilinear functionals on , providing a counterpart to the algebra of polynomial functions on . But where the variables in polynomial functions commute with each other, the basic covectors — analogous to variables reading off components of a vector — *anti*commute with each other in this algebra.

[…] The three constructions we’ve just shown — the tensor, symmetric tensor, and exterior algebras — were all asserted to be the “free” constructions. This makes them […]

Pingback by Functoriality of Tensor Algebras « The Unapologetic Mathematician | October 28, 2009 |

[…] to see what this does for our tensor algebras. Again, I’ll be mostly interested in the exterior algebra , so I’ll stick to talking about that […]

Pingback by Tensor Algebras and Inner Products I « The Unapologetic Mathematician | October 29, 2009 |

[…] alternating multilinear functional, with the sides as variables, and so it lives somewhere in the exterior algebra . We’ll have to work out which particular functional gives us a good notion of volume as we […]

Pingback by Parallelepipeds and Volumes I « The Unapologetic Mathematician | November 2, 2009 |

[…] interpretation of what’s going on that I learned from Todd Trimble, which is that “the exterior algebra is the symmetric algebra of a purely odd supervector […]

Pingback by Set-multiset duality and supervector spaces « Annoying Precision | November 7, 2009 |

[…] Now that we’ve used exterior algebras to come to terms with parallelepipeds and their transformations, let’s come back to apply […]

Pingback by The Jacobian « The Unapologetic Mathematician | November 11, 2009 |

[…] the dual space: . And of course we can take the direct sum of these spaces over all to get the exterior algebra […]

Pingback by Tensor Bundles « The Unapologetic Mathematician | July 6, 2011 |