The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Exterior Algebra
Let be a commutative Ring.
Let be the free associative algebra.
Then the exterior algebra is
Every element of can be written as:
where WLOG the products are ordered in increasing indices.
Lemma
Let be an matrix over a Ring.
Then in we have the identity: