Example 4

Let M be a K-module and A the exterior algebra $\bigwedge(M^*)$ with its usual graduation (§ 7, no. 1). It will be seen in § 11, no. 9 that, for all $x \in M$, the right interior product $i(x)$ is an antiderivation of A of degree $-1$.