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.