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: