Modules with strange decomposition properties
algebraically closed algebrasendomorphism ringsKaplansky test problemsseparable Abelian groupstorsion-free Abelian groups
Applications of logic in associative algebras (16B70) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Endomorphism rings; matrix rings (16S50) Torsion-free groups, infinite rank (20K20) Direct sums, direct products, etc. for abelian groups (20K25)
The author extends recent joint work with \textit{S. Shelah} [Proc. Am. Math. Soc. 126, No. 7, 1901-1907 (1998; Zbl 0894.20041)]. The main result (Theorem 4) depends on the very interesting notion that an \(R\)-algebra \(A\) is (weakly) algebraically closed in the endomorphism ring \(\text{End}_R(M)\) of a right \(A\)-module \(M\). This is the case if every set of finitely many polynomial equations with coefficients in \(A\) (in \(\{0,1\}\)) which has solutions in \(\text{End}_R(M)\) has also solutions in \(A\). This notion is surely inspired by `algebraically closed' for fields and modules. It extends \(A=\text{End}_R(M)\) and split extensions \(\text{End}_R(M)=A\oplus I\) (with \(I\) an ideal of \(\text{End}_R(M)\)). Now Theorem 4 reads as follows: If either \(n=1\) or \(n\geq 2\) is an integer with \(2^{\aleph_{n-2}}\leq\aleph_n\), and \(A\) is a countable ring with \(A^+\) free, then there is an \(\aleph_n\)-separable Abelian group \(M\) of cardinality \(\aleph_n\) such that \(A\) is algebraically closed in \(\text{End}_\mathbb{Z}(M)\). If \(A\) is one of Corner's well-known rings providing counter-examples for Kaplansky's test problems in case of torsion-free Abelian groups, then \(A\) also applies to Theorem 4 giving those counter-examples for \(\aleph_n\)-separable groups. The case \(n=1\) does not use any additional set theoretic assumption besides ZFC and was shown in the paper mentioned above. The case \(n\geq 2\) follows under GCH. Moreover Eklof also mentions a new unpublished result by Shelah in which he gets around the assumption \(2^{\aleph_{n-2}}\leq\aleph_n\) and derives Theorem 4 in ZFC where the implication of Theorem 4 either holds for \(\aleph_n\)-separable or for \(\aleph_{n+1}\)-separable. For the entire collection see [Zbl 0945.00021].
- When every projective module is a direct sum of finitely generated modules
- -Separable Groups and Kaplansky’s Test Problems
- A generalization of Amitsur theorem
- _1-A-coseperable groups
- \(\aleph_k\)-free separable groups with prescribed endomorphism ring.
- Large indecomposable roots of Ext
- Almost free modules, perfect decomposition and Enochs' conjecture
This page was built for publication: Modules with strange decomposition properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2702061)
