After the ring theoretic
study of differential operators in positive characteristic by S.U. Chase and S.P.
Smith, B. Haastert started investigation of 𝒟-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.