Injectivity, projectivity, and the axiom of choice

Blass, Andreas

doi:10.1090/S0002-9947-1979-0542870-6

Injectivity, projectivity, and the axiom of choice
HTML articles powered by AMS MathViewer

by Andreas Blass

Trans. Amer. Math. Soc. 255 (1979), 31-59

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

PDF | Request permission

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

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 10.1016/S0049-237X(09)70120-X
An algebraic equivalent of a multiple choice axiom, Fund. Math. 74 (1972), no. 2, 145–146. MR 290958, DOI 10.4064/fm-74-2-145-146

Two algebraic equivalents of the axiom of choice

22

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) Lecture Notes in Math., Vol. 499, Springer, Berlin, 1975, pp. 115–142. MR 0480036
William B. Easton, Powers of regular cardinals, Ann. Math. Logic 1 (1970), 139–178. MR 269497, DOI 10.1016/0003-4843(70)90012-4
Serge Grigorieff, Intermediate submodels and generic extensions in set theory, Ann. of Math. (2) 101 (1975), 447–490. MR 373889, DOI 10.2307/1970935
Thomas J. Jech, The axiom of choice, Studies in Logic and the Foundations of Mathematics, Vol. 75, North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1973. 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, DOI 10.1007/BFb0073881
John L. Kelley, General topology, D. Van Nostrand Co., 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, Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York-Berlin, 1971. MR 0354798

A model of

which cannot be extended to a model of

without adding ordinals

17

D. G. Northcott, An introduction to homological algebra, Cambridge University Press, New York, 1960. MR 0118752, DOI 10.1017/CBO9780511565915
Richard A. Platek, Eliminating the continuum hypothesis, J. Symbolic Logic 34 (1969), 219–225. MR 256872, DOI 10.2307/2271098
Dock Sang Rim, Modules over finite groups, Ann. of Math. (2) 69 (1959), 700–712. MR 104721, DOI 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

Algebra