×

Small almost free modules with prescribed topological endomorphism rings. (English) Zbl 1148.20308

Summary: We will realize certain topological rings as endomorphism rings of \(\aleph_1\)-free Abelian groups of cardinality \(\aleph_1\) where the isomorphism is also a homeomorphism relating the topology on the given ring to the finite topology on the endomorphism ring. This way we also find \(\aleph_1\)-free Abelian groups of cardinality \(\aleph_1\) such that any non-trivial summand is a proper direct sum of an infinite number of summands. This answers a problem raised by the authors [in Proc. Lond. Math. Soc., III. Ser. 50, 447-479 (1985; Zbl 0562.20030), p. 447, (1)], (saying that \(\aleph_1\in\text{vat}(R)\) in the cotorsion-free case). The fact that the size of the continuum could and in particular universes of set theory will be much larger then \(\aleph_1\) causes difficulties in constructing pathological Abelian groups \(G\) of size \(\aleph_1\) in “ordinary” set theory using just ZFC: There are less possibilities to prevent potential, unwanted endomorphisms of \(G\) not to become members of \(\text{End\,}G\). Thus additional combinatorial arguments are needed. They come from [R. Göbel, S. Shelah, Can. J. Math. 50, No. 4, 719-738 (1998; Zbl 0959.20049)], were improved for this paper, and are now ready for applications for other algebraic aspects. The results are formulated for modules over a large class of commutative rings.

MSC:

20K20 Torsion-free groups, infinite rank
20K30 Automorphisms, homomorphisms, endomorphisms, etc. for abelian groups
03E50 Continuum hypothesis and Martin’s axiom
16S50 Endomorphism rings; matrix rings
13C10 Projective and free modules and ideals in commutative rings
20K25 Direct sums, direct products, etc. for abelian groups
16W80 Topological and ordered rings and modules
PDFBibTeX XMLCite
Full Text: EuDML

References:

[1] R. BAER, Abelian groups without elements of finite order, Duke Math. J., 3 (1937), pp. 68-122. MR1545974 JFM63.0074.02 · Zbl 0016.20303 · doi:10.1215/S0012-7094-37-00308-9
[2] A. BIRTZ, Sur des décompositions directes paradoxales de groupes abéliens sans torsion, Abelian Group Theory, Proceedings, Honolulu 1982/83, Lecture Notes in Mathematics 1006 (Springer, Berlin, 1983), pp. 358-361. Zbl0517.20029 MR722630 · Zbl 0517.20029
[3] A. L. S. CORNER, Every countable reduced torsion-free ring is an endomorphisms ring, Proc. London Math. Soc., 13 (1963), pp. 687-710. Zbl0116.02403 MR153743 · Zbl 0116.02403 · doi:10.1112/plms/s3-13.1.687
[4] A. L. S. CORNER, Endomorphisms rings of torsion-free abelian groups, Proceedings of the International Conference on the Theory of Groups, Canberra 1965 (Gordon and Breach, New York, 1967), pp. 59-69. Zbl0178.02303 · Zbl 0178.02303
[5] A. L. S. CORNER, Additive categories and a theorem of W. G. Leavitt, Bull. Amer. Math. Soc., 75 (1969), pp. 78-82. Zbl0188.08502 MR238903 · Zbl 0188.08502 · doi:10.1090/S0002-9904-1969-12150-6
[6] A. L. S. CORNER, On the existence of very decomposable abelian groups, Abelian Group Theory, Proceedings, Honolulu 1982/83, Lecture Notes in Mathematics 1006 (Springer, Berlin, 1983), pp. 354-357. MR722629
[7] A. L. S. CORNER - R. GÖBEL, Prescribing endomorphism algebras, a unified treatment, Proc. London Math. Soc., 50 (1985), pp. 447-479. Zbl0562.20030 MR779399 · Zbl 0562.20030 · doi:10.1112/plms/s3-50.3.447
[8] M. DUGAS - R. GÖBEL, Every cotorsion-free ring is an endomorphism ring, Proc. London Math. Soc. (3), 45 (1982), pp. 319-336. Zbl0506.16022 MR670040 · Zbl 0506.16022 · doi:10.1112/plms/s3-45.2.319
[9] M. DUGAS - R. GÖBEL, Every cotorsion-free algebra is an endomorphism algebra, Math. Zeitschr., 181 (1982), pp. 451-470. Zbl0501.16031 MR682667 · Zbl 0501.16031 · doi:10.1007/BF01182384
[10] P. C. EKLOF, Set theoretic methods in homological algebra and abelian groups, Les Presses de l’Université de Montréal, Montreal 1980. Zbl0488.03029 MR565449 · Zbl 0488.03029
[11] K. EDA, Cardinal restrictions for preradicals, Abelian Group Theory, Contemporary Math. 87, Providence, 1989, pp. 277-283. Zbl0687.20049 MR995283 · Zbl 0687.20049
[12] P. EKLOF - A. MEKLER, Almost Free Modules, Set-theoretic Methods, NorthHolland, 1990. Zbl0718.20027 MR1055083 · Zbl 0718.20027
[13] L. FUCHS, Abelian Groups, Vol. I and II, Academic Press, 1970 and 1973.
[14] R. GÖBEL, Some combinatorial principles for solving algebraic problems, Infinite length modules, Trends in Mathematics, Birkhäuser Verlag, Basel, 2000, pp. 107-127. Zbl0985.20047 MR1789212 · Zbl 0985.20047
[15] R. GÖBEL - S. SHELAH, Indecomposable almost free modules-the local case, Canadian J. Math., 50 (4) (1998), pp. 719-738. Zbl0959.20049 MR1638607 · Zbl 0959.20049 · doi:10.4153/CJM-1998-039-7
[16] R. GÖBEL - S. SHELAH, Endomorphism rings of modules whose cardinality is cofinal to v, Abelian groups, module theory, and topology, Marcel Dekker, New York, 1998, pp. 235-248. Zbl0940.16016 MR1651170 · Zbl 0940.16016
[17] P GRIFFITH, ]n-free abelian groups, Quart. J. Math. (2), 23 (72), pp. 417-425. Zbl0274.20068 MR325804 · Zbl 0274.20068 · doi:10.1093/qmath/23.4.417
[18] T. JECH, Set theory, Academic Press, New York, 1978. Zbl0419.03028 MR506523 · Zbl 0419.03028
[19] S. SHELAH, On uncountable abelian groups, Israel J. Math., 32 (1979), pp. 311-330. Zbl0412.20047 MR571086 · Zbl 0412.20047 · doi:10.1007/BF02760461
[20] S. SHELAH, On endo-rigid strongly ]1-free abelian groups in ]1 , Israel J. Math., 40 (1981), pp. 291-295. Zbl0501.03015 MR654584 · Zbl 0501.03015 · doi:10.1007/BF02761369
[21] S. SHELAH, A combinatorial theorem and endomorphism rings of abelian groups II, Abelian Groups and Modules (R. Göbel, C. Metelli, A. Orsatti and L. Salce, eds.), CISM Courses and Lectures 287, Springer-Verlag, 1984, pp. 37-86. Zbl0581.20052 MR789808 · Zbl 0581.20052
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.