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: