Hostname: page-component-78c5997874-mlc7c Total loading time: 0 Render date: 2024-11-08T05:33:28.666Z Has data issue: false hasContentIssue false

If there is an exactly λ-free abelian group then there is an exactly λ-separable one in λ

Published online by Cambridge University Press:  12 March 2014

Saharon Shelah*
Affiliation:
Institute of Mathematics, The Hebrew University, Jerusalem, Israel Department of Mathematics, Rutgers University, New Brunswick, New Jersey 08903, USA

Abstract

We give a solution stated in the title to problem 3 of part 1 of the problems listed in the book of Eklof and Mekler [2], p. 453. There, in pp. 241-242, this is discussed and proved in some cases. The existence of strongly λ-free ones was proved earlier by the criteria in [5] and [3]. We can apply a similar proof to a large class of other varieties in particular to the variety of (non-commutative) groups.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1996

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Eklof, P. and Mekler, A., Categoricity results for L∞,κ-free algebras, Annals of Pure and Applied Logic, vol. 37, pp. 8199.CrossRefGoogle Scholar
[2]Eklof, P. and Mekler, A., Almost free modules; Set theoretic methods, North Holland Library, 1990.Google Scholar
[3]Mekler, Alan H. and Shelah, Saharon, When κ-free implies strongly κ-free, Abelian group theory (Oberwolfach 1985), Gordon and Breach, New York, 1987, pp. 137148.Google Scholar
[4]Mekler, Alan H. and Shelah, Saharon, Almost free algebras, Israel Journal of Mathematics, vol. 89 (1995), pp. 237259.CrossRefGoogle Scholar
[5]Shelah, Saharon, Incompactness in regular cardinals, Notre Dame Journal of Formal Logic, vol. 26 (1985), pp. 195228.CrossRefGoogle Scholar