Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

Request Permissions   Purchase Content 
 
 

 

Group radicals and strongly compact cardinals


Authors: Joan Bagaria and Menachem Magidor
Journal: Trans. Amer. Math. Soc. 366 (2014), 1857-1877
MSC (2010): Primary 03E35, 03E55, 16S90, 18E40; Secondary 03E75, 20Kxx
DOI: https://doi.org/10.1090/S0002-9947-2013-05871-0
Published electronically: November 25, 2013
MathSciNet review: 3152715
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We answer some natural questions about group radicals and torsion classes, which involve the existence of measurable cardinals, by constructing, relative to the existence of a supercompact cardinal, a model of ZFC in which the first $ \omega _1$-strongly compact cardinal is singular.


References [Enhancements On Off] (What's this?)

  • [1] Arthur W. Apter and Saharon Shelah, Menas' result is best possible, Trans. Amer. Math. Soc. 349 (1997), no. 5, 2007-2034. MR 1370634 (97h:03079), https://doi.org/10.1090/S0002-9947-97-01691-7
  • [2] Arthur W. Apter, Diamond, square, and level by level equivalence, Arch. Math. Logic 44 (2005), no. 3, 387-395. MR 2140617 (2006e:03071), https://doi.org/10.1007/s00153-004-0252-0
  • [3] G. Bergman and R. M. Solovay, Generalized Horn sentences and compact cardinals, Abstracts, AMS (1987), 832-04-13.
  • [4] James Cummings, Iterated forcing and elementary embeddings, Handbook of set theory. Vols. 1, 2, 3, Springer, Dordrecht, 2010, pp. 775-883. MR 2768691, https://doi.org/10.1007/978-1-4020-5764-9_13
  • [5] J. Cummings and W. H. Woodin, Generalised Prikry Forcings. Preprint.
  • [6] Manfred Dugas, On reduced products of abelian groups, Rend. Sem. Mat. Univ. Padova 73 (1985), 41-47. MR 799895 (86j:20050)
  • [7] Manfred Dugas and Rüdiger Göbel, On radicals and products, Pacific J. Math. 118 (1985), no. 1, 79-104. MR 783018 (86k:20052)
  • [8] Katsuya Eda, A Boolean power and a direct product of abelian groups, Tsukuba J. Math. 6 (1982), no. 2, 187-193. MR 705112 (85b:20078)
  • [9] Katsuya Eda, On a Boolean power of a torsion free abelian group, J. Algebra 82 (1983), no. 1, 84-93. MR 701037 (84i:20055), https://doi.org/10.1016/0021-8693(83)90174-6
  • [10] Katsuya Eda and Yoshihiro Abe, Compact cardinals and abelian groups, Tsukuba J. Math. 11 (1987), no. 2, 353-360. MR 926461 (89g:20088)
  • [11] Paul C. Eklof and Alan H. Mekler, Almost free modules, Revised edition, North-Holland Mathematical Library, vol. 65, North-Holland Publishing Co., Amsterdam, 2002. Set-theoretic methods. MR 1914985 (2003e:20002)
  • [12] L. Fuchs, Abelian groups, International Series of Monographs on Pure and Applied Mathematics, Pergamon Press, New York, 1960. MR 0111783 (22 #2644)
  • [13] Moti Gitik, Prikry-type forcings, Handbook of set theory. Vols. 1, 2, 3, Springer, Dordrecht, 2010, pp. 1351-1447. MR 2768695, https://doi.org/10.1007/978-1-4020-5764-9_17
  • [14] Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. The third millennium edition, revised and expanded. MR 1940513 (2004g:03071)
  • [15] Akihiro Kanamori, The higher infinite, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1994. Large cardinals in set theory from their beginnings. MR 1321144 (96k:03125)
  • [16] Y. Kimchi and M. Magidor, The independence between the concepts of compactness and supercompactness. Circulated manuscript (1980).
  • [17] Menachem Magidor, How large is the first strongly compact cardinal? or A study on identity crises, Ann. Math. Logic 10 (1976), no. 1, 33-57. MR 0429566 (55 #2578)
  • [18] Telis K. Menas, On strong compactness and supercompactness, Ann. Math. Logic 7 (1974/75), 327-359. MR 0357121 (50 #9589)
  • [19] William Mitchell, How weak is a closed unbounded ultrafilter?, Logic Colloquium '80 (Prague, 1980) Stud. Logic Foundations Math., vol. 108, North-Holland, Amsterdam, 1982, pp. 209-230. MR 673794 (84f:03047)
  • [20] Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori, Strong axioms of infinity and elementary embeddings, Ann. Math. Logic 13 (1978), no. 1, 73-116. MR 482431 (80h:03072), https://doi.org/10.1016/0003-4843(78)90031-1
  • [21] Burkhard Wald, Martinaxiom und die Beschreibung gewisser Homomorphismen in der Theorie der $ \aleph _{1}$-freien abelschen Gruppen, Manuscripta Math. 42 (1983), no. 2-3, 297-309 (German, with English summary). MR 701212 (84g:20095), https://doi.org/10.1007/BF01169592

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 03E35, 03E55, 16S90, 18E40, 03E75, 20Kxx

Retrieve articles in all journals with MSC (2010): 03E35, 03E55, 16S90, 18E40, 03E75, 20Kxx


Additional Information

Joan Bagaria
Affiliation: ICREA (Institució Catalana de Recerca i Estudis Avançats) – and – Departament de Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona, Montalegre 6, 08001 Barcelona, Catalonia, Spain
Email: joan.bagaria@icrea.cat

Menachem Magidor
Affiliation: Einstein Institute of Mathematics, The Hebrew University of Jerusalem, Edmond J. Safra Campus, Givat Ram, Jerusalem 91904, Israel
Email: Menachem.Magidor@huji.ac.il

DOI: https://doi.org/10.1090/S0002-9947-2013-05871-0
Keywords: Group radical, torsion class, infinite abelian group, measurable cardinal, strongly compact cardinal, supercompact cardinal, Radin forcing.
Received by editor(s): April 5, 2011
Received by editor(s) in revised form: September 16, 2011, January 16, 2012, and May 3, 2012
Published electronically: November 25, 2013
Additional Notes: The research of the first author was partially supported by the Spanish Ministry of Science and Innovation under grants MTM2008-03389 and MTM2011-25229, and by the Generalitat de Catalunya (Catalan Government) under grant 2009 SGR 187
The research of the second author was supported by the Israel Science Foundation grant 817/11. Part of this work was carried out while the authors were visiting the Mittag-Leffler Institut and the Mathematisches Forschungsinstitut Oberwolfach, whose hospitality is gratefully acknowledged.
Article copyright: © Copyright 2013 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.

American Mathematical Society