On the quotients of countable direct products of modules modulo direct sums

Structure, classification theorems for modules and ideals in commutative rings (13C05) Torsion modules and ideals in commutative rings (13C12) Other special types of modules and ideals in commutative rings (13C13) Homological dimension and commutative rings (13D05) Direct sums, direct products, etc. for abelian groups (20K25)

Review text

In this paper \(R\) is assumed to be a commutative domain with 1, and \(R \neq Q\), for the field of quotients \(Q\). Inspired by a known result of Hulanicki and Mycielski, the authors look into the module \(M^* = \prod M_ n/ \bigoplus M_ n\), for countable sets \(\{M_ 1, \dots, M_ n, \dots\}\) of \(R\)-modules. \(M^ 1 = \bigcap_{0 \neq r \in R} rM\) denotes the first Ulm submodule of \(M\). The culminating result of the paper is as follows: If p.d. \(Q = 1\), and \(M_ n\) are reduced torsion modules, then \(M^*\) satisfies: (a) \(M^{*1}\) is a divisible \(R\)-module; and (b) \(M^*/M^{*1}\) is isomorphic to a submodule of elements of countable support in a product of \(R\)-complete modules. (c) \(M^*/M^{*1}\) is \(R\)-complete, for every choice of torsion \(R\)-modules \(M_ n\), if and only if \(Q/R\) is a countably generated \(R\)-module.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: On the quotients of countable direct products of modules modulo direct sums

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1333079)