Derivations and skew derivations of the Grassmann algebras

Abstract

Surprisingly, skew derivations rather than ordinary derivations are more basic (important) object in study of the Grassmann algebras. Let ${Ł}_n=K\lfloor x_1,...,x_n\rfloor$ be the Grassmann algebra over a commutative ring $K$ with $1/2\in K$, and $\d$ be a skew $K$-derivation of ${Ł}_n$. It is proved that $\d$ is a unique sum $\d = \d^{ev} +\d^{od}$ of an even and odd skew derivation. Explicit formulae are given for $\d^{ev}$ and $\d^{od}$ via the elements $\d (x_1), ..., \d (x_n)$. It is proved that the set of all even skew derivations of ${Ł}_n$ coincides with the set of all the inner skew derivations. Similar results are proved for derivations of ${Ł}_n$. In particular, $\Der_K(Ł_n)$ is a faithful but not simple $\Aut_K(Ł_n)$-module (where $K$ is reduced and $n\ge 2$). All differential and skew differential ideals of ${Ł}_n$ are found. It is proved that the set of generic normal elements of ${Ł}_n$ that are not units forms a single $\Aut_K(Ł_n)$-orbit (namely, $\Aut_K(Ł_n)x_1$) if $n$ is even and two orbits (namely, $\Aut_K(Ł_n)x_1$ and $\Aut_K(Ł_n)(x_1+x_2... x_n)$) if $n$ is odd.

23 pages