English

Derivations and skew derivations of the Grassmann algebras

Rings and Algebras 2007-05-23 v1 Mathematical Physics math.MP

Abstract

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

Keywords

Cite

@article{arxiv.0704.3850,
  title  = {Derivations and skew derivations of the Grassmann algebras},
  author = {V. V. Bavula},
  journal= {arXiv preprint arXiv:0704.3850},
  year   = {2007}
}

Comments

23 pages