Algebraically closed groups of large cardinality
- 1 December 1979
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 44 (4) , 522-532
- https://doi.org/10.2307/2273291
Abstract
Let M be a countable algebraically closed group, κ an uncountable cardinal. We will prove in this paper the following theorems.Theorem 1. There is an algebraically closed group N of cardinality κ which is ∞ – ω-equivalent to M.Theorem 2. There is an algebraically closed group N of cardinality κ which is ∞ – ω-equivalent to M, and contains a free abelian group of cardinality κ.Theorem 3. There are 2κ nonisomorphic algebraically closed groups of cardinality κ which are ∞ – ω-equivalent to M.Theorem 4. There is an algebraically closed group N of cardinality κ which is ∞ – ω-equivalent to M and satisfies: Every subgroup of N of uncountable reqular cardinality contains a free subgroup of the same cardinality.Theorems 2 and 4 illustrate Theorem 3 by exhibiting two groups N ≡ ∞ωM of cardinality κ which are nonisomorphic by obvious reasons. We state and prove Theorem 1 separately in order to give an easy example of our principal tool: the use of automorphisms instead of indiscernibles (see §2).Keywords
This publication has 8 references indexed in Scilit:
- Complete universal locally finite groupsTransactions of the American Mathematical Society, 1978
- Uncountable universal locally finite groupsJournal of Algebra, 1976
- Existentially closed structures and Jensen’s principleIsrael Journal of Mathematics, 1976
- Martin's Axiom Applied to Existentially Closed Groups.MATHEMATICA SCANDINAVICA, 1973
- On Algebraically Closed GroupsAnnals of Mathematics, 1972
- A combinatorial problem; stability and order for models and theories in infinitary languagesPacific Journal of Mathematics, 1972
- The subgroups of a free product of two groups with an amalgamated subgroupTransactions of the American Mathematical Society, 1970
- Embedding Theorems for GroupsJournal of the London Mathematical Society, 1959