\(P\)-adic decompositions over domains (Q1273226)

Let \(R\) be a commutative domain with unity and \(Q\) its field of quotients. \(Q\) is considered as an \(R\)-module. \textit{E. Matlis} [Mem. Am. Math. Soc. 49 (1964; Zbl 0135.07801)] showed that all torsion \(R\)-modules admit primary decompositions if and only if \(R\) is an \(h\)-local domain. This means: (i) each nonzero element of \(R\) is contained in but a finite number of maximal ideals of \(R\); (ii) each nonzero prime ideal of \(R\) is contained in only one maximal ideal. Later on, \textit{L. Fuchs} and the author generalized this result to \(S\)-torsion modules over an arbitrary domain \(R\), where \(S\) is a submonoid of \(R^*\setminus\{0\}\) [\textit{L. Fuchs} and \textit{S. B. Lee}, Glasg. Math. J. 38, 321-326 (1996; Zbl 0896.13012)] and to \(A\)-torsion modules over an arbitrary domain \(R\), where \(A\) is a submodule of \(Q\) containing \(R\) [Mathematika 44, 88-99 (1997; Zbl 0874.13006)]. The present article can be considered as a dual of the mentioned papers of Fuchs and the author. An \(R\)-module \(M\) is said to admit a primary decomposition if \(M\) is the direct sum of its \(P\)-components \(M_P\) where \(P\) runs over the maximal ideals of \(R\), i.e. \(M=\bigoplus_P M_P\). Let \(R^0\) be the largest submodule of \(Q\) containing \(R\) for which \(R^0/R\) admits a primary decomposition. The author proves among other things: (I) If \(A\) is an overring of \(R\) contained in \(R^0\), then every \(A\)-cotorsion module admits a \(P\)-adic decomposition; (II) Suppose that for a submonoid \(S\) of \(R^*\) every \(S\)-cotorsion \(R\)-module admits a \(P\)-adic decomposition. Then \(S\) satisfies the following conditions: (a) each element of \(S\) is contained in but a finite number of maximal ideals of \(R\); (b) each prime ideal of \(R\) which contains an element of \(S\) is contained in only one maximal ideal of \(R\). The author obtains the following corollary: In every domain \(R\) there is a unique maximal submonoid \(T\) of \(R^*\) such that \(T\)-cotorsion \(R\)-modules admit \(P\)-adic decompositions. Furthermore, for a submonoid \(S\) of \(R^*\) the following are equivalent: \((\alpha)\) \(S\) is contained in \(T\); \((\beta)\) \(S\) satisfies (a) and (b); \((\gamma)\) all \(S\)-cotorsion \(R\)-modules admit \(P\)-adic decomposition.