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)

 
 

 

Homological algebra and set theory


Author: Paul C. Eklof
Journal: Trans. Amer. Math. Soc. 227 (1977), 207-225
MSC: Primary 02K05; Secondary 20K35, 02K25, 04A20
DOI: https://doi.org/10.1090/S0002-9947-1977-0453520-X
MathSciNet review: 0453520
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Assuming the Axiom of Constructibility, necessary and sufficient conditions are given for the vanishing of $ {\operatorname{Ext}}_\Lambda ^1$ for rings $ \Lambda $ of global dimension 1. Using Martin's Axiom, the necessity of these conditions is shown not to be a theorem of ZFC. Applications are given to abelian group theory, including a partial solution (assuming $ {\text{V}} = {\text{L}}$) to a problem of Baer on the splitting of abelian groups. Some independence results in abelian group theory are also proved.


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

  • [1] R. Baer, The subgroup of the elements of finite order of an abelian group, Ann. of Math. (2) 37 (1936), 766-781. MR 1503308
  • [2] W. Boos, Infinitary compactness without strong inaccessibility, J. Symbolic Logic 41 (1976), 33-38. MR 0409184 (53:12946)
  • [3] H. Cartan and S. Eilenberg, Homological algebra, Princeton Univ. Press, Princeton, N. J. 1956. MR 17, 1040. MR 0077480 (17:1040e)
  • [4] M. Dickman, Large infinitary languages, North-Holland, Amsterdam, 1975. MR 0539973 (58:27450)
  • [5] F. Drake, Set theory, an introduction to large cardinals, North-Holland, Amsterdam, 1974.
  • [6] P. C. Eklof, Infinitary equivalence of abelian groups, Fund. Math. 81 (1974), 305-314. MR 50 #6829. MR 0354349 (50:6829)
  • [7] -, On the existence of $ \kappa $-free abelian groups, Proc. Amer. Math. Soc. 47 (1975), 65-72. MR 52 #599. MR 0379694 (52:599)
  • [8] L. Fuchs, Abelian groups, Akad. Kiadó, Budapest, 1958; Pergamon Press, New York, 1960. MR 21 #5672; 22 #2644. MR 0111783 (22:2644)
  • [9] -, Infinite abelian groups, Vol. I, Academic Press, New York and London, 1970. MR 41 #333. MR 0255673 (41:333)
  • [10] -, Infinite abelian groups, Vol. II, Academic Press, New York and London, 1973. MR 50 #2362. MR 0349869 (50:2362)
  • [11] K. Gödel, The consistency of the continuum hypothesis, Princeton Univ. Press, Princeton, N. J., 1940. MR 2, 66. MR 0002514 (2:66c)
  • [12] J. Gregory, Abelian groups infinitarily equivalent to free ones, Notices Amer. Math. Soc. 20 (1973), A-500. Abstract #73T-E77.
  • [13] P. A. Griffith, A solution to the splitting mixed group problem of Baer, Trans. Amer. Math. Soc. 139 (1969), 261-269. MR 39 #317. MR 0238957 (39:317)
  • [14] -, Infinite abelian group theory, Univ. of Chicago Press, Chicago, 1970. MR 44 #6826. MR 0289638 (44:6826)
  • [15] R. Jensen, The fine structure of the constructible hierarchy, Ann. Math. Logic 4 (1972), 229-308; erratum, ibid. 4 (1972), 443. MR 46 #8834. MR 0309729 (46:8834)
  • [16] H. J. Keisler, Model theory for infinitary logic, North-Holland, Amsterdam, 1971. MR 49 #8855. MR 0344115 (49:8855)
  • [17] K. Kunen, Indescribability and the continuum, Proc. Sympos. Pure Math., vol. 13, part I, Amer. Math. Soc., Providence, R. I., 1971, pp. 199-203. MR 44 #63. MR 0282829 (44:63)
  • [18] A. Mekler, Applications of logic to group theory, Ph. D. Dissertation, Stanford Univ., 1976.
  • [19] -, The number of $ \kappa $-free groups and the size of Ext (to appear).
  • [20] J. Rotman, Shelah's solution of Whitehead's problem (typescript).
  • [21] E. Saisada, An application of Kulikov's basic subgroups in the theory of abelian mixed groups, Bull. Acad. Polon. Sci. 4 (1956), 411-413. MR 0081903 (18:464e)
  • [22] S. Shelah, Infinite abelian groups, Whitehead problem and some constructions, Israel J. Math. 18 (1974), 243-256. MR 50 #9582. MR 0357114 (50:9582)
  • [23] -, A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals, Israel J. Math. 21 (1975), 319-349. MR 0389579 (52:10410)
  • [24] R. M. Solovay and S. Tennenbaum, Iterated Cohen extensions and Souslin's problem, Ann. of Math. (2) 94 (1971), 201-245. MR 45 #3212. MR 0294139 (45:3212)
  • [25] K. Stein, Analytische Funktionen mehrerer komplexer Veränderlichen zu vorgegebenen Periodizitätsmoduln und das zweite Cousinsche Problem, Math. Ann. 123 (1951), 201-222. MR 13, 224. MR 0043219 (13:224f)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02K05, 20K35, 02K25, 04A20

Retrieve articles in all journals with MSC: 02K05, 20K35, 02K25, 04A20


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1977-0453520-X
Article copyright: © Copyright 1977 American Mathematical Society

American Mathematical Society