Published online by Cambridge University Press: 20 November 2018
The notion of pure subgroups is due to Prufer [7]. It has proven extremely useful in establishing structural properties of abelian groups. In a recent paper [9], Waterhouse introduced the concept of a pure subfield of a purely inseparable extension. Let L be a purely inseparable modular extension of k, and let K be an intermediate field. K is called pure if K and k(Lpn) are linearly disjoint over k(Kpn) for all n. Waterhouse used this concept to establish the existence of basic subfields [9].