Published online by Cambridge University Press: 26 February 2010
In what follows, R will denote a commutative domain with 1, and Q(≠R) its field of quotients, which is viewed here as an R-module. By RP we denote the localization of R at the maximal ideal P, and more generally, by MP = Rp⊗RM the localization of the R-module M at P, which we define to be the P-component of M. The symbol R* will mean the multiplicative monoid of nonzero elements of R. For a submonoid S of R*, Rs will denote the localization of R at S.