p-derivation

In mathematics, more specifically differential algebra, a p-derivation (for p a prime number) on a ring R, is a mapping from R to R that satisfies certain conditions outlined directly below. The notion of a p-derivation is related to that of a derivation in differential algebra.

Definition

Let p be a prime number. A p-derivation or Buium derivative on a ring $R$ is a map of sets $\delta :R\to R$ that satisfies the following "product rule":

\delta _{p}(ab)=\delta _{p}(a)b^{p}+a^{p}\delta _{p}(b)+p\delta _{p}(a)\delta _{p}(b)

and "sum rule":

\delta _{p}(a+b)=\delta _{p}(a)+\delta _{p}(b)+{\frac {a^{p}+b^{p}-(a+b)^{p}}{p}}

as well as

\delta _{p}(1)=0

Note that in the "sum rule" we are not really dividing by p, since all the relevant binomial coefficients in the numerator are divisible by p, so this definition applies in the case when $R$ has p-torsion.

Relation to Frobenius Endomorphisms

A map $\sigma :R\to R$ is a lift of the Frobenius endomorphism provided $\sigma (x)=x^{p}\mod pR$ . An example such lift could come from the Artin map.

If $(R,\delta )$ is a ring with a p-derivation, then the map $\sigma (x):=x^{p}+p\delta (x)$ defines a ring endomorphism which is a lift of the frobenius endomorphism. When the ring R is p-torsion free the correspondence is a bijection.

Examples

For $R={\mathbb Z}$ the unique p-derivation is the map

\delta (x)={\frac {x-x^{p}}{p}}.

The quotient is well-defined because of Fermat's Little Theorem.

If R is any p-torsion free ring and $\sigma :R\to R$ is a lift of the Frobenius endomorphism then

\delta (x)={\frac {\sigma (x)-x^{p}}{p}}

defines a p-derivation.

References

Buium, Alex (1989), Arithmetic Differential Equations, Mathematical Surveys and Monographs, Springer-Verlag, ISBN 0-8218-3862-8 .

External links

Project Euclid

This article is issued from Wikipedia - version of the 11/25/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.