Boundedness of direct products of torsion modules (Q1068163): Difference between revisions

If a direct product of abelian groups is torsion then almost all its factors are uniformly bounded. Although it seems natural to study this phenomenon for domains other than the ring of integers, the authors are apparently the first to embark on such an investigation. They call a right Ore domain R right productively bounded if for any nonempty family \(\{M_ i|\) \(i\in I\}\) of right R-modules whose direct product is a torsion module there exists an element \(0\neq r\in R\) such that \(rM_ i=0\) for all but finitely many \(i\in I\). Examples are provided of right Ore domains which are not productively bounded, but there is a rather extensive supply of those that do indeed have this property. Specifically, productive boundedness is established for any right Ore domain for which the supremum of the lengths of well-ordered descending chains of right ideals is a countable ordinal number. This includes all right Ore domains with countable right Krull dimension (in the sense of Gabriel and Rentschler), and thus, in particular, all commutative noetherian domains of finite classical Krull dimension, as well as the famous Krull-Nagata example of a noetherian domain with infinite Krull dimension. However, there exist productively bounded Ore domains of uncountable Krull dimension and even without Krull dimension. Thus, productive boundedness is established for countably generated extensions of Ore domains which have either countable right Krull dimension or a countable right ideal base.