Integral derivations (Q1106891)

Es sei R ein kommutativer Ring mit Primzahlcharacteristik p und k ein Teilring. Der Autor beweist für den Polynomring \(R=k[x_ 1,...,x_ n]\) und den Potenzreihenring \(R=k[[ x_ 1,...,x_ n]]\), daß jede k-Derivation d von R einer Gleichung der Form \((*)\quad d^{p^ m}+a_{m-1}d^{p^{m-1}}+...+a_ 1d^ p+a_ 0d^ p+a_ 0d=0\) mit \(a_ 0,...,a_{m-1}\in R\) genügt. Dabei kann noch \(m\leq n\) und \(d(a_ 0)=...=d(a_{m-1})=0\) \((a_ i\) Konstante für d) erreicht werden. Da eine direkte Verifikation für \(n\geq 2\) nicht gelang, nennt der Autor d eine über A (d-Teilring von R) p-ganze Derivation, wenn (*) mit \(a_{m-1},...,a_ 0\in A\) erfüllbar ist, bzw. d ganz über A, wenn eine Relation der Form \(d^ n+b_{n- 1}d^{n-1}+...+b_ 0=0\) mit \(b_ 1,...,b_{n-1}\in A\) vorliegt. p- Ganzheit verhält sich ähnlich wie der Ganzheitsbegriff in der Theorie der kommutativen Ringe. Die über A p-ganzen Derivationen bilden eine p- Lie Teilalgebra von \(Der_ k(R)\). Aus weiteren allgemeinen Sätzen der vom Autor entwickelten Theorie p-ganzer Derivationen (z.B. ist im Fall eines ZPE-Rings R eine ganze Derivation stets p-ganz) läßt sich dann ein Beweis der oben erwähnten Aussage gewinnen.