  We systematically study the intersection flatness and Ohm-Rush properties for
modules over a commutative ring, drawing inspiration from the work of Ohm and
Rush and of Hochster and Jeffries. We then use our newfound understanding of
these properties to deduce consequences for the Frobenius map. We establish new
structural results for modules that are intersection flat/Ohm-Rush by
exhibiting intimate connections between these notions and the seminal work of
Raynaud and Gruson on Mittag-Leffler modules. In particular, we develop a
theory of Ohm-Rush modules that is parallel to the theory of Mittag-Leffler
modules. Our motivation for doing so is that the Ohm-Rush condition is weaker
than intersection flatness, and it will be shown in future work that one only
needs the Ohm-Rush property of Frobenius on an excellent regular ring to prove
the existence of test elements for homomorphic images of the ring. We also
obtain descent and local-to-global results for intersection flat/Ohm-Rush
modules. Our investigations reveal a pleasing picture for flat modules over a
complete local ring, in which case many otherwise distinct properties coincide.
Using these results, we characterize when a regular local ring has intersection
flat Frobenius in terms of a purity condition on the relative Frobenius of the
completion map, we provide a new characterization of excellence for DVRs in
prime characteristic, we prove new cases of intersection flatness of Frobenius,
we prove descent and ascent results for intersection flatness and Ohm-Rush
properties for Frobenius, and we show that proving the existence of test
elements for homomorphic images of excellent regular rings reduces to
exhibiting openness of pure loci for certain simple module maps. We study this
openness of loci problem in a special case and show that the Frobenius of any
excellent regular ring of prime characteristic is close to being Ohm-Rush.
