Quite free complicated abelian groups, pcf and black boxes. (English) Zbl 1493.03007
In 1986, this reviewer named an abelian group \(G\) coslender, if, for every homomorphism \(f:G\to\prod\mathbb{Z}\) of \(G\) into a countable product of the integers, the projections of the image of \(f\) are \(0\), at all, except possibly finitely many coordinates [the reviewer, Glas. Mat., III. Ser. 21(41), 327–329 (1986; Zbl 0618.20038)]. This is equivalent to saying that the homomorphism group from \(G\) into \(\mathbb{Z}\) vanishes: \(\mathrm{Hom}(G,\mathbb{Z})=0\), equivalently if \(G\) has no direct summands isomorphic to \(\mathbb{Z}\); this places a large class of indecomposable groups (minus \(\mathbb{Z}\)) as a subclass of the class of coslender groups. In [Pitman Res. Notes Math. Ser. 204, 41–50 (1989; Zbl 0671.20053)], the reviewer exhibits an example of an \(\aleph_1\)-free slender and coslender group of cardinality \(2^{\aleph_0}\). In a follow up note [the reviewer and B. Goldsmith, Glas. Mat., III. Ser. 23(43), No. 2, 241–246 (1988; Zbl 0674.20032)], it was shown that any sum of coslender subgroups is again coslender and that a pure subgroup of a coslender group need not be coslender, even in the finite rank case. It was shown that there are superdecomposable coslender groups of any cardinality. It was also pointed out that (under CH) there are \(\aleph_1\)-free coslender groups of cardinality \(\aleph_1\).
The author of the paper under review proved in [the author, Cubo 9, No. 2, 59–79 (2007; Zbl 1144.03034)] that there are \(\aleph_n\)-free coslender abelian groups. In this paper the author sets the goal of finding the supremum of \(\lambda\), such that there are coslender \(\lambda\)-free groups. To that end, he proves that there are \(\aleph_{\omega_1\cdot n}\)-free (dubbed “quite free”) coslender groups (which are not Whitehead) and that is the farthest in \(\aleph\)-freeness of coslender groups that one can go. Namely he proves that, \(\kappa=\aleph_{\omega_1\cdot\omega}\) is the first cardinal for which it cannot be proved within ZFC that there are \(\kappa\)-free coslender groups. On the other hand, under the assumption that there are countably many supercompact cardinals in the ground model, the following statement is forced: Every non-trivial \(\kappa\)-free abelian group is not coslender, in order to show that it is consistent that every \(\kappa\)-free abelian group is not coslender. One of the difficulties of this paper is in that cardinality and freeness differ. The author uses his favorite method of “quite-free” (\(n\)-dimensional) black boxes to arrive at a number of the results. When generalizing from abelian groups to modules, the author assumes module category where pure submodules of free modules are again free (modules over “hereditary domains”). It may be that proving the existence of \(\lambda\)-free coslender groups need not require such heavy machinery as employed in the paper, however the techniques developed in the paper may have other applications.
The author of the paper under review proved in [the author, Cubo 9, No. 2, 59–79 (2007; Zbl 1144.03034)] that there are \(\aleph_n\)-free coslender abelian groups. In this paper the author sets the goal of finding the supremum of \(\lambda\), such that there are coslender \(\lambda\)-free groups. To that end, he proves that there are \(\aleph_{\omega_1\cdot n}\)-free (dubbed “quite free”) coslender groups (which are not Whitehead) and that is the farthest in \(\aleph\)-freeness of coslender groups that one can go. Namely he proves that, \(\kappa=\aleph_{\omega_1\cdot\omega}\) is the first cardinal for which it cannot be proved within ZFC that there are \(\kappa\)-free coslender groups. On the other hand, under the assumption that there are countably many supercompact cardinals in the ground model, the following statement is forced: Every non-trivial \(\kappa\)-free abelian group is not coslender, in order to show that it is consistent that every \(\kappa\)-free abelian group is not coslender. One of the difficulties of this paper is in that cardinality and freeness differ. The author uses his favorite method of “quite-free” (\(n\)-dimensional) black boxes to arrive at a number of the results. When generalizing from abelian groups to modules, the author assumes module category where pure submodules of free modules are again free (modules over “hereditary domains”). It may be that proving the existence of \(\lambda\)-free coslender groups need not require such heavy machinery as employed in the paper, however the techniques developed in the paper may have other applications.
Reviewer: Radoslav M. Dimitrić (New York)
MSC:
03E04 | Ordered sets and their cofinalities; pcf theory |
03E35 | Consistency and independence results |
03E55 | Large cardinals |
03E75 | Applications of set theory |
20K20 | Torsion-free groups, infinite rank |
Keywords:
coslender group; \(\lambda\)-free group; Whitehead group; black box; forcing; pcf; TDC\(_\lambda\); hereditary domainReferences:
[1] | Corner, A. L S.; Göbel, R., Prescribing endomorphism algebras, a unified treatment, Proceedings of the London Mathematical Society, 50, 447-479 (1985) · Zbl 0562.20030 · doi:10.1112/plms/s3-50.3.447 |
[2] | P. C. Eklof and A. Mekler, Almost Free Modules: Set Theoretic Methods, North-Holland Mathematical Library, Vol. 65, North-Holland, Amsterdam, 2002. · Zbl 1054.20037 |
[3] | Fuchs, L., Infinite Abelian Groups. Vols. I, II, Pure and Applied Mathematics, Vols. 36, 36-II (1970), New York-London: Academic Press, New York-London · Zbl 0209.05503 |
[4] | Herden, R. G D.; Shelah, S., Prescribing endomorphism rings of ℵ_n-free modules, Journal of the European Mathematical Society, 16, 1775-1816 (2014) · Zbl 1312.16024 · doi:10.4171/JEMS/475 |
[5] | Göbel, R.; Shelah, S., ℵn-free modules with trivial dual, Results in Mathematics, 54, 53-64 (2009) · Zbl 1183.13012 · doi:10.1007/s00025-009-0382-0 |
[6] | Göbel, R.; Shelah, S.; Struengmann, L., ℵ_n-free Modules over complete discrete valuation domains with small dual, Glasgow Mathematical Journal, 55, 369-380 (2013) · Zbl 1272.13009 · doi:10.1017/S0017089512000614 |
[7] | Göbel, R.; Trlifaj, J., Approximations and endomorphism algebras of modules. Vols. 1, 2, de Gruyter Expositions in Mathematics, Vol. 41 (2012), Berlin: Walter de Gruyter, Berlin · Zbl 1292.16001 |
[8] | Magidor, M.; Shelah, S., When does almost free imply free? (For groups, transversal etc.), Journal of the American Mathematical Society, 7, 769-830 (1994) · Zbl 0819.20059 · doi:10.1090/S0894-0347-1994-1249391-8 |
[9] | S. Shelah, Compactness spectrum. |
[10] | S. Shelah, Black boxes, https://arxiv.org/abs/0812.0656 · Zbl 1314.03042 |
[11] | S. Shelah, Compactness in singular cardinals revisited, Sarajevo Journal of Mathematics, to appear, https://arxiv.org/abs/1401.3175. · Zbl 1449.03015 |
[12] | S. Shelah, Quite free Abelian groups with prescribed endomorphism ring. |
[13] | S. Shelah, More on black boxes, in preparation. · Zbl 1314.03042 |
[14] | Shelah, S., Why there are many nonisomorphic models for unsuperstable theories, Proceedings of the International Congress of Mathematicians (Vancouver, BC, 1974), Vol. 1, 259-263 (1975), Montreal, QC: Canadian Mathematical Congress, Montreal, QC · Zbl 0367.02030 |
[15] | Shelah, S., A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals, Israel Journal of Mathematics, 21, 319-349 (1975) · Zbl 0369.02034 · doi:10.1007/BF02757993 |
[16] | Shelah, S., The lazy model-theoretician’s guide to stability, Logique et Analyse, 18, 241-308 (1975) · Zbl 0359.02052 |
[17] | S. Shelah, Classification Theory and the Number of Nonisomorphic Models, Studies in Logic and the Foundations of Mathematics, Vol. 92, North-Holland, Amsterdam-New York, 1978. · Zbl 0388.03009 |
[18] | Shelah, S., Further cardianl arithmetic, Israel Journal of Mathematics, 95, 61-114 (1996) · Zbl 0864.03032 · doi:10.1007/BF02761035 |
[19] | Shelah, S., Whitehead groups may not be free, even assuming CH. II, Israel Journal of Mathematics, 35, 257-285 (1980) · Zbl 0467.03049 · doi:10.1007/BF02760652 |
[20] | Shelah, S., A combinatorial principle and endomorphism rings. I.^On p-groups, Israel Journal of Mathematics, 49, 239-257 (1984) · Zbl 0559.20039 · doi:10.1007/BF02760650 |
[21] | Shelah, S., A combinatorial theorem and endomorphism rings of abelian groups. II, Abelian Groups and Modules (Udine, 1984), CISM Courses and Lectures, Vol. 287, 37-86 (1984), Vienna: Springer, Vienna · Zbl 0581.20052 |
[22] | Shelah, S., Incompactness in regular cardinals, Notre Dame Journal of Formal Logic, 26, 195-228 (1985) · Zbl 0617.03025 · doi:10.1305/ndjfl/1093870869 |
[23] | S. Shelah, Classification Theory and the Number of Nonisomorphic Models, Studies in Logic and the Foundations of Mathematics, Vol. 92, North-Holland, Amsterdam, 1990. · Zbl 0713.03013 |
[24] | Shelah, S., Advances in cardinal arithmetic, Finite and Infinite Combinatorics in Sets and Logic, NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences, Vol. 411, 355-383 (1993), Doedrecht: Kluwer Academic Publishers, Doedrecht · Zbl 0844.03028 · doi:10.1007/978-94-011-2080-7_25 |
[25] | Shelah, S., More on Cardinal Arithmetic, Archive for Mathematical Logic, 32, 399-428 (1993) · Zbl 0799.03052 · doi:10.1007/BF01270465 |
[26] | Shelah, S., Cardinal Arithmetic, Oxford Logic Guides, Vol. 29 (1994), New York: Clarendon Press, Oxford University Press, New York · Zbl 0848.03025 |
[27] | Shelah, S., If there is an exactly λ-free abelian group then there is an exactly λ-separable one, Journal of Symbolic Logic, 61, 1261-1278 (1996) · Zbl 0877.20037 · doi:10.2307/2275815 |
[28] | Shelah, S., Middle diamond, Archive for Mathematical Logic, 44, 527-560 (2005) · Zbl 1090.03023 · doi:10.1007/s00153-004-0239-x |
[29] | Shelah, S., ℵn-free abelain group with no non-zero homomorphism to ℤ, Cubo, 9, 59-79 (2007) · Zbl 1144.03034 |
[30] | Shelah, S., Theories with EF-equivalent non-isomorphic models, Tbilisi Mathematical Journal, 1, 133-164 (2008) · Zbl 1158.03315 · doi:10.32513/tbilisi/1528768827 |
[31] | Shelah, S., Non-reflection of the bad set for Ĭ_θ[λ] and pcf, Acta Mathematica Hungarica, 141, 11-35 (2013) · Zbl 1324.03014 · doi:10.1007/s10474-013-0344-6 |
[32] | Shelah, S., PCF and abelian groups, Forum Mathematicum, 25, 967-1038 (2013) · Zbl 1316.03023 |
[33] | Shelah, S., ZF + DC + AX_4, Archive for Mathematical Logic, 55, 239-294 (2016) · Zbl 1403.03078 · doi:10.1007/s00153-015-0469-0 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.