Published online by Cambridge University Press: 22 January 2016
In this note we give the structure of maximally differential ideals in a Noetherian local ring of prime characteristic p > 0, in terms of their generators. More precisely, we prove the following result:
THEOREM 4. Let A be a Noetherian local ring of prime characteristic p > 0 with maximal ideal m. Let I be a proper ideal of A. Suppose n= emdim(A) and r = emdim(A/l). If I is maximally differential under a set of derivations of A then there exists a minimal set xl,…,xn of generators of m such that I = (xρl, …,xρr, xr+1,…xn).