Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

Injectivity, projectivity, and the axiom of choice


Author: Andreas Blass
Journal: Trans. Amer. Math. Soc. 255 (1979), 31-59
MSC: Primary 04A25; Secondary 03E35, 20K99
MathSciNet review: 542870
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We study the connection between the axiom of choice and the principles of existence of enough projective and injective abelian groups. We also introduce a weak choice principle that says, roughly, that the axiom of choice is violated in only a set of different ways. This principle holds in all ordinary Fraenkel-Mostowski-Specker and Cohen models where choice fails, and it implies, among other things, that there are enough injective abelian groups. However, we construct an inner model of an Easton extension with no nontrivial injective abelian groups. In the presence of our weak choice principle, the existence of enough projective sets is as strong as the full axiom of choice, and the existence of enough free projective abelian groups is nearly as strong. We also prove that the axiom of choice is equivalent to ``all free abelian groups are projective'' and to ``all divisible abelian groups are injective."


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


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 04A25, 03E35, 20K99

Retrieve articles in all journals with MSC: 04A25, 03E35, 20K99


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9947-1979-0542870-6
PII: S 0002-9947(1979)0542870-6
Article copyright: © Copyright 1979 American Mathematical Society