On direct decompositions of modules (Q1317593)

The author considers the problem of decomposability into direct sums of ``small submodules'' of those modules over infinite rings, whose submodules of a smaller power possess or almost possess the same property. Let \(R\) be a ring with unit, and \(\mathfrak M\) be a cardinal such that \(| R| \leq {\mathfrak M}\). The \(R\)-module \(M\) is said to be \(\mathfrak M\)-summable if \(M\) is decomposable into a direct sum of \(R\)- submodules, each being of a power not exceeding \(\mathfrak M\). The main result of the paper is the following Theorem (\(V = L\)). Let \(k\) be a non- countable regular not weakly compact cardinal, \(R\) be a ring with unit, which either is countable, or has no zero divisors, and the additive group \(R^ +\) of \(R\) be torsion-free and reduced. Also let \(\mathfrak M\) be a cardinal such that \(| R| \leq {\mathfrak M} < k\). Then there exists a family of \(R\)-modules \(\{A_ i \mid i < 2^ k\}\) (which are \(R\)- submodules of the \(R\)-module \(\prod_ k R\)) such that for any \(i < 2^ k\) the following statements are fulfilled: 1) \(| A_ i | = k\); 2) any subset \(M \subset A_ i\) of a power less than \(k\) can be embedded in a certain \(\mathfrak M\)-summable \(R\)-submodule \(M^*\) of a power less than \(k\), which is a direct summand of \(A_ i\); 3) any group homomorphism \(f_{ij} : A^ +_ i \to A^ +_ j\) for \(i \neq j\) is \(k\)-small; 4) the ring of endomorphisms \(E(A^ +_ i)\) of the group \(A^ +_ i\) is a split extension of the ring \(R\) by means of the ideal \(E_ k(A^ +_ i)\).