Pointfree spectra of ℓ-modules

The three well-known spectra often associated to an ordered ring are: Brumfiel, Keimel, and the maximal spectrum. The pointfree versions of these spectra have been studied for f-rings [B. Banaschewski, Pointfree topology and the spectra of f-rings, in: Ordered Algebraic Structures (Curacoa, 1995), Kluwer Acad. Publ., Dordrecht, 1997, pp. 123–148], and the last two spectra for Riesz spaces [M.M. Ebrahimi, A. Karimi, M. Mahmoudi, Pointfree spectra of Riesz space, Appl. Categ. Structures 12 (2004) 397–409]. In this paper we consider an f-module M on an ordered ring A and study the pointfree version of the last two spectra together with the frame image of closed ℓ-ideals. We show, among other things, that the pointfree maximal spectrum image and the frame image are completly regular and that, under some conditions, these two spectra are naturally isomorphic, and hence functorial.