Transversals of families in complete lattices, and torsion in product modules (Q1078587)

Suppose L is a complete lattice containing no copy of the power-set \(2^{\omega}\) and no uncountable well-ordered chains. It is shown that for any family of nonempty subsets \(X_ i\subseteq L\) (i\(\in A)\), one can choose elements \(p_ i\in X_ i\) so that \(\vee_ Ap_ i\) majorizes all elements of all but finitely many of the \(X_ i.\) This yields the ring-theoretic result that if R is a right Ore domain without uncountable reverse-well-ordered chains of right ideals, and such that no cyclic right R-module contains an infinite direct sum of submodules (in particular, if R is a commutative Noetherian integral domain), then whenever a direct product \(\prod M_ i\) of R-modules is a torsion module, there exists a nonzero element of R annihilating all but finitely many of the \(M_ i\). In the language of \textit{K. Goodearl} and \textit{B. Zimmermann-Huisgen} [J. Pure Appl. Algebra 39, 251-273 (1986; Zbl 0581.16001)] this says such rings are ''productively bounded''. Variants of this result are obtained (in particular, with more general concepts replacing that of ''torsion module'' for rings that are not necessarily Ore domains), and examples are given showing that the hypotheses on the lattice-theoretic result cannot be weakened.