zbMATH — the first resource for mathematics

Complete existentially closed locally finite groups. (English) Zbl 0563.20037
A group G is existentially closed (e.c.) in a class \({\mathfrak X}\) of groups, if \(G\in {\mathfrak X}\), and each finite system of equations and inequations, with coefficients in G, having a solution in some \({\mathfrak X}\)-group containing G, already has a solution in G. It turns out that when \({\mathfrak X}\) is the class of locally finite groups, one obtains in this way the universal locally finite groups, which are usually defined somewhat differently. This paper deals with groups that are e.c. in \({\mathfrak X}\), where \({\mathfrak X}\) is either the class of all locally finite \(\pi\)-groups (for a set \(\pi\) of primes), or the class of locally finite- soluble \(\pi\)-groups. The main result of this impressive paper is Theorem 1: There is a set \({\mathfrak A}\) of \(2^{\omega_ 1}\) non-isomorphic e.c. \({\mathfrak X}\)-groups of cardinality \(\omega_ 1\) with the following properties: (i) if U and V are distinct members of \({\mathfrak A}\) and A and B are uncountable subgroups of U and V respectively, then A and B are not isomorphic; (ii) if A is an uncountable subgroup of \(U\in {\mathfrak A}\), then A is not isomorphic to any of its proper subgroups; (iii) (\(\diamond)\) every \(U\in {\mathfrak A}\) is a complete group. Here, \(\diamond\) denotes that Jensen’s set theoretic principle \(\diamond\), which cannot be proved from ZFC but is consistent with it, is used in the proof of property (iii) of the groups constructed.
For universal locally finite groups, that is, the case when \({\mathfrak X}\) is the class of all locally finite groups, the corresponding result was proved by K. Hickin [Trans. Am. Math. Soc. 239, 213-227 (1978; Zbl 0386.20014)], without using \(\diamond\). The present construction, which is very intricate, is an amalgam of Hickin’s methods with model theoretic techniques. The paper is carefully written, and the relevant set theory and model theory is clearly described for the benefit of group theorists unaccustomed to this kind of thing.
Now universal locally finite groups are well known to be simple. On the other hand, it is shown to follow from the classification of finite simple groups that if \({\mathfrak X}\) (as described in the first paragraph) is not the class of all locally finite groups, then an e.c. \({\mathfrak X}\)- group cannot be simple. In particular, for such \({\mathfrak X}\), the groups in the set \({\mathfrak A}\) are not simple. By (iii) they are not characteristically simple either, disproving a conjecture of Kegel that e.c. \({\mathfrak X}\)-groups are characteristically simple. Actually a more careful study of the construction shows that if \(U\in {\mathfrak A}\), then every non-trivial normal subgroup of U is uncountable. Thus, since it is also known that the set of normal subgroups is totally ordered by inclusion, distinct normal subgroups of U are non-isomorphic and hence one sees that U is not characteristically simple without using \(\diamond.\)
It is interesting to note that while one obtains uncountable complete locally finite p-groups in this way, a very simple argument shows that a countable locally finite p-group cannot be complete. In fact no example appears to be known of a complete countably infinite locally finite group.
Reviewer: B.Hartley

20F50 Periodic groups; locally finite groups
20E25 Local properties of groups
20E07 Subgroup theorems; subgroup growth
03C60 Model-theoretic algebra
20E15 Chains and lattices of subgroups, subnormal subgroups
20F28 Automorphism groups of groups
Full Text: DOI
[1] K. J. Barwise, Back and forth through infinitary logic. In: Studies in model theory, Morley, M. D. (ed.), MAA Studies in Math.8, 5-34. Math. Assoc. Amer. Buffalo, NY (1973).
[2] P. Hall, Some constructions for locally finite groups. J. London Math. Soc.34, 305-319 (1959). · Zbl 0088.02301 · doi:10.1112/jlms/s1-34.3.305
[3] K. Hickin, Complete universal locally finite groups. Trans. Amer. Math. Soc.239, 213-227 (1978). · Zbl 0386.20014 · doi:10.1090/S0002-9947-1978-0480750-4
[4] C. H. Houghton, On the automorphism group of certain wreath products. Publ. Math. Debrecen9, 307-313 (1962). · Zbl 0118.26702
[5] O. H.Kegel and B. A. F.Wehrfritz, Locally finite groups. Amsterdam 1973. · Zbl 0259.20001
[6] H. J.Keisler, Model theory for infinitary logic. Amsterdam 1971. · Zbl 0222.02064
[7] R. D.Kopperman and A. R. D.Mathias, Some problems in group theory. In: The syntax and semantics of infinitary languages, Barwise, Jon (ed.), LNM72, 131-138, Berlin 1968.
[8] F.Leinen, Existenziell abgeschlosseneLX-Gruppen. Dissertation, Albert-Ludwigs-Universität Freiburg i. Br. 1984.
[9] A.Levy, Basic set theory. Berlin-Heidelberg-New York 1979. · Zbl 0404.04001
[10] A. MacIntyre, Existentially closed structures and Jensen’s principle ?. Israel J. Math.25, 202-210 (1976). · Zbl 0374.02034 · doi:10.1007/BF02757000
[11] A. MacIntyre andS. Shelah, Uncountable universal locally finite groups. J. Algebra43, 168-175 (1976). · Zbl 0363.20032 · doi:10.1016/0021-8693(76)90150-2
[12] B. Maier, Existenziell abgeschlossene lokal endlichep-Gruppen. Arch. Math.37, 113-128 (1981). · Zbl 0474.20015 · doi:10.1007/BF01234334
[13] B. H. Neumann andH. Neumann, Embedding theorems for groups. J. Lond. Math. Soc.34, 465-479 (1959). · Zbl 0102.26401 · doi:10.1112/jlms/s1-34.4.465
[14] S.Thomas, Complete Universal Locally Finite Groups of Large Cardinality (in preparation).
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.