After the ring theoretic study of
differential operators in positive characteristic by S.U.
Chase and S.P. Smith, B. Haastert started investigation of
D-modules on smooth
varieties in positive characteristic, and the work of R.
Bøgvad followed. The purpose of this paper is to complement
some basics for further study.