Subring of constants of a ring of characteristic p>0

Abstract

Let A be a local ring of characteristic p>0 which has a p-basis over a subring C, and B be the subring of constants of A for a derivation (or derivations ) of A over C. We give a sufficient condition for B to have a p-basis over C. We add some examples.