  We determine necessary and sufficient conditions on the ring of differential
operators of a finite purely inseparable field extension of positive
characteristic for determining whether the extension is modular.
