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

DOI:
https://doi.org/10.1090/S0002-9947-1979-0542870-6

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."

- Peter Aczel,
*The type theoretic interpretation of constructive set theory: choice principles*, The L. E. J. Brouwer Centenary Symposium (Noordwijkerhout, 1981) Stud. Logic Found. Math., vol. 110, North-Holland, Amsterdam, 1982, pp. 1–40. MR**717236**, DOI https://doi.org/10.1016/S0049-237X%2809%2970120-X *An algebraic equivalent of a multiple choice axiom*, Fund. Math.**74**(1972), no. 2, 145–146. MR**290958**
A. Blass, - Henri Cartan and Samuel Eilenberg,
*Homological algebra*, Princeton University Press, Princeton, N. J., 1956. MR**0077480** - Paul J. Cohen,
*Set theory and the continuum hypothesis*, W. A. Benjamin, Inc., New York-Amsterdam, 1966. MR**0232676** - Keith I. Devlin and R. B. Jensen,
*Marginalia to a theorem of Silver*, $\vDash $ISILC Logic Conference (Proc. Internat. Summer Inst. and Logic Colloq., Kiel, 1974) Springer, Berlin, 1975, pp. 115–142. Lecture Notes in Math., Vol. 499. MR**0480036** - William B. Easton,
*Powers of regular cardinals*, Ann. Math. Logic**1**(1970), 139–178. MR**269497**, DOI https://doi.org/10.1016/0003-4843%2870%2990012-4 - Serge Grigorieff,
*Intermediate submodels and generic extensions in set theory*, Ann. of Math. (2)**101**(1975), 447–490. MR**373889**, DOI https://doi.org/10.2307/1970935
W. Hodges, private communication.
- Thomas J. Jech,
*The axiom of choice*, North-Holland Publishing Co., Amsterdam-London; Amercan Elsevier Publishing Co., Inc., New York, 1973. Studies in Logic and the Foundations of Mathematics, Vol. 75. MR**0396271** - Ronald Björn Jensen,
*Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms*, Lecture Notes in Mathematics, No. 37, Springer-Verlag, Berlin-New York, 1967 (German). Ausgearbeitet von Franz Josef Leven. MR**0221930** - John L. Kelley,
*General topology*, D. Van Nostrand Company, Inc., Toronto-New York-London, 1955. MR**0070144** - Azriel Lévy,
*Definability in axiomatic set theory. I*, Logic, Methodology and Philos. Sci. (Proc. 1964 Internat. Congr.), North-Holland, Amsterdam, 1965, pp. 127–151. MR**0205827** - Saunders MacLane,
*Categories for the working mathematician*, Springer-Verlag, New York-Berlin, 1971. Graduate Texts in Mathematics, Vol. 5. MR**0354798**
D. Morris, - D. G. Northcott,
*An introduction to homological algebra*, Cambridge University Press, New York, 1960. MR**0118752** - Richard A. Platek,
*Eliminating the continuum hypothesis*, J. Symbolic Logic**34**(1969), 219–225. MR**256872**, DOI https://doi.org/10.2307/2271098 - Dock Sang Rim,
*Modules over finite groups*, Ann. of Math. (2)**69**(1959), 700–712. MR**104721**, DOI https://doi.org/10.2307/1970033 - J. R. Shoenfield,
*Unramified forcing*, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 357–381. MR**0280359**
B. L. van der Waerden,

*Two algebraic equivalents of the axiom of choice*, Notices Amer. Math. Soc.

**22**(1975), A-524.

*A model of*ZF

*which cannot be extended to a model of*ZFC

*without adding ordinals*, Notices Amer. Math. Soc.

**17**(1970), 577.

*Algebra*. II, 5th ed., Springer-Verlag, Berlin, 1967.

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

Article copyright:
© Copyright 1979
American Mathematical Society