EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

arXiv:1102.5578v3 [math.LO] 4 Jun 2017

SAHARON SHELAH
Abstract. We investigate this class of groups originally called ulf (universal
locally finite groups) of uncountable cardinality. We prove that for every locally
finite group G there is a canonical existentially closed extension of the same
cardinality, unique up to isomorphism and increasing with G. Also we get,
e.g. existence of complete members (i.e. with no non-inner automorphisms) in
many cardinals (provably in ZFC). The main point here is having a parallel to
stability theory in the sense of investigating definable types though the class
is very unstable.

Date: April 7, 2017.
1991 Mathematics Subject Classification. Primary: 03C55, 03C50, 03C60; Secondary: 03C98,
03C45.
Key words and phrases. model theory, applications of model theory, groups, locally finite
groups, canonical closed extension, endo-rigid group.
Partially supported by the ISF, Israel Science Foundation. Paper 312
I would like to thank Alice Leonhardt for the beautiful typing.
First Typed - 02/Oct/18.
1

2

SAHARON SHELAH

§ 0. Introduction
§ 0(A). Background.
On lf (locally finite) groups and exlf (existentially closed locally finite) groups,
see the book by Kegel-Wehrfritz [KW73]; exlf groups were originally called ulf (=
universal locally finite) groups, we change as the word “universal” has been used
in this context with a different meaning, see Definition 0.21 and Claim 0.14.
Recall
Definition 0.1. 1) G is a lf (locally finite) group if G is a group and every finitely
generated subgroup is finite.
2) G is an exlf (existentially closed lf) group (in [KW73] it is called ulf, universal
locally finite group) when G is a locally finite group and for any finite groups K ⊆ L
and embedding of K into G, the embedding can be extended to an embedding of
L into G.
3) Let Klf be the class of lf (locally finite) groups (partially ordered by ⊆, being a
subgroup) and let Kexlf be the class of existentially closed G ∈ Klf .
In particular there is one and only one exlf group of cardinality ℵ0 . Hall proved
that every lf group can be extended to an exlf group, as follows. It suffices for a
given lf group G to find H ⊇ G such that if K ⊆ L are finite and f embeds K
into G, then some g ⊇ f embed L into H. To get such H, for finite K ⊆ G let
EG,K = {(a, b) : a, b ∈ G and aK = bK} and let G⊕ be the group of permutations
f of G such that for some finite K ⊆ G we have a ∈ G ⇒ aEG,K f (a); now
b ∈ G should be identified with fb ∈ G⊕ where fb is defined by fb (x) = xb hence
fb ∈ G⊕ because if b ∈ K ⊆ G then a ∈ G ⇒ fb (a) = ab ∈ abK = aK and
fb2 ◦ fb1 (x) = (xb1 )b2 = x(b1 b2 ) = fb1 b2 (x). Now H = G⊕ is essentially as required.
The proof gives a canonical extension. This means for example that every automorphism of G can be extended to an automorphism of G⊕ and, moreover, we
can do it uniformly so preserving isomorphisms. Still we may like to have more;
(for a given lf infinite group G) the extension G⊕ defined above is of cardinality
2|G| rather than the minimal value - |G| + ℵ0 (not to mention having to repeat this
ω times in order to get an exlf extension). Also if G1 ⊆ G2 then the connection
⊕
between G⊕
1 and G2 is not clear, i.e. failure of “naturality”. A major point of
the present work is a construction of a canonical existentially closed extension of G
which has those two additional desirable properties, see e.g. 3.15.
Note that in model theoretic terminology the exlf groups are the (D, ℵ0 )-homogeneous
groups, with D the set of isomorphism types of finite groups or more exactly complete qf (= quantifier free) types of finite tuples generating a finite group, see e.g.
[Sh:88r, §2]. We use quantifier free types as we use embeddings (rather than, e.g.
elementary embeddings). Let D(G) be the set of qf-complete types of finite sequences from the group G.
Let Kexlf be the class of exlf groups. By Grossberg-Shelah [GrSh:174], if λ = λℵ0
then no G ∈ Kexlf
:= {H ∈ Kexf : |H| = λ} is universal in it, i.e., such that every
λ
other member is embeddable into it. But if κ is a compact cardinal and λ > κ is
strong limit of cofinality ℵ0 then there is a universal exlf in cardinality λ, (this is a
special case of a general theorem).
Wehrfritz asked about the categoricity of the class of exlf groups in any λ > ℵ0 .
This was answered by Macintyre-Shelah [McSh:55] which proved that in every λ >

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

3

ℵ0 there are 2λ non-isomorphic members of Kexlf
λ . This was disappointing in some
sense: in ℵ0 the class is categorical, so the question was perhaps motivated by the
hope that also general structures in the class can be understood to some extent.
A natural and frequent question on a class of structures is the existence of rigid
members, i.e. ones with no non-trivial automorphism. Now any exlf group G ∈
Kexlf has non-trivial automorphisms - the inner automorphisms (recalling it has a
trivial center). So the natural question is about complete members where a group
is called complete iff it has no non-inner automorphism.
Concerning the existence of a complete, locally finite group of cardinality λ:
Hickin [Hic78] proved one exists in ℵ1 (and more, e.g. he finds a family of 2ℵ1
such groups pairwise far apart, i.e. no uncountable group is embeddable in two of
them). Thomas [Tho86] assumed G.C.H. and built one in every successor cardinal
(and more, e.g. it has no Abelian or just solvable subgroup of the same cardinality).
Related are Giorgetta-Shelah [GgSh:83], Shelah-Zigler [ShZi:96], which investigate
KG∗ getting similar results where
(∗) G∗ an existentially closed countable group let
(a) KG∗ is the class of groups G such that every finitely generated subgroup of G is embeddable into G∗
(b) Kexcl
G∗ is the class of groups G which are L∞,ℵ0 -equivalent to G∗ (excl
stands for existentially closed); equivalently G ∈ KG∗ , every finitely
generated subgroup of G∗ is embeddable into G and if ā, b̄ ∈ n G realize
the same qf type in G then some inner automorphism of G maps ā to
b̄
(∗∗) we can replace “group G∗ ” by any other structure.
Giorgetta-Shelah [GgSh:83] build in cardinality continuum G ∈ Kexlf with no
uncountable Abelian subgroup and similarly for Kexcl
G∗ , G∗ as in (∗) and also for
excl
the similarly defined KF∗′ , F∗ an existentially closed countable fixed division ring.
Shelah-Zigler [ShZi:96] build, for G∗ as in (∗) and λ > ℵ0 ; Nλℓ ∈ Kexlf
G∗ of cardinality
λ for ℓ = 1, 2 such that Nλ1 has an Abelian group of cardinality λ and every subgroup of cardinality λ has a free subgroup of the same cardinality; moreover, they
are 2λ pairwise non-isomorphic N like Nλℓ .
In 1985 the author wrote notes (in Hebrew) for proving that there are anti-prime
constructions and complete exlf groups when, e.g., λ = µ+ , µℵ0 = µ; using black
boxes and “anti-prime” construction, i.e. using definable types as below; here we
exclusively use qf (quantifier free) types; this was announced in [Sh:300, pg.418],
but the work was not properly finished. To do so is our aim here.
Meanwhile Dugas-Göbel [DG93, Th.2] prove that for λ = λℵ0 and G0 ∈ Klf≤λ
+

λ
there is a complete G ∈ Kexlf
pairwise non-isomorphic
λ+ extending G0 ; moreover 2
ones. Then Braun-Göbel [BG03] got better results for complete locally finite pgroups. Those constructions build an increasing continuous chain hGα : α < λ+ i,
each Gα of cardinality λ, such that Gα+1 is the wreath product of Gα and suitable
Abelian locally finite groups, G = {Gα : α < λ+ } is the desired group. This
gives a tight control over the group and implies, e.g. that only few (i.e. ≤ λ)
members commute with G0 . Here we are interested in groups G′ which are “more
existentially closed”, e.g. “for every G′ ⊆ G of cardinality < |G|, there are |G|
elements commuting with it”; such properties are called “being full”, note that

4

SAHARON SHELAH

fullness implies that a restriction on the cardinal is necessary and not so without
it, see 5.5.
We show that though the class Kexlf is very “unstable” there is a large enough set
of definable types so we can imitate stability theory and have reasonable control
in building exlf groups, using quantifier free types. This may be considered a
“correction” to the non-structure results discussed above.
In §1 we present somewhat abstractly our results relying on the existence of a
dense and closed so called S, a set of schemes of definitions of the relevant types.
So before we turn to explaining our results we deal with the so called schemes,
needed for explaining them.
§ 0(B). Schemes.
We deal with a class K of structures, usually it is the class of locally finite groups,
but some of the results holds for suitable universal classes, see §6.
Central here are so-called schemes. For models theorists they are for a given
G ∈ Klf and finite sequence ā ⊆ G (realizing a suitable quantifier free type) a
definition of a complete (quantifier free) type over G so realized in some extension
of G from Klf , which does not split over ā; alternatively you may say that they are
definitions of a complete type quantifier over G which does not split over ā and its
restriction.
For algebraists they are our replacement of free products G1 ∗G0 G2 , but Klf is
not closed under free product, in fact, fail amalgamation. So we are interested in
replacements in the cases G0 is finite, also we waive symmetry.
Convention 0.2. 1) K a universal class of structures (i.e. all of the same vocabulary, closed under isomorphisms and M ∈ K iff every finite generated substructure
belongs to K; usually K = Klf ).
2) G, H, . . . ∈ K.
Definition 0.3. For H ∈ K, n < ω, a set A ⊆ H and ā ∈ n H let tp(ā, A, H) =
tpbs (ā, A, H) be the basic type of ā in H over A, that is:
{ϕ(x̄, b̄) : ϕ is a basic (atomic or negation of atomic) formula in the variables
x̄ = hxℓ : ℓ < ni and the parameters b̄, a finite sequence from A,
which is satisfied by ā in H}.
So if K is a class of groups withough loss of generality ϕ is σ(x̄, b̄) = e or σ(x̄, b̄) 6= e
for some group-term σ, a so called “word”, (for Kolf we also have σ1 (x̄, b̄) < σ2 (x̄, b̄))
but we may write p(ȳ) = tpbs (b̄, A, H) or p(z̄) = tpbs (c̄, A, H) or just p when the
sequence of variables is clear from the context.
2) We say p(x̄) is an n − bs-type over G when it is a set of basic formulas in the
variables x̄ = hxℓ : ℓ < ni and parameters from G, such that p(x̄) is consistent,
which means: if K ⊆ G is f.g. and q(x̄) is a finite subset of p(x̄) and q(x̄) is over
K (i.e. all the parameters appearing in q(x̄) are from K) then q(x̄) is realized in
some L ∈ K extending K. We say ā realizes p in H if G ⊆ H and ϕ(x̄, b̄) ∈ p ⇒
H |= ϕ[ā, b̄].
3) Snbs (G) = {tpbs (ā, G, H) : G ⊆ H, H is from K and ā ∈ n H} and Sbs (G) =
S
Sbs (G); if K is not clear from the context we should write Snbs (G, K), Sbs (G, K).
n

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

5

Observation 0.4. For every p ∈ Snbs (M ) and M ∈ K there are N, ā such that
M ⊆ N ∈ K, ā ∈ n N realizes p, GN = cℓ(GM + ā, N ) and if M ⊆ N ′ ∈ K and
ā′ realizes p in N ′ then there is N ′′ ⊆ N ′ and an isomorphism f from N onto N ′′
extending idM such that f (ā) = ā′ .
Remark 0.5. 0) In 0.4 we shall later use the convention of 0.15(1),(3).
1) We are particularly interested in types which are definable in some sense over
small sets.
2) We can define “p ∈ Snbs (M )” syntactically, because for a set p of basic formulas
ϕ(x̄, ā), ā from M which is complete (i.e. if ϕ(x̄, ā) is an atomic formula over M
then ϕ(x̄, ā) ∈ p or ¬ϕ(x̄, ā) ∈ p), we have p ∈ Snbs (M ) iff for every f.g. N ⊆ M we
have p↾N := {ϕ(x̄, ā) ∈ p : ā ⊆ N } ∈ Snbs (N ).
3) Why do we use below types which do not split over a finite subgroup and the
related set of schemes? As we like to get a canonical extension of M ∈ K it
is natural to use a set of types closed under automorphisms of M , and as their
number is preferably ≤ kM k, it is natural to demand that any such type is, in some
sense, definable over some finite subset of M .
As in [Sh:3]:
Definition 0.6. We say that p = tpbs (ā, G, H) ∈ Snbs (G) does not split over K ⊆ G
when for every m < ω and b̄1 , b̄2 ∈ m G satisfying tpbs (b̄1 , K, G) = tpbs (b̄2 , K, G)
we have tpbs (b̄1 ˆā, K, H) = tpbs (b̄2 ˆā, K, H).
S
Definition 0.7. 1) Let D(K) = Dn (K), where Dn (K) = {tpbs (ā, ∅, M ) : ā ∈
n

n

M and M ∈ K}.
2) Assume1 p(x̄) is a k-type, that is, x̄ = hxℓ : ℓ < ki and for some p′ (x̄) we have
p(x̄) ⊆ p′ (x̄) ∈ Dk (K) and m < ω. We let Dp(x̄),m (K) = Dm (p(x̄), K) be the set of
q(x̄, ȳ) ∈ Dk+m (K) such that q(x̄, ȳ) ⊇ p(x̄), which means that there is M ∈ K and
ā ∈ k M realizing p(x̄) and (ā, b̄) realizing q(x̄, ȳ) in M , i.e. ℓg(ā) = k, ℓg(b̄) = m
and āˆb̄ realizes q(x̄, ȳ).
3) In part (2) let Dp(x̄) (K) = ∪{Dm (p(x̄), K) : m < ω}.
Remark 0.8. Below s ∈ Ωn,k [K] is a scheme to fully define a type q(z̄) ∈ Snbs (M )
for a given parameter ā ∈ k M such that q(z̄) does not split over ā. Sometimes s is
not unique but if, e.g., M ∈ Kexlf it is.

Definition 0.9. 1) Let Ω[K] be the set of schemes, i.e. ∪{Ωn,k [K] : k, n < ω}
where Ωn,k [K] is the set of (k, n)-schemes s which means, see below.
1A) We say s is a (k, n)-scheme when for some p(x̄) = ps (x̄s ) with ℓg(x̄s ) = k, (and
ks = k(s) = k, ns = n(s) = n) we have:
(a) s is a function with domain Dp(x̄) (K) such that for each m it maps Dp(x̄),m (K)
into Dk+m+n (K)
(b) if s(x̄, ȳ) ∈ Dp(x̄),m (K) and r(x̄, ȳ, z̄) = s(s(x̄, ȳ)) then r(x̄, ȳ, z̄)↾(k + m) =
s(x̄, ȳ); that is, if (ā, b̄, c̄), i.e. āˆb̄ˆc̄, realizes r(x̄, ȳ, z̄) in M ∈ K so k =
ℓg(ā), m = ℓg(b̄), n = ℓg(c̄), then āˆb̄ realizes s(x̄, ȳ) in M ; see 1.2(1)
1This is used to define the set S of schemes; for this section the case p(x̄) = p′ (x̄) is enough
as we can consider all the completions but the general version is more natural in counting a set
S of schemes and in considering actual examples.

6

SAHARON SHELAH

(c) in clause (b), moreover if b̄′ ∈ ω> M , Rang(b̄′ ) ⊆ Rang(āˆb̄) then āˆb̄′ ˆc̄
realizes the type s(tpbs (āˆb̄′ , ∅, M )); this is to avoid s’s which define contradictory types2.
2) Assume s ∈ Ωn,k [K] and M ∈ K and ā ∈ k M realizes ps (x̄s ); we let qs (ā, M ) be
the unique r(z̄) = r(zs ) ∈ Snbs (M ) such that for any b̄ ∈ ω> M letting rb̄ (x̄, ȳ, z̄) :=
s(tpbs (āˆb̄, ∅, M )) we have rb̄ (ā, b̄, z̄) ⊆ r(z̄).
3) We call s full when ps (x̄) ∈ Dk(s) (K).
4) For technical reasons we allow x̄s = hxs,ℓ : ℓ ∈ ui, u ⊆ N, |u| = ks and in this case
k(s)
M will mean u M = {haℓ : ℓ ∈ ui : aℓ ∈ M for ℓ ∈ u} and we do not pedantically
distinguish between u and ks . Similarly for ns and z̄, the reason is 1.1, 1.6(4).
Convention 0.10. S will denote a subset of Ω[K].

§ 0(C). The Results. In particular (in the so-called first avenue, see below):
Theorem 0.11. Let λ be any cardinal ≥ |S|.
1) For every G ∈ Klf≤λ there is HG ∈ Kλexlf which is λ-full over G (hence over any
G′ ⊆ G; see Definition 1.15) and S-constructible over it (see 1.19).
2) If H ∈ Klf<λ is λ-full over G(∈ Klf≤λ ) then HG from above can be embedded into
H over G, see 1.23(4).
This is proved by 1.23 + §2. So in some sense HG is prime over G, that is, it is
prime but not among the members of Kexlf
λ , i.e. for a different class. Still we would
like to have canonicity so uniqueness. There are some additional avenues helpful
toward this.
The second avenue tries to get results which are nicer by assuming S is so
called symmetric which is the parallel of being stable in this context. Under this
assumption we prove the existence of a canonical closure of a locally finite group
to an exlf one. This is done in 1.12, 1.13.
The third avenue is without assuming “S is symmetric” but using a more complicated construction, for which we have similar, somewhat weaker results using
special linear orders. The failure of symmetry seems to draw you to order the relevant pairs (s, ā) for G. That is, trying to repeat the construction in 1.12(2), without
symmetry we have to well order or at least linearly order def(G) = def S (G) which
is essentially the set of relevant complete quantifier types over G over a finite set
of parameters, see Definition 1.1; this suffices by 1.8(9). At first glance we have to
linearly order def(G), but we take a list of def(G), with each appearing λ times and
linearly order it such that it does not induce a linear order of def(G). See below.
So we prove (in 1.30, 1.31, 1.33)
Theorem 0.12. 1) We can for every lf group G, define Gcℓ such that:
lf
(a) if G ∈ K≤λ
then G ⊆ Gcℓ ∈ Kλexlf

(b) Gcℓ is unique up to isomorphism over G.
2But some s’s satisfying clauses (a),(b) of 0.9(1A) but failing clause (c) this may give a consistent type in an interesting class of cases.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

7

cℓ
2) Also3 essentially it commutes with extensions, i.e. G1 ⊆ G2 ⇒ Gcℓ
1 ⊆ G1 ,
pedantically
cℓ
(c) if G1 ⊆ G2 and Gcℓ
ℓ is as above then there is an embedding h of G1 into
cℓ
cℓ
G2 such that h(G1 ) ∩ G2 = G1
(c)′ restricting ourselves to {G ∈ Klf : every x ∈ G is a singleton} we have:
(b)′′ Gcℓ is really unique
cℓ
(c)′′ G1 ⊆ G2 ⇒ Gcℓ
1 ⊆ G2 .

To stress the generality in addition to the class Klf of lf-groups we use Kolf , the
class of ordered locally finite groups (see 0.15); for them the proof of the existence
of a suitable S is easier. Naturally for Kolf we certainly do not have a symmetric
S.
In §2 we show that S as needed in §1 exists, but not necessarily symmetric
and define and investigate some specific schemes used later; also we define and
investigate NF, a relative of free amalgamation. In §3 we find a fourth avenue
which is more specific to the class of lf groups. We show that we can induce
symmetry, i.e. define symmetric constructions even for non-symmetric S hence get
somewhat better results, see 3.15. In particular we construct reasonable closures.
In §4(A), we show that we can find amalgamation preserving commuting and so
can get a new relative NF3 of NF. In §4(B) we deal with some related schemes (of
types). In §4(C) we deal with types with infinitely many variables.
In §5 we prove the existence of a complete group G∗ ∈ Kexlf
when λ = µ+ , µ =
λ
ℵ0
of an
µ . Moreover, we prove the existence of a complete extension G∗ ∈ Kexlf
λ
arbitrary G ∈ Klf≤µ .
Some of the definitions and claims work also in quite a general framework, but
it is not clear at present how interesting this is. Still we consider some expansions
of Klf , and comment on them in §6.
We here also consider the partial order ≤S on K, where G1 ≤S G2 means that
every finite ā ⊆ G2 realizes over G2 a type from def S (G1 ). Note that on (K, ≤S )
we may generalize stability theory, in particular when S is symmetric (see §1) or
when we use the symmetrized version (see §3). In particular, we can investigate
orthogonality, parallelism, super-stability, and indiscernible sets which ∆-converge
([Sh:300] or [Sh:300a]). A class somewhat similar to Klf , for an existentially closed
countable group L is KL , the class of groups G such that every f.g. subgroup is
embeddable into L. We further investigate Klf in [Sh:1098] and in more general
direction in a work in preparation with G. Paolini.
We thank Omer Zilberboim and Gianluca Paolini for some help in the proofs of
this paper and a referee for many useful comments to clarify this paper.
§ 0(D). Preliminaries.
Definition 0.13. 1) Let Klfλ be the class of G ∈ Klf of cardinality λ, let Kexlf
be
λ
the class of G ∈ Kexlf of cardinality λ; see Definition 0.1.
2) Let fsb(M ) be the set of f.g. (finitely generated) sub-structures of M .
Note that Kexlf is the same Kulf as defined by Hall as proved in Macintyre-Shelah
[McSh:55], Wood [Woo72]; that is:
3See on this in 3.14.

8

SAHARON SHELAH

Claim 0.14. The following conditions on a locally finite group G are equivalent:
(A) G is ulf which means:
(a) every finite group is embeddable into G
(b) if H1 , H2 are isomorphic finite subgroups of G, then for some x ∈
G, conjugation by x maps H2 onto (here equivalently into) H2 , i.e.
x−1 H1 x = H2
(B) G ∈ Kexlf .
Proof. (B) ⇒ (A)
Clause (A)(a): let H be a finite group, let H1 = {eH } ⊆ H so a sub-group of H
and let H2 = H and let h1 : H1 → G be defined by h2 (eH ) = eG . So by clause (B)
there is an extension h2 of h1 embedding H2 = H into G, so h2 (H) is as required.
Clause (A)(b): let H1 , H2 ⊆ G be finite sub-groups and let H3 ⊆ G be the finite
subgroup which H1 ∪ H2 generates. There is a finite group H4 extending H3 such
that: any partial automorphism of H3 is included in some conjugation in H4 . Let
h3 : H3 → H3 ⊆ G be the identity, hence by Clause (B) recalling G ∈ Kexlf , there
is an embedding h4 of H4 into G extending h3 .
So in h4 (H4 ) ⊆ G there is a conjugation as required.
(A) ⇒ (B):
Let H1 ⊆ H2 be finite groups and h1 be an embedding of H1 into G. Let
H4 ⊇ H2 be a finite group such that any automorphism of H1 is included in an
inner automorphism of H1 . By Clause (A)(a) there is an embedding h4 of H4 into
G. By Clause (A)(b) there is x ∈ G such that H4′ := x−1 h1 (H1 )x ⊆ G is equal to
h4 (H1 ).
Recalling 0.23(7) h′4 = (x ↾h4 (H4 )) ◦ h4 embeds H4 into G and maps H1 onto
h1 (H1 ); but the embedding h′4 does not necessarily extend h1 . However, by clause
(A)(b), for some y ∈ h′4 (H4 ), y h′4 embeds H4 (hence H2 ) and extends h1 as
required.
0.14
We may use the class Kolf of linearly ordered lf groups, it is closely related and
some issues are more transparent for it; Kolf is defined as follows.
Definition 0.15. 1) Let Kolf be the class of structures M which are an expansion
of a lf group G = GM by a linear order <M , also this class is partially ordered by
M1 ⊆ M2 , M1 a sub-structure of M2 .
2) We say that M ∈ Kolf is existentially closed as in 0.13(2) and define Kolf
λ as in
0.1(2).
3) If M ∈ Klf then we let GM = M .
Remark 0.16. For Klf conceivably there is a symmetric dense S, hence a very
natural canonical exlf-closure. Without it we can either use a somewhat less natural
one (using linear orders, see end of §1) or “make it symmetric by brute force” (see
§3). But for the class Kolf we can use only the linear orders, so every M has a
canonical existentially closed extension, but it is more difficult to make it unique up
to isomorphism. We shall in 6.2 introduce another class, Kclf , locally finite groups
with choice.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

9

Convention 0.17. 1) Except in §6, K is the class Klf of locally finite groups or
Kolf of ordered locally finite groups (we may use ≤K but here K is partially ordered
by ⊆, being a substructure) and see 0.16.
2) Let xlf-group mean a member of K. Let Kec be the class of existentially closed
members of K.
3) In §2, §3, §4, §5 we use only Klf ; in §1 you can restrict yourself to K = Klf but
in §6 we have further cases on which we comment.
The following definition is for the more general framework.
Definition 0.18. 1) For M, N ∈ K let M ≤fsb N mean that if K ⊆ L are f.g.,
K ⊆ M, L ⊆ N , then there is an embedding of L into M over K.
2) For M, N ∈ K let M ≤Σ1 N means that M ⊆ N and if ā ∈ ℓg(ȳ) M, b̄ ∈ ℓg(x̄) N
and ϕ(x̄, ȳ) ∈ L(τK ) is quantifier free and N |= ϕ[b̄, ā] then for some b̄′ ∈ ℓg(x̄) M
we have M |= ϕ[b̄′ , ā].
3) Let Mℓ ∈ K, āℓ ∈ n(ℓ) (Mℓ ) for ℓ = 1, 2. We say that a relation on M1 × M2
is quantifier-free definable in (M1 , ā1 , M2 , ā2 ) when it is a Boolean combination of
finitely many simple ones, where R is a simple n-place relation on M1 × M2 when
R is the set of n-tuples ((b0 , c0 ), . . . , (bn−1 , cn−1 )) such that bi ∈ M1 , ci ∈ M2 for
i < n and
M1 |= ϕ1 [b0 , . . . , bn−1 , ā1 ]
M2 |= ϕ2 [c0 , . . . , cn−1 , ā2 ]
for some quantifier-free formulas ϕ1 , ϕ2 in L(τK ) and finite sequences ā1 , ā2 from
M1 , M2 respectively.
Remark 0.19. 1) Note that 0.18(3) is not actually used, but just indicate the form
of definability used.
2) Note that ≤Σ1 for Klf and Kolf is the same as ≤fsb . For other classes, see §6, if
the vocabulary is finite and we deal with locally finite structures they are still the
same. Otherwise, by our choice of “does not split” we have to use ≤fsb . But if we
prefer to use ≤Σ1 we have to strengthen the definition of “does not split” to make
the proof of 1.10(1) work.
Convention 0.20. Let M1 , M2 ∈ K, M1 ⊆ M2 and ā ∈ n (M2 ), so ā = (a0 , a1 , a2 , . . . , an−1 ).
1) Denote by cl(M1 + ā, M2 ) the sub-structure generated by M1 ∪ ā = M1 ∪
{a0 , a1 , . . . , an−1 } in M2 .
2) For a group G and A ⊆ G let
• CG (A) = {g ∈ G : G |= “ag = ga” for every a ∈ A}
• Z(G) = CG (G)
• NG (A) = {c ∈ G : c−1 Ac = A}.
4) For a group G, aut(G) is the group of automorphisms of G and inner(G) is the
normal subgroup of aut(G) consisting of the inner automorphisms of G.
A side issue here is:

10

SAHARON SHELAH

Definition 0.21. 1) For a class K of structures (of a fixed vocabulary) we say
M ∈ K is λ-universal in K when every N ∈ K of cardinality λ can be embedded
into it.
2) We say M ∈ K is (≤ λ)-universal in K when every N ∈ K of cardinality ≤ λ
can be embedded into M .
3) We say M ∈ K is universal when it is λ-universal for λ = kM k.
4) Assume k = (Kk , ≤k ), Kk as a class of τ -structures (for some vocabulary τ = τk ),
closed under isomorphism, and ≤k a partial order on Kk preserved under isomorphisms. Above “M ∈ Kk is λ-universal in k” means that if N ∈ Kk has cardinality
λ then there is a ≤k -embedding f of N into M , i.e. f is an isomorphism from N
onto some N ′ ≤k M . Similarly in the other variants.
The problem of the existence of universal members of Klfλ is connected to
Question 0.22. Fixing κ and an ideal J on κ, what is λµ,κ (J, K), which is the
minimal cardinal (or ∞) λ which is > µ and there is no sequence h(Gα , āα ) : α < λi
such that Gα ∈ K≤µ , āα ∈ κ (Gα ) and there are no H ∈ K and α < β < λ and
embeddings f1 , f2 of Gα , Gβ respectively into H such that {i < κ : f (aα,i ) 6= aβ,i } ∈
J.
Notation 0.23. 1) Let G, H, K denote members of K.
2) Let p, q, r and s denote types.
3) s denotes a scheme of defining types, here qf.
4) t denotes a member of some def(G), i.e. a pair (s, ā) which defines a type in
n(s)
Sbs (G).
5) For A ⊆ M let cℓ(A, M ) = hAiM be the closure of the set A under the functions
of M , i.e. the sub-structure of M which
A generates when M is, as usual,
S a group.
P
Rang(āi ).
āi instead of A∪B, A∪Rang(ā),
6) We may write, e.g. A+B, A+ā,
i<α

i<α

7) For a group G and x ∈ G let x be conjugation by α, that is, the mapping
y 7→ x−1 yx for y ∈ G.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

11

§ 1. Definable types
What is accomplished in §1 and under what assumptions? We have to assume
that there are dense S ∈ Ω[K] to get existentially closed H (see §2). Still there
are S’s and any S can be extended to a closed one, preserving density. For any S,
the partial order ≤S on K is quite reasonable: not fully so called a.e.c. still close
enough. In (K, ≤S ) for regular λ we can find over any G ∈ K≤λ a prime H among
the H ∈ Kλ extending G which are so-called (λ, S)-full over it, see 1.23. Also we
can find such H quite definable in three ways. First avenue is to allow a well order.
Second avenue is to assume S is symmetric, then H is canonical and commutes
with extensions (1.13, 1.16, 1.23, 1.17). Third avenue relies on linear order. We still
get uniqueness, but rely on linear ordering of def(G) and the commutation with
extension is problematic. However, we may use pair (I, E), I a linear order, E an
equivalence relation on I and “dedicate” each equivalence class to some t ∈ def(G),
so can avoid linearly ordering def(G), see 1.30, 1.33; see more in §3.
§ 1(A). The Framework.
Definition 1.1. 1) For G ∈ K let def(G) be the set of pairs t = (s, ā) = (st , āt )
such that s ∈ Ω[K] and ā ∈ ω> G realizes ps (x̄s ) and let qt (G) = qst (āt , G) and
pt (x̄t ) = ps (x̄s ), k(t) = k(s), n(t) = n(s).
2) We say s1 , s2 are disjoint when x̄s1 , x̄s2 are disjoint as well as z̄s1 , z̄s2 recalling
0.9(4). Similarly for t1 , t2 ∈ def(G).
3) We say s1 , s2 are congruent, written s1 ≡ s2 when we get s2 from s1 by replacing
x̄s1 , z̄s1 by other sequences of variables, x̄s2 , z̄s2 (again with no repetitions, of the
same length respectively, of course). Similarly for t1 , t2 ∈ def(G) (the aim is to
be able to get disjoint congruent copies; we do not always remember to replace a
scheme by some congruent copy).
4) We say S is invariant when : if s1 , s2 ∈ Ω[K] are congruent then s1 ∈ S ⇔ s2 ∈
S.
5) The invariant closure of S is defined naturally. Let |S| mean its cardinality up
to congruency, that is, |S/ ≡ |; if not said otherwise we use invariant S.
6) We define the (equivalence) relation ≈G on def(G) by t1 ≈G t2 iff t1 , t2 ∈ def(G)
and qt1 (G) = qt2 (G).
Claim 1.2. 1) If s ∈ Ωn,k [K] and G ∈ K, ā ∈ k M then indeed qs (ā, G) ∈ Snbs (G)
so exist and is unique and does not split over ā, see Definition 0.9(2); if ā is empty,
i.e. ks = 0 we may write qs (G).
1A) If G1 ⊆ G2 ⊆ K and t ∈ def(G1 ) then t ∈ def(G2 ) and qt (G1 ) ⊆ qt (G2 ).
2) Assume G ⊆ H ∈ K and G is existentially closed or just G ≤Σ1 H ∈ K. If
t1 , t2 ∈ def(G) then qt1 (G) = qt2 (G) iff qt1 (H) = qt2 (H).
3) Let K ⊆ G ∈ K, G be existentially closed or just every r ∈ S<ω
bs (K) is realized
in G, K is finite, and p ∈ Snbs (G).
The type p does not split over K iff there are s ∈ Ω[K] and a finite sequence ā
from K (even listing K) realizing ps (x̄) such that p = qs (ā, M ).
4) If G ⊆ H, s ∈ Ω[K], ā ∈ k(s) G realizes ps (x̄s ) and c̄ ∈ n(s) H realizes qs (ā, G) in
H and σ(z̄s , x̄s ) is a group-term then σ H (c̄, ā) ∈ G ⇒ σ H (c̄, ā) ∈ cℓ(ā, G).
4A) In (4), if ā′ = āˆā′′ then σ H (c̄, ā′′ ) ∈ G ⇒ σ H (c̄, ā′′ ) ∈ cℓ(ā′′ , G) because p also
does not split over ā∗ if ā∗ ⊆ G, ā ⊆ cℓ(ā∗ , H).

12

SAHARON SHELAH

Proof. 1) Let K∗ ⊆ G be the subgroup of G generated by ā.
First, there are H and c̄ such that:
(∗)1H,c̄ G ⊆ H ∈ K and c̄ ∈ n H such that tp(c̄, G, H) = qs (ā, G).
Why? For every K ∈ K∗ := {K ⊆ G : K finite extending K∗ } we can choose a pair
(HK , c̄K ) such that: K ⊆ HK ∈ K, HK is finite, c̄K ∈ n (HK ), HK is generated by
K ∪ c̄K and for some b̄ listing K, tpbs (āˆb̄ˆc̄K , ∅, HK ) = s(tpbs (āˆb̄, ∅, G)).
[Why? By Definition 0.9(1A)(b).] Now for every K1 ⊆ K2 from K∗ we can
choose an embedding fK2 ,K1 from HK1 into HK2 extending idK1 and mapping c̄K1
to c̄K2 . [Why? By Definition 0.9(1A)(c).]
As HK1 is generated by K1 ∪ c̄, this mapping is unique. Now if K1 ⊆ K2 ⊆ K3
are from K∗ then fK3 ,K2 ◦ fK2 ,K1 is an embedding of HK1 into HK3 extending idK1
and mapping c̄K1 to c̄K3 ; hence by the previous sentence fK3 ,K2 ◦ fK2 ,K1 = fK3 ,K1 .
Hence hHK1 , fK2 ,K1 : K1 ⊆ K2 are from K∗ i has a direct limit, i.e. we can find
a group H and f¯ = hfK : K ∈ K∗ i such that fK embed HK into H and for
every K1 ⊆ K2 from K∗ we have fK1 = fK2 ◦ fK2 ,K1 . Without loss of generality
H = ∪{fK (HK ) : K ∈ K∗ } hence H is a locally finite group and {fK : K ∈ K∗ }
embeds G into H, so without loss of generality G ⊆ H and fK ↾K = idK for
K ∈ K∗ . Letting c̄ = fK (c̄K ) for any K ∈ K∗ , clearly (H, c̄) is as required in
(∗)1H,c̄ .
(∗)2 tpbs (c̄, G, H) belongs to Snbs (G).
[Why? By the definitions of Snbs (G) because G ⊆ H ∈ K and c̄ ∈ n H.]
(∗)3 qs (ā, G) is unique and does not split over ā.
[Why? See Definition 0.9(1A)(c).]
1A) See Definition 0.9(2).
2) For ℓ = 1, 2 we have qtℓ (G) ⊆ qtℓ (H), moreover, qtℓ (G) = {ϕ(z̄n(t) , b̄) ∈ qtℓ (H) :
b̄ ⊆ G}. For the other direction, note that āt1 , āt2 ⊆ G and assume qt1 (H) 6= qt2 (H),
hence there are m and b̄ ∈ m H and a basic formula ϕ(ȳm , z̄n ) such that ϕ(b̄, z̄n ) ∈
qt1 (H), ¬ϕ(b̄, z̄n ) ∈ qt2 (H). Now there is b̄′ ∈ m G such that tpbs (b̄′ , āt1 ˆāt2 , G) =
tpbs (b̄, āt1 ˆāt2 , H) because G ≤Σ1 H and our choice of K. As qtℓ (H) does not split
over ātℓ , clearly ϕ(b̄′ , z̄n ) ∈ qtℓ (H) ⇔ ϕ(b̄, z̄n ) ∈ qtℓ (H) for ℓ = 1, 2.
Together with an earlier sentence, ϕ(b̄′ , z̄n ) ∈ qt1 (H), ¬ϕ(b̄′ , z̄n ) ∈ qt2 (H) hence
by the first sentence in the proof of 1.2(2) we have ϕ(b̄′ , z̄n ) ∈ qt1 (G) and ¬ϕ(b̄′ , z̄n ) ∈
qt2 (G) hence qt2 (G) 6= qt2 (G) so we are also done with the “other” direction.
3) The implication “if” holds by 1.2(1). For the other direction assume p does not
split over K. As K is finite, let k = |K| and let ā ∈ n K ⊆ n G list K.
We now define s by:
(a) ps = tpbs (ā, ∅, K) so ks = k
(b) q = s(s(x̄, ȳ)) iff for some b̄ ∈ m G we have:
• s(x̄, ȳ) = tp(āˆb̄, ∅, G)
• q = tpbs (āˆb̄ˆc̄, ∅, G) for some c̄ ∈ n G realizing p↾(āˆb̄).
Now s is well defined because on the one hand p does not split over ā, and on the
other hand G is existentially closed or just every r ∈ S<ω
bs (K) is realized in G.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

13

4) By 1.2(2) without loss of generality G is existentially closed, assume σ H (c̄, ā) ∈ G
and let b = σ H (c̄, ā). If b ∈
/ cℓ(ā, G) there is b′ ∈ G\{b} realizing tpbs (b, K, G)
because K has disjoint amalgamation for finite members. As qs (ā, G) does not split
over ā and b′ , b ∈ G realize the same type over ā it follows that H |= “(σ(c̄, ā) =
b) ≡ (σ(c̄, ā) = b′ )”, an obvious contradiction.
4A) Should be clear.
1.2
Example 1.3. There is s ∈ Ω[K] such that:
(a) ks = 0 and ns = 1;
(b) if G ⊆ H ∈ K and a ∈ H, then : a realizes qs (<>, G) iff a ∈ H\G has
order 2 and commute with every member of G.
Definition 1.4. 1) For S ⊆ Ω[K] we define the two place relation ≤S on K as
follows: M ≤S N iff M ⊆ N (and they belong to K) and for every n < ω and
c̄ ∈ n N we can find k < ω and ā ∈ k M and s ∈ S such that ps (x̄) ⊆ tpbs (ā, ∅, M ) ∈
Dk (K) and tpbs (c̄, M, N ) = qs (ā, M ) recalling qs (ā, M ) ∈ Snbs (M ) .
2) For M ∈ K and S ⊆ S[K] let
(a) SnS (M ) = {qs (ā, M ) : s ∈ S satisfies ns = n and ā ∈ k(s) M realizes ps (x̄s )}
(b) def S (M ) = {t ∈ def(M ) : st ∈ S}
(c) SS (M ) = ∪{SnS (M ) : n < ω}.
3) We say M ∈ K is S-existentially closed when for every s ∈ S, finite4 G ⊆ M
and ā ∈ ω> G realizing ps (x̄) the type qs (ā, G) is realized in M ; (this is equivalent
to being existentially closed if S is dense, see Definition 1.6(2) below).
Definition 1.5. We say S ⊆ Ω[K] is symmetric when : if s1 , s2 ∈ S, M ⊆ N are
from K and c̄ℓ ∈ n(sℓ ) N realizes qsℓ (āℓ , M ) in N (so āℓ ∈ k(sℓ ) M realizes psℓ (x̄sℓ ))
and Mℓ = cℓ(M + c̄ℓ , N ) ⊆ N for ℓ = 1, 2 then c̄1 realizes qs1 (ā1 , M2 ) in N iff c̄2
realizes qs2 (ā2 , M1 ) in N .
Definition 1.6. 1) We say S is closed when it is dominating-closed and compositionclosed, see below and invariant of course.
1A) S is composition-closed when if H0 ⊆ H1 ⊆ H2 ∈ K, āℓ ∈ n(ℓ) (Hℓ ) for ℓ =
n(ℓ+1)

0, 1, 2 and tpbs (āℓ+1 , Hℓ , Hℓ+1 ) = qsℓ (āℓ , Hℓ ) ∈ SS
(Hℓ ) and Hℓ+1 = cℓ(Hℓ +
āℓ , Hℓ+1 ), sℓ ∈ S for ℓ = 0, 1 then tpbs (ā1 ˆā2 , H0 , H2 ) = qs (ā0 , H0 ) for some s ∈
S ∩ Ωn(1)+n(2),n(0) [K].
1B) S is dominating-closed when : if H0 ⊆ H1 ∈ K, ā1 ∈ k(1) (H0 ), c̄1 ∈ n(1) (H1 ),
n(1)

tpbs (c̄1 , H0 , H1 ) = qs (ā1 , H0 ) ∈ SS (H0 ) and c̄2 ∈ n(2) (H1 ) and ā2 ∈ k(2) (H0 ),
Rang(ā2 ) ⊇ Rang(ā1 ) and c̄2 ⊆ cℓ(ā2 + c̄1 , H1 ) then tp(c̄2 , H0 , H1 ) = qs (ā2 , H0 ) for
some s ∈ S.
2) We say S is weakly dense when : every S-existentially closed G ∈ K is existentially closed.
3) We say S is dense when: for every G0 ⊆ H ∈ K, G0 ⊆ G1 ∈ K, G0 , G1 are finite
and c̄ ∈ n (G1 ) there is p(z̄) ∈ SnS (H) which extends tpbs (c̄, G0 , G1 ). Moreover
p(z̄) = qs (ā, H) for some s ∈ S and ā from G0 .
4For general K: we use finitely generated G ⊆ M ; generally this change is needed.

14

SAHARON SHELAH

4) For disjoint s1 , s2 ∈ S define s = s1 ⊕ s2 with ps (x̄s ) = ps1 (x̄s1 ) ∪ ps2 (x̄s2 ),
recalling x̄s1 , x̄s2 are disjoint, as follow: if G0 ⊆ G1 ⊆ G2 are from K and āℓ ∈
k(sℓ )
G0 , āℓ realizes psℓ (x̄sℓ ) in G0 ∈ K and c̄ℓ ∈ n(sℓ ) (Gℓ+1 ) realizes qsℓ (āℓ , Gℓ ) for
ℓ = 1, 2 then c̄1 ˆc̄2 realizes qs (ā1 ˆā2 , G0 ) in G2 .
4A) For (disjoint)
2 ∈ def(G) we define t1 ⊕ t2 = t1 ⊕G t2 similarly.
L t1 , tL
tk similarly using associativity, see 1.8(5).
sk ,
5) We define
k<m

k<m

6) Let s1 ≤ s2 means: if G ∈ K, ā2 ∈ u(2) G realizes ps2 (x̄s2 ), G ⊆ H, c̄2 ∈ n(s2 ) H
realizes qs2 (ā2 , G) then dom(x̄s1 ) ⊆ u(2) and c̄2 ↾dom(z̄s2 ) realizes qs1 (ā2 ↾k(s1 ), G)
and ps2 (x̄s2 )↾x̄s1 = ps1 (x̄s1 ).
7) Let s1 ≤h̄ s2 means that h̄ = (h′ , h′′ ), h′ is a one-to-one function from dom(x̄s1 )
into dom(x̄s2 ) and h′′ is a one-to-one function from dom(z̄s1 ) into dom(z̄s2 ) such
that: if tpbs (c̄2 , G, H) = qs2 (ā2 , G) and ā1 = ha2,h′′ (ℓ) : ℓ ∈ dom(ā1 )i and c̄1 =
hc2,h(ℓ) : ℓ ∈ dom(c̄2 )i then tpbs (c̄1 , G, H) = qs1 (ā1 , G, H). Similarly t1 ≤h̄ t2 for
t1 , t2 ∈ def(G). If h′ ∪ h′′ is well defined we may write h′ ∪ h′′ instead of h̄.
Remark 1.7. 0) Concerning 1.6(7) the point of disjoint s1 , s2 and congruency is to
avoid using it. So we may ignore it as well as 1.9(2),(3), 3.4(3), 3.5(4), 3.6(5).
1) Note that the operation s1 ⊕ s2 is not necessarily commutative, e.g. for Kolf it
cannot be.
2) In e.g. Definition 1.6(1A), in general s is not uniquely determined by the relevant
information tpbs (ā1 ˆā2 ˆc̄1 ˆc̄2 , H0 , H2 ) and the lengths of ā1 , ā2 , c̄1 , c̄2 but if H1 is
existentially closed, it is. We could have written the definition in a computational
form.
3) So s1 ≤ s1 means s1 ≤h̄ s2 with hℓ the identity for ℓ = 1, 2.
Definition/Claim 1.8. 1) For any S ⊆ Ω[K] we can define its closure as the
minimal closed (and invariant, of course) S1 ⊆ Ω[K] which includes it, see 1.6(1);
we denote it by cℓ(S) = cℓ(S; K).
2) Similarly for dominating-closure docl(S) and composition-closure cocl(S).
3) Those closures preserve density and countability (and being invariant), and have
the obvious closure properties.
4) Also dominating-closure preserve being composition closed.
5) The operation ⊕ on Ω[K] is well defined and associative. If S ⊆ Ω[K] is closed
under ⊕, for transparency, then S is symmetric (see 1.5) iff the operation ⊕ on S
is commutative (when defined). Similarly for defS (G).
6) Ω[K] has cardinality ≤ 2ℵ0 ; generally ≤ 2|τ (K)|+ℵ0 .
7) ≤S is a transitive relation on K, if S ⊆ Ω[K] is closed.
8) If H0 ⊆ H1 ⊆ H2 , s ∈ Ω[K] and tpbs (c̄, H1 , H2 ) = qs (ā, H1 ) and ā ∈ k(s) H0 then
Rang(c̄) ∩ H1 = Rang(c̄) ∩ H0 .
9) Assume S is dense and closed. If G ⊆ H ∈ K and G is finite then G ≤S H.
10) If s = s0 ⊕ . . . ⊕ sn−1 and i(0) < . . . i(k − 1) < n and s′ = si(0) ⊕ . . . ⊕ si(k−1)
then s′ ≤ s.
Proof. Natural, noting that (8) is specific for our present K, see 1.2(4).
Claim 1.9. 0) The operation ⊕ is well defined, that is:
(a) if s1 , s2 ∈ Ω[K] are disjoint then s1 ⊕ s ∈ Ω[K] is well defined;
(b) if t1 , t2 ∈ def(G) are disjoint then t1 ⊕ t2 ∈ def(G).

1.8

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

15

1) The operation ⊕ on disjoint pairs from def(G) respects congruency, see Definition 1.1(3). If s1 , s2 ∈ Ω[K] then (s1 / ≡) ⊕ (s2/ ≡) is well defined, i.e. if s′ℓ , s′′ℓ are
congruent to sℓ for ℓ = 1, 2 and s′ = s′1 ⊕ s′2 , s′′ = s′′1 ⊕ s′′2 are well defined (equivalently for ℓ = 1, 2 the two schemes s′ℓ , s′′ℓ are disjoint) then s′ , s′′ are congruent. (So
we may forget to be pedantic about this.)
2) If (s, ā) = (s1 , ā1 ) ⊕G (s2 , ā2 ) then (sℓ , āℓ ) ≤ (s, ā).
3) If in def(G) we have (sℓ , āℓ ) ≤hℓ (s′ℓ , ā′ℓ ) for ℓ = 1, 2 and Dom(h1 )∩Dom(h2 ) = ∅,
Rang(h1 )∩Rang(h1 ) = ∅ then (s1 , ā1 )⊕(s2 , ā2 ) ≤h1 ∪h2 (s′1 , ā1 )⊕(s′2 , ā2 ). Similarly
for h̄1 , h̄2 .
Proof. Straightforward.

1.9

Claim 1.10. Assume S ⊆ Ω[K] is dominating-closed and G0 ⊆ G1 ∈ K and
G0 ≤S G2 and, for transparency, G1 ∩ G2 = G0 and5 G0 ≤Σ1 G2 (holds if G0 is
existentially closed in K).
1) There is G3 ∈ K such that G1 ≤S G3 and G2 ⊆ G3 and G3 = hG1 ∪ G2 iG3 and
G1 ≤Σ1 G3 .
2) Above G3 above is unique up to isomorphism over G1 ∪ G2 .
3) If S is symmetric and G0 ≤S G1 in part (1) then also G2 ≤S G3 .
Proof. Straightforward, e.g.
1) Let c̄ = hcα : α < α(∗)i list the elements of G2 , and for every finite u ⊆ α(∗)
let x̄u = hxα : α ∈ ui and p0u (x̄u ) = tpbs (c̄↾u, G0 , G2 ) hence by assumption, there
is su ∈ S (up to congruency) and āu ∈ k(su ) (G0 ) such that p0u (x̄) = qsu (āu , G0 ) so
dom(x̄su ) = u. We define p1u (x̄u ) ∈ S(G1 ) as qsu (āu , G1 ). We define G3 as a group
extending G1 generated by G1 ∪ {cα : α < α(∗)} such that c̄↾u realizes p1u (x̄u )
for every finite u ⊆ α(∗). But for this to work we have to prove that for finite
u ⊆ v ⊆ α(∗) we have p1u (x̄u ) ⊆ p1v (x̄v ). This is straightforward recalling 1.2(1A).
1.10
Lastly, G1 ≤Σ1 G3 is easy, too.
Remark 1.11. 1) We may consider an alternative definition of ≤S :
•1 G ≤S H iff for every finite A ⊆ H there are c̄ ∈ ω> H, ā ∈ ω> G and s ∈ S
such that: ā realizes ps (x̄s ), c̄ realizes qs (ā, G) in H and A ⊆ Rang(c̄).
An even weaker version is:
•2 as in •1 but “A ⊆ Rang(c̄)” is replaced by A ⊆ cℓ(G ∪ c̄, H).
2) But, e.g. for •1 , to prove ≤S is transitive we need a stronger version of
composition-closed: if G0 ⊆ G1 ⊆ G2 and for ℓ = 0, 1, c̄ℓ ∈ n(ℓ) (Gℓ+1 ) realizes
qsℓ (āℓ , Gℓ ) and Rang(b̄0 ) ⊆ Rang(ā1 ) then for some s ∈ S, ps (x̄s ) = ps0 (x̄s ) and
ā1 ˆā2 realizes qs (ā0 , G0 ).
3) In any case for closed S the three definitions are equivalent, i.e. those in •1 , in
•2 and in 1.4(1).
4) Does the operation ⊕G respect ≈G , see Definition 1.1, i.e. if t1 ≈G t′1 and
t2 ≈G t′2 then t1 ⊕G t2 ≈G t′1 ⊕G t′2 ?; all this assuming the operations are well
defined, i.e. the disjointness demands from 1.6(4) are satisfied. We do not see a
reason for this to hold.

5If G = hG ∪ Ai, A finite then for part (1) this is not necessary.
2
0

16

SAHARON SHELAH

§ 1(B). Constructions.
Before we present the more systematic construction from [Sh:c, Ch.IV], we give
a self-contained direct definition and proof for the existence of a canonical existentially closed extension of G ∈ K when S is symmetric, i.e. the “second avenue” in
§0B. We shall deal with the non-symmetric case later.
Definition 1.12. Assume S ⊆ Ω[K] is symmetric.
1) We say H is a S-closure of G when there is a sequence hGn : n < ωi such that
G0 = G, H = ∪{Gn : n < ω} and Gn+1 is a one-step S-closure of Gn , see below.
2) We say that H is a one-step S-closure of G when :
(a) G ⊆ H are from K;
(b) S := def(G) = {(s, ā) : s ∈ S and ā ∈
t = (st , āt ) = (s(t), ā(t)) for t ∈ S;

ω>

G realizes ps (x̄s )} and let

(c) c̄t ∈ n(s(t)) H realizes qst (āt , G) for t ∈ S;
(d) H is generated by {c̄t : t ∈ S} ∪ G;
(e) c̄t realizes qst (c̄t , cℓ(∪{c̄s : s ∈ S\{t}} ∪ G, H) inside H for every t ∈ S.
Claim 1.13. Let S ⊆ Ω[K] be symmetric.
1) For every G ∈ K there is a one-step S-closure H of G.
2) For every G ∈ K there is an S-closure H of G.
3) In both parts (1) and (2) we have |G| ≤ |H| ≤ |G| + |S| + ℵ0 .
4) In both parts (1) and (2), H is unique up to isomorphism over G.
5) If the pair (Gℓ , Hℓ ) is as in part (1), or as in part (2) for ℓ = 1, 2 and G1 ⊆ G2
then H1 can be embedded into H2 over G1 .
6) In both parts (1) and (2) there is a set theoretic class function F computing H
from G, pedantically for every G ∈ K and ordinal α not in the transitive closure
tr − cℓ(G) of G, Fα (G) is well defined such that:
(A) (a) Fα (G) ∈ Klf is of cardinality ≤ |G| + ℵ0 + |α|
(b) if α = 0 then Fα (G) = G
(c) the sequence hFβ (G) : β ≤ αi is increasing continuous
(d) Fα+1 (G) is a one step closure of Fα (G)
2
V
∅ = (α + 1) ∩ tr − cℓ(Gℓ ) then
(B) if G1 ⊆ G2 ∧ G2 ∩ Fα (G1 ) = G1 ∧
ℓ=1

Fα (G1 ) ⊆ Fα (G2 ); this is “naturality”; an alternative is 0.12(2).
7) In fact we do not have to use the axiom of choice.
Proof. Should be clear (alternatively, below we do more).

1.13

Remark 1.14. Similarly in §3.
Definition 1.15. 1) We say N is (λ, S)-full over M when: M ⊆ N and if M ⊆
M1 ⊆ N and M1 = cℓ(M + A, N ) for some A ⊆ M1 of cardinality < λ and s ∈ S
and ā ∈ k(s) M1 realizes ps (x̄s ) in M1 then qs (ā, M1 ) is realized in N .

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

17

2) We may write “N is S-full over M ” when λ = kN k is regular or, in general,
when6 there is a list haα : α < kN ki of N such that for every α < kN k and s ∈ S
we have: if Mα = cℓ(M + {aβ : β < α}, N ) and ā ∈ k(s) Mα realizes ps (x̄s ) then the
type qs (ā, Mα ) is realized in N by kN k elements.
3) We may omit S when S = Ω[K].
Claim 1.16. Let S be symmetric.
1) If S ⊆ S(K) is closed (see 1.6(1)) then (K, ≤S ) is a weak a.e.c. with amalgamation7 (even canonical), see [Sh:88r, 1.2] or [Sh:h, Ch.I], i.e. in the Definition
of a.e.c. we have Ax 0,(I),(II),(III),(V) but LST(K, ≤S ) may be ∞ and we omit
Ax(IV), see 1.18 below.
2) If S ⊆ Ω[K] is dense and closed (see 1.6) then for every M ∈ Kλ there is an
existentially closed N ∈ Kλ which ≤S -extends it, in fact any S-closure of M can
serve.
3) If N is (λ, S)-full over M1 and M0 ⊆ M1 , then N is (λ, S)-full over M0 ; also
in Definition 1.15 without loss of generality ā is from M ∪ A, i.e. ā ∈ k(s) (M ∪ A).
4) If M ∈ K≤λ then there is a model N, (λ, S)-full over M of cardinality ≤ λ +
kM k = λ; moreover if S is dense, then M is existentially closed.
5) In (4), we can add: if N ′ ∈ K is (λ, S)-full over M then we can find an
embedding of N into N ′ over M .
Proof. 1) Easy.
2) Easy by 1.13 and see more below.
3) Easy.
4) We choose Gn ∈ K by induction on n such that:
(a) G0 = M ;
(b) Gn+1 ⊇ Gn is as in Definition 1.12 but each t appears λ times, i.e.
• Gn+1 = cℓ(∪{c̄nt,α : t ∈ def S (Gn ) and α < λ} ∪ Gn , Gn+1 ) where
• tpbs (c̄nt,α , Gn,t,α , Gn+1 ) = qt (āt , Gn,t,α ) where
• Gn,t,α = cℓ(∪{c̄nt1 ,α1 : t1 ∈ def S (Gn ), α1 < λ but (t1 , α1 ) 6= (t, α)} ∪
Gn , Gn+1 ).
S
Let Ĝ = Gn and we shall show that Ĝ is (λ, S)-full over G. We can ignore
n

the case λ = ℵ0 being obvious. Assume A ⊆ Ĝ, |A| < λ and t∗ ∈ def S (Ĝ) and
āt∗ ⊆ cℓ(G0 + A, Ĝ), hence we can find S̄ such that:
(∗) (a) S̄ = hSn : n < ωi;
S
(b) Sn ⊆ def S (Gn ) × λ and Sm has cardinality < |A|+ + ℵ0 ;
m

(c) if (t, α) ∈ Sn then āt ⊆ cℓ(∪{c̄m
t1 ,α1 : m < n and (t1 , α1 ) ∈ Sm } ∪
G0 , Gn );
S
(d) A ⊆ An ∪ G0 where An = ∪{c̄m
t,α : (t, α) ∈ Sm and m < n};
n

6For the case S is not symmetric and λ is singular, if we like to have “prime”, (as in ??(5) we
should add: for every pair t = (s, ā) as in 1.15(2), for every large enough µ < λ, for every α < µ+
for some c̄ ⊆ Mµ+ requires qs (ā, Mα ); also we can in 1.23(1) have such A , i.e. strengthen (d)
there as here so weakens the assumption in 1.23(4).
7Not enough for quoting results.

18

SAHARON SHELAH

(e) for some n∗ , (t∗ , 0) ∈ Sn∗ .
We have to prove that qt∗ (cℓ(A ∪ G, Ĝ)) is realized in M . Choose α∗ such that
(t∗ , α∗ ) ∈
/ Sn∗ and prove by induction on n ≥ n∗ that c̄nt∗∗,α∗ realizes qt∗ (cℓ(An ∪
G0 , Ĝ)).
For n = n∗ this is obvious, so assume this holds for n and we shall prove for
n + 1.
n(∗)
For this it suffices to prove, for every finite u ⊆ Sn that c̄t∗ ,α∗ realizes qt∗ (cℓ(An ∪
G0 ∪ {c̄nt,α : (t, α) ∈ u}, Ĝ); we prove this by induction on |u|. Now if |u| = 0 this
holds by the induction hypothesis on n and if |u| > 0, let β ∈ u and use the
induction for u′ = u\{β} and S being symmetric.
5) We can find a list h(nζ , tζ , αζ ) : ζ < λi of {(n, t, α) : n < ω and (t, α) ∈ Sn } such
n
that ātζ ⊆ cℓ(∪{(c̄tξξ,αξ : ξ < ζ} ∪ M, N ).
n
Now choose f (c̄tζζ,αζ ) ⊆ N ′ by induction on ζ.
1.16
Discussion 1.17. 1) So by 1.13(2), 1.16(2) if there is a symmetric closed dense S
then for every lf group G there is a “nice” extension of G to an existentially closed
one Ĝ, that is we have:
(a)
(b)
(c)
(d)

uniqueness (by 1.13(4))
cardinality ≤ |θ| + |S| (by 1.13(3))
extending G (see 1.12(1))
being existentially closed (see 1.16(2)).

2) Fixing λ and demanding G ∈ K≤λ we can add
(e) Ĝ is (λ, S)-full over M
(f ) if H ⊇ G is (λ, S)-full then there is an embedding of Ĝ into H over G.
Discussion 1.18. Concerning 1.16(1), if we assume hGα : α ≤ δ+1i is ⊆-increasing
continuous and α < δ ⇒ Gα ≤S Gδ+1 , does it follow that Gδ ≤S Gδ+1 ? This is
Ax(IV) of the definition of a.e.c. Well, if δ has uncountable cofinality and each Gα
is existentially closed then yes. The point is that the relevant types do not split
over finite sets. If we deal with “not split over countable sets” we need cf(δ) ≥ ℵ2 ,
etc.
So (K, ≤S ) is not an a.e.c. in general failing Ax(IV); in fact, e.g. we may prove
for the maximal S that this axiom fails, see the proof of 5.1.
Now we turn to constructions not necessarily assuming “S is symmetric” presenting the “first avenue” in §0(B).
Definition 1.19. 1) We say that A = hGi , āj , wj , Kj : i ≤ α, j < αi is an Fsch
ℵ0 −Sconstruction (for K) when :
(a)
(b)
(c)
(d)
(d)+

Gi for i ≤ α is an ≤S -increasing continuous sequence of members of K;
Gi+1 is generated by Gi ∪ āi , āi a finite sequence;
wi is a finite subset of i;
Ki ⊆ Gi is finite;
P
moreover Ki ⊆ hG0 +
āj iGi ; we may add “Kj generated by ∪{āj : j ∈
j∈wi

wi } ∪ (Ki ∩ Gi );

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

19

ℓg(ā )

(e) tpbs (āi , Gi , Gi+1 ) ∈ SS i (Gi ) as witnessed by Ki , i.e. it is qs (ā, Gi ) for
some ā ∈ ω> Ki realizing ps for some s ∈ S.
2) We may say above that Gα is Fsch
ℵ0 − S-constructible over G0 ; and may also say
A
that A is an S-construction over G0 . We let α = ℓg(A ), Gi = GA
i , āi = āi , wj =
A
A
wj , Kj = Kj .
3) We say above that A is a definite Fsch
ℵ0 − S-construction when for every j < α
A
A
we have also tj = tj ∈ def(Gj ) such that ātj ∈ ω> (Kj ) and āA
j realizes qtj (Gj )
(note that in 1.19(1)(e) we have “for some sj ”, so A does not determine the s’s (or
here the tj ; so every Fsch
ℵ0 − S-construction can be expanded to a definite one, but
not necessarily uniquely).
4) We say A is a λ-full definite Fsch
ℵ0 − S-construction when α is divisible by λ and
for every i < α and t ∈ def(Gi ), the set {j : j ∈ (i, α) and tA
j = t} is an unbounded
subset of α(∗) of order type divisible by λ.
Discussion 1.20. We may replace 1.19(1)(e) by “tpbs (āi , Gi , Gi+1 ) does not split
over Ki ”, this is like the case Fpℵ0 in [Sh:c, Ch.IV,Def.2.6,pg.168] and [Sh:c, Ch.IV,Lemma
2.20,pg.168] and is equal to Fnsp
ℵ0 in [Sh:900, §1,1.1-1.12], both for first order theories, but we seemingly lose the following:
A
Observation 1.21. 1) If A is a Fsch
ℵ0 − S-construction and G0 ⊆ G and G ∩
A
sch
B
GA
ℓg(A ) = G0 then there is an Fℵ0 − S-construction B with G0 = G, ℓg(B) =
B
A
ℓg(A ) and Gℓg(B) = hGℓg(A ) ∪ GiGA .
ℓg(A )

A
2) Like (1) but with definite Fℵsch
−S-constructions and then add in the end tB
j = tj
0
for j < ℓg(A ).
3) For the definite version, see 1.19(3), we get even uniqueness in (2).

Discussion 1.22. In 1.24 below, we may consider (see [Sh:f, Ch.IV,§1]):
Ax(V.1): If (q, G, L) ∈ F, G ⊆ H ∈ K; ā, b̄ ∈ ω> H; q = tpbs (āˆb̄, G, H) and
p = tpbs (ā, hG + b̄iH , H) then (p, hG + b̄iH , L) ∈ F.
Ax(V.2): A notational variant of (V1) so we ignore it.
The following claim (together with §2, the existence of countable dense S) proves
Theorem 0.11.
Claim 1.23. 1) If G ∈ K is of cardinality ≤ λ and S ⊆ Ω[K] is closed and
dense and of cardinality ≤ λ (if λ ≥ 2ℵ0 this follows) then there is an Fsch
ℵ0 − Sconstruction A such that:
(a)
(b)
(c)
(d)

αA = λ;
GA
0 = G;
GA
λ ∈ K is existentially closed of cardinality λ;
A is λ-full, that is for every s ∈ S and ā ∈ k(s) (GA
λ ) realizing ps (x̄), for λ
A
ordinals α < λ we have: tpbs (āα , GA
,
G
)
=
q
(ā,
GA
s
α
α+1
α ).

2) Assume λ ≥ kGk + |S| is regular. Then we can find H ∈ Kλ which is Fsch
ℵ0 − Sconstructible over G, is (λ, S)-full over M and is embeddable over M into any N ′
which is (λ, S)-full over G, in fact Gλ from part (1) is as required.
3) If S is symmetric and is closed and H1 , H2 are Fsch
ℵ0 − S-constructible over G
and (λ, S)-full over G and of cardinality λ then H1 , H2 are isomorphic over G.

20

SAHARON SHELAH

4) If λ ≥ kGk and A is an Fsch
ℵ0 − S-construction of H over G and ℓg(A ) = λ
then for every H ′ ∈ K which is (λ, S)-full over G, we have H is embeddable into
H ′ over G.
Proof. By [Sh:c, Ch.VI,§3] as all the relevant axioms there apply (see below or
[Sh:c, Ch.IV,§1,pg.153]) or just check directly. Of course, we can use a monster C
for groups, but use only sets A such that cℓ(A, C) = hAiC is locally finite, and we
use quantifier-free types.
1.23
Now we make the connection to [Sh:c, Ch.IV].
Definition/Claim 1.24. 1) Let S ⊆ Ω[K] be closed and below let λ = λ(FS ) be
ℵ0 . Then F = FS is defined as the set of triples (p, G, A) such that A is finite, for
some B ⊆ G ∈ K we have A ⊆ B, cℓ(B) = cℓ(B, G) = G ∈ K, p ∈ S<ω
S (cℓ(B)) is
qs (b̄, cℓ(B)) for some s ∈ S, b̄ ⊆ cℓ(A) over A; we may restrict ourselves to the case
B = cℓ(B, G) = G. Note that: as here we do not have a monster model C we can
either demand B ∈ K or demand B ⊆ G ∈ K but then it is more natural to write
(p, G, A) instead of (p, A).
2) F satisfies the axioms (from [Sh:c, Ch.IV,§1] written below in the present notation) except possibly V, VI, VIII, X.1, X.2, XI.1, XI.2.
3) If S is symmetric then F satisfies also Ax(VI).
4) If S is dense then F satisfies also Ax(X.1).
Remark 1.25. If S is compact (see 1.6(5)), then F satisfies Ax(VIII), i.e.
Ax(VIII) when S is compact: If hGi : i ≤ δ + 1i is ⊆-increasing continuous in
K, L ⊆ G0 finite, p ∈ SS (Gλ ) and i < δ ⇒ (p↾Gi , Gi , L) ∈ F then (p, Gδ , L) ∈ F.
[Why? By the Definition; also holds when cf(δ) > ℵ0 .]
Proof. Isomorphism - Ax(I): preservation under isomorphism.
Obvious.
Concerning trivial F-types:
Ax(II1): If K ⊆ L ⊆ G ∈ K, |L| < λ, K is finite, ā ∈
then (p, G, K) ∈ F.
[Why? Trivially; recall λ = ℵ0 .]

ω>

K and p = tpbs (ā, L, G)

Axiom(II2)-(II3)-(II4): irrelevant here.
Concerning monotonicity:
Ax(III1): If L ⊆ G1 ⊆ G2 and (p, G2 , L) ∈ F then (p↾G1 , G1 , L) ∈ F.
[Why? Because if ā ∈ ω> L, L ⊆ G1 ⊆ G2 ∈ K and qs (ā, G2 ) is well defined and
equal to p, then qs (ā, G1 ) = qs (ā, G2 )↾G1 ), see Claim 1.2(1A).]
Ax(III2): If L ⊆ L1 ⊆ G, |L1 | < λ, i.e. L1 is finite and (p, G, L) ∈ F then
(p, G, L1 ) ∈ F.
[Why? By the definition.]
Ax(IV): If ā, b̄ ∈ ω> H, L ⊆ G ⊆ H, (tpbs (b̄, G, H), G, L) ∈ F and Rang(ā) ⊆
Rang(b̄) then (tpbs (ā, G, H), G, L) ∈ F.
[Why? Straightforward as S is domination closed, see Definition 1.6(1B).]
Concerning transitivity and symmetry:

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

21

Ax(VI): (S is symmetric). If G ⊆ H ∈ K, ā, b̄ ∈ ω> H and L1 , L2 ⊆ G are finite
and (tpbs (b̄, hG + āiH , H), hG + āiH , L1 ) ∈ F and (tpbs (ā, G, H), G, L2 ) ∈ F then
(tpbs (ā, hG + b̄iH , H), hG + b̄iH , L1 ) ∈ F.
[Why? By S being symmetric when we claim this axiom, i.e. in 1.24(3).]
Ax(VII): If G ⊆ H ∈ K, ā, b̄ ∈ ω> H, (tpbs (ā, hG + b̄iH , H), hG + b̄iH , L) ∈ F and
(tpbs (b̄, G, H), G, L) ∈ F hence L ⊆ G is finite, then (tpbs (āˆb̄, G, H), G, L) ∈ F.
[Why? By S being composition-closed, see Definition 1.6(1A).]
Concerning continuity:
Ax(IX): irrelevant as λ = ℵ0 .
Concerning existence:
Ax(X.1): If L1 ⊆ G ∈ K, L1 ⊆ L2 finite, ā ∈ ω> (L2 ) then for some p extending
tpbs (ā, L1 , L2 ) and finite L ⊆ G we have (p, G, L) ∈ F, moreover without loss of
generality L = L1 .
[Why? By S being dense.]
Ax(X.2): irrelevant and follows by the moreover in Ax(X.1).
Ax(XI.1): If p ∈ Sbs (G1 ), (p, G1 , L) ∈ F hence p ∈ SnS (G1 ) for some n and G1 ⊆
G2 then there is q ∈ Snbs (G2 ) extending p such that (q, G1 , L2 ) ∈ F for L2 , so
q̄ ∈ SnS (G2 ); moreover, in fact, L2 = L is O.K.
[Why? Use the same s ∈ S.]
Ax(XI.2): irrelevant and really follows by the moreover in (XI.1).

1.24

Definition 1.26. A sequence I = hās : s ∈ Ii in G ∈ K is κ-convergent when for
some m, s ∈ I ⇒ ās ∈ m G and for every finite K ⊆ G and some q ∈ Sm (K) for all
but < κ members s of I, q = tpbs (ās , K, G).
Remark 1.27. 1) So FS -constructions preserve “I is κ-convergent”. Moreover, if I
is κ-convergent in G ∈ K and G ≤S H, where S ⊆ Ω[K] then I is κ-convergent in
H.
2) We can assume I is a linear order with no last member and of cofinality ≥ κ
and replace “all but < κ of the s ∈ I” by “every large enough s ∈ I”. See more in
[Sh:950, §(1C)].
§ 1(C). Using Order.
We now turn to the third avenue of §(0B) to deal with the general and not
necessarily symmetric case. Can we get uniqueness for non-symmetric S? Can we
get every automorphism extendable, etc.? The answer is that at some price, yes.
A major point in the construction was the use of linear well ordered index set (λ in
1.23(1) or αA in general). But actually we can use linear non-well ordered index
sets, so those index sets can have automorphisms which help us toward uniqueness.
The solution here is not peculiar to locally finite groups.
Definition 1.28. We say (I, E) is λ-suitable when (we may omit λ when λ = |I|,
we may write (I, Pi )i<λ with hPi : i < λi listing the E-equivalence classes (with no
repetitions)):

22

SAHARON SHELAH

(a) I is a linear order;
(b) E is an equivalence relation on I with λ equivalence classes;
(c) every permutation of I/E is induced by some automorphism of the linear
order which preserves equivalence and non-equivalence by E;
(d) each E-equivalence class has cardinality |I|.
Claim 1.29. Let T = Th(R, <, E) where Th stands for “the first order theory of”,
E := {(a, b) : a, b ∈ R and a − b ∈ Q}; so (A, <, E) |= T iff (A, <) is a dense
linear order with neither first nor last element, E an equivalence relation with each
equivalence class a dense subset of A and with infinitely many equivalence classes.
1) If λ = λ<λ and (I, E) is a saturated model of T of cardinality λ, then (I, E) is
suitable8
2) For every λ the (I, Pi )i<λ from [Sh:E62, §2] (see history there) is λ-suitable and
|I| = λ.
3) There is a definable sequence h(Iλ , Piλ )i<λ : λ an infinite cardinali such that
(Iλ , Piλ )i<λ is λ-suitable and is increasing with λ and this definition is absolute.
Proof. 1) Obvious.
2),3) See there.

1.29

Claim 1.30. Assume
(A) G ∈ K is of cardinality λ;
(B) S ⊆ Ω[K] is closed and dense;
(C) (a) i(∗) ≤ λ and S = {ti = (si , āi ) : i < i(∗)} lists def S (G), i.e. the pairs
(s, ā), as in clause (d) of 1.23(1) or 1.23(3);
(b) each such pair appears exactly once;
(c) let ti = (s∗ , <>) for i ∈ [i(∗), λ) so s∗ ∈ S, ks∗ = 0, ns = 1, i(∗) =
kdef S (G)k, s∗ is from 1.3; so āi = hi;
(D) (I, Pi )i<λ is λ-suitable, see Definition 1.28.
Then we can find H, c = hc̄r : r ∈ Ii (the ordered one step (λ, S)-closure), such
that:
H ∈ K is a ≤S -extension of G;
c̄r ∈ n(ti ) H if r ∈ Pi , i < λ;
H is generated by G ∪ {c̄r : r ∈ I};
if i < λ and r ∈ Pi then c̄r realizes in H over cℓ(G ∪ {c̄s : s <I r}, H) the
type defined by (si , āi );
(e) every automorphism of G can be extended to an automorphism of H.

(a)
(b)
(c)
(d)

Proof. Straightforward; e.g. to define H we should choose qr0 ,...,rn−1 for every r0 <I
. . . <I rn−1 by induction on n such that in the end qr0 ,...,rn−1 = tpbs (c̄r0 ˆ . . . ˆc̄rn−1 , G, H),
by clause (d), and prove that:
(∗) if m ≤ n and h : {0, . . . , m − 1} → {0, . . . , n − 1} is increasing then
qrh(0) ,...,rh(m−1) ≤h qr0 ,...,rn−1 .
8By similar arguments, if λ ≥ 2µ then there is a µ-suitable (I, P )
i i<µ but |I/E| = µ < λ. We
can use any model of cardinality λ which is strongly µ+ -sequence homogeneous; this means that
every partial automorphism of cardinality ≤ µ can be extended to an automorphism.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

23

Note that clause (e) follows by clauses (a)-(d) above recalling clause (c) of Definition
1.28.
Why? Let π be an automorphism of G, for each i < λ we have (si , āi ) ∈ S
and also (si , π(āi )) ∈ S , so by the choice of h(si , āi ) : i < λi there is a unique
j < λ such that i ≥ i(∗) ⇒ j = i and (π(āi ), si ) = (āj , sj ), so let j = π̂(i). So
π̂ is a permutation of λ. By “(I, Pi )i<λ is λ-suitable” there is an automorphism π̌
of the linear order I such that i < λ ⇒ π̌(Pi ) = Pπ̂(j) . Clearly there is a unique
automorphism π̇ of H such that π = π̇↾G and π̇(c̄i ) = c̄π̂(i) .
1.30
Definition 1.31. 1) We say H is an ordered one-step (λ, S)-closure of G, pedantically the ordered one step (I, E) − S-closure of G, when G, H, c are as in 1.30.
2) We say H is an ordered (λ, S)-closure of G, pedantically the ordered (I, E) − Sclosure of G when:
S
(a) H = Hn
n

(b) H0 = G
(c) Hn+1 is the one step (I, E) − S-closure of Hn .
Remark 1.32. 1) In what way is 1.30 weaker? We have to choose the listing of
def(G) in clause (C). Also for G1 ⊆ G2 it is not clear why H1 ⊆ H2 , where (Gℓ , Hℓ )
is as above. But see 1.29(3).
2) On naturality see Paolini-Shelah.
Conclusion 1.33. The parallel of parts (2)-(6) of 1.13 holds.
Proof. Straightforward, for part (6) of 1.13 use 1.29(3).

1.33

24

SAHARON SHELAH

§ 2. There are enough reasonable schemes
§ 2(A). There is a Dense Set of Schemes.
We like to find S’s as in §1 for Klf , in particular to prove that there are dense
S, so we have to look in details at amalgamations of lf-groups under special assumptions.
Recall the well known: for finite groups G0 ⊆ Gℓ ∈ K for ℓ = 1, 2 we can
amalgamate G1 , G2 over G0 by embedding into suitable finite permutations group;
see the proof of the theorem of Hall, explained in the second paragraph of §(0A).
Concerning the Kolf versions of 2.2, see later in 6.7.
Convention 2.1. K is Klf .
Definition 2.2. 1) Let XK = X(K), the set of amalgamation tries, be the set of
x such that: x is a quintuple (G0 , G1 , G2 , I1 , I2 ) = (Gx,0 , Gx,1 , . . .) satisfying:
(a) G0 ⊆ Gℓ ∈ K for ℓ = 1, 2;
(b) Iℓ is a set of representatives of the left G0 -cosets in Gℓ , i.e. hgG0 : g ∈ Iℓ i
is a partition of Gℓ (so without repetitions) for ℓ = 1, 2;
(c) eGx,0 ∈ Ix,1 ∩ Ix,2 .
2) For x as above let
(a)
(b)
(c)
(d)

U = Ux = {(g0 , g1 , g2 ) : gℓ ∈ Gℓ for ℓ = 0, 1, 2 and g1 ∈ I1 , g2 ∈ I2 };
ℓ
:= {(g0 , g1 , g2 ) ∈ Ux : gℓ = g};
for ℓ = 1, 2 and g ∈ Iℓ let Ugℓ = Ux,g
if G1 ∩ G2 = G0 then we let jx = jx,1 ∪ jx,2 , see below;
for ℓ = 0, 1, 2 let jℓ = jx,ℓ be the following embedding of Gℓ into per(Ux ),
the group of permutations of Ux , so let g ∈ Gℓ and we should define jℓ (g),
so let (g0 , g1 , g2 ) ∈ Ux and we define (g0′ , g1′ , g2′ ) = (jℓ (g))(g0 , g1 , g2 ) from
Ux as follows:

ℓ = 0: g0′ = g0 g in G0 and g1′ = g1 , g2′ = g2 ;
ℓ = 1: g1′ g0′ = g1 g0 g in G1 and g2′ = g2 ;
ℓ = 2: g2′ g0′ = g2 g0 g in G2 and g1′ = g1 .
3) Let Gx = Gx,3 be the subgroup of Sym(Ux ) which Rang(jx,1 ) ∪ Rang(jx,2 )
generates where Gx |= “f1 f2 = f3 ” means that for every u ∈ Ux , f3 (u) = f2 (f1 (u)),
i.e. we look at the permutation as acting from the right.
4) Let ≤X(K) be the following partial order on XK : x ≤X(K) y iff :
(a)
(b)
(c)
(d)

x, y ∈ XK ;
Gx,0 = Gy,0 ;
Gx,ℓ ⊆ Gy,ℓ for ℓ = 1, 2;
Ix,ℓ = Iy,ℓ ∩ Gx,ℓ for ℓ = 1, 2.

5) We say (f1 , f2 ) embeds x ∈ XK into y ∈ XK when :
(a) fℓ embeds Gx,ℓ into Gy,ℓ for ℓ = 1, 2;
(b) f1 ↾Gx,0 = f2 ↾Gy,0 maps Gx,0 onto Gy,0 .

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

25

6) We say (f1 , f2 ) is an isomorphism from x ∈ XK onto y ∈ XK when above fℓ is
onto Gy,ℓ for ℓ = 1, 2.
Observation 2.3. Let x be as in Definition 2.2, i.e. it is an amalgamation try.
0) If G0 ⊆ Gℓ ∈ K for ℓ = 1, 2 then for some x ∈ XK we have Gx,ℓ = Gℓ for
ℓ = 0, 1, 2.
1) In Definition 2.2(2), for ℓ = 0, 1, 2 if g ∈ Gx,ℓ then jx,ℓ (g) is a permutation of
is a permutation for each g1 ∈ G3−ℓ .
Ux , in fact, its restriction to Ug3−ℓ
1
2) Moreover in part (1) the mapping jx,ℓ embeds the group Gx,ℓ into the group of
permutation of Ux hence into Gx .
3) The mapping jx,0 is equal to jx,1 ↾Gx,0 and also to jx,2 ↾Gx,0 .
4) If Gx,ℓ is finite for ℓ = 0, 1, 2 then |Gx | ≤ (|Gx,1 | × |Gx,2 |/|Gx,0 |)!
5) If x is an amalgamation try and Gx,0 ⊆ G′ℓ ⊆ Gx,ℓ so G′ℓ is a subgroup of
Gx,ℓ , for ℓ = 1, 2 then for one and only one amalgamation try y we have Gy,0 =
Gx,0 , Gy,ℓ = G′ℓ for ℓ = 1, 2 and Iy,ℓ = Ix,ℓ ∩ G′ℓ so y ≤X(K) x.
6) Moreover in part (5), if z is an amalgamation try with (Gz,0 , Gz,1 , Gz,2 ) =
(Gx,0 , G′1 , G′2 ) then for some x′ , the pair (x′ , z) is like (x, y) in (5) and (Gx′ ,0 , Gx′ ,1 , Gx′ ,2 ) =
(Gx,0 , Gx,1 , Gx,2 ).
7) In part (5) there is a unique homomorphism f from hjx,1 (G′1 ) ∪ jx,2 (G′2 )iSym(Ux )
onto Gy such that ℓ ∈ {1, 2} ∧ g ∈ G′ℓ ⇒ jy,ℓ (g) = f (jx,ℓ (g)).
8) In part (5), if G′1 , G′2 are finite then hjx,1 (G′1 ) ∪ jx,2 (G′2 )iGx has at most (n∗ !)m∗
′
′
members where n∗ = |G′1 | × |G′2 | × |Gx,0 |3 and m∗ = (n∗ !)|G1 |+|G2 | .
Proof. Straightforward. E.g.:
2) E.g. let ℓ = 1 and f, h ∈ G1 . For (g0 , g1 , g2 ) ∈ Ux let (j1 (f ))(g0 , g1 , g2 ) =
(g0′ , g1′ , g2′ ) and (j1 (h))(g0′ , g1′ , g2′ ) = (g0′′ , g1′′ , g2′′ ) hence
(∗)1 (j1 (h))(j1 (f ))(g0 ; g1 , g2 ) = (g0′′ , g1′′ , g2′′ ).
Then g2 = g2′ and g2′ = g2′′ and in G1 we have g1 g0 f = g1′ g0′ and g1′ g0′ h = g1′′ g0′′ ,
hence g2 = g2′′ and g1′′ g0′′ = g1′ g0′ h = (g1 g0 f )h = (g1 g0 )(f h), so by the definition of
j1 (fh ) we have
(∗)2 j1 (f h)(g0 , g1 , g2 ) = (g0′′ , g1′′ , g2′′ ).
By (∗)1 + (∗)2 we have
(∗)3 j1 (fh )(g0 , g1 , g2 ) = (j1 (h))(j1 (f ))(g0 , g1 , g2 ).
As this holds for every (g0 , g1 , g2 ) ∈ Ux we have Gx |= “j1 (f h) = j1 (f )j1 (h)”.
4) Clearly |Gx,ℓ | = |Ix,ℓ | × |Gx,0 | for ℓ = 1, 2 hence |Ux | = |Ix,1 | × |Ix,2 | × |Gx,0 | =
(|Gx,1 |/|Gx,0 ) × (|Gx,2 |/|Gx,0 | × |Gx,0 | = |Gx,1 | × |Gx,2 |/|Gx,0 |.
Hence |Gx | ≤ |Sym(Ux )| = (|Ux |)! = (|Gx,1 | × |Gx,2 |/|Gx,0 |)! as stated).
7) First, why there is such a homomorphism? If b ∈ jx,1 (G′1 ∪ jx,2 then b is a
permutation of Ux which maps the set Uy = G0 × Iy,1 × Iy,2 onto itself. It follows
that every b ∈ G′ := hjx,1 (G′1 ) ∪ jx,2 (G′2 )iSym(Ux ) maps the set Uy = G0 × Iy,1 ×
Iy,2 onto itself. Hence the mapping with domain G′ defined by f (b) = b↾Uy is a
homomomorphism from G′ into Sym(Uy ). However, for each b ∈ jx,1 (G′1 )∪jx,2 (G′2 )
we have b↾Uy belongs to Gy,3 so b ∈ G′ ⇒ f (b) ∈ Gy,3 , hence f is as required.
Second, why f is unique? Because jx,1 (G′1 ) ∪ jx,2 (G′2 ) generates G′ and on it f
is determined.

26

SAHARON SHELAH

8) Let G0 = Gx,0 . We define E = {((g0′ , g1′ , g2′ ), (g0′′ , g1′′ , g2′′ ))) ∈ Ux ×Ux : G0 g1′ G′1 =
G0 g1′′ G′1 and G0 g2′ G′2 = G0 g2′′ G′2 }, this is an equivalence relation on Ux , each equivalence class has ≤ (|G′1 | × |G′2 | × |Gx,0 |3 ) = n∗ members.
[Why? As if (g0′ , g1′ , g2′ ) ∈ (g0 , g1 , g2 )/E then g0′ ∈ G0 , g1′ ∈ G0 g1 G′1 , g2′ ∈ G0 g2 G′2
and |G0 gℓ G′ℓ | ≤ |G0 | × |G′ℓ |.]
Also each of the permutations of Ux from jx,1 (G′1 ) ∪ jx,2 (G′2 ) maps each E′
′
equivalence class onto itself. Hence for n ∈ [1, n∗ ] there are ≤ m∗n := n!|G1 |+|G2 |−1
N
isomorphism types of structures of the form: N = (|N |, Ff )f ∈G′1 ∪G′2 , where |N |, the
universe, has exactly n elements and is an E-equivalence class, and for each f ∈ G′1 ∪
N
G′2 we have: FfN is a permutation of this equivalence class and Fe(G
is the identity.
0)
P
|G′1 |+|G′2 |−1
|G′1 |+|G′2 |
(n!)
≤ (n∗ !)
= m∗ , the subgroup hj1,x (G′1 ) ∪
Clearly as
n≤n∗

j2,x (G′2 )iGx of Gx has at most (n∗ !)m∗ members. Of course9, the argument gives
better bounds, e.g. the number of relevant N ’s is much smaller and using a finer
E.
2.3
Claim 2.4. In Definition 2.2, jx,1 (G1 ) ∩ jx,2 (G2 ) = jx,ℓ (G0 ).
Proof. Assume that aℓ ∈ Gℓ and bℓ = jx,ℓ (aℓ ) for ℓ = 1, 2. It suffices to show that:
if b1 = b2 then a1 , a2 ∈ Gx,0 and a1 = a2 . We check to what bℓ maps the triple
(e, e, e) ∈ Ux : by the definition of jx,1 , jx,2 we have:
• b1 ((e, e, e)) = (g0′ , g1 , e) ∈ Ux where G1 |= g1 g0′ = b1 ;
• b2 ((e, e, e)) = (g0′′ , e, g2 ) ∈ Ux where G2 |= g2 g0′′ = b2 .
So if b1 = b2 then (g0′ , g1 , e) = b1 ((e, e, e) = b2 ((e, e, e, )) = (g0′′ , e, g2 ), hence g0′ =
g0′′ ∧ g1 = e ∧ e = g2 ; this implies that g0′ = b1 , g0′′ = b2 hence g0′ = g0′′ , also g0′′ ∈ G0
together a1 = a2 so we are done.
2.4
Definition 2.5. 1) Let10 NFrfin (G0 , G1 , G2 , G3 ) means that Gℓ ⊆ G3 (∈ K) for
ℓ < 3 and NFfin (G0 , G1 , G2 , hG1 ∪ G2 iG3 ), see below.
2) Let NFfin (G0 , G1 , G2 , G3 ) mean that:
(a) G0 ⊆ Gℓ ⊆ G3 ∈ K are finite groups for ℓ = 1, 2;
(b) G3 = hG1 ∪ G2 iG3 ;
(c) if x ∈ XK and G0 = Gx,0 , G1 ⊆ Gx,1 , G2 ⊆ Gx,2 then there is a homomorphism f from G3 into Gx such that f ↾Gℓ = jx,ℓ ↾Gℓ for ℓ = 1, 2;
(d) if a ∈ G3 \{eG3 } then for some x, f as above we have f (a) 6= eG3 .
Remark 2.6. Note the choice “Gℓ ⊆ Gx,ℓ ” rather than Gℓ = Gx,ℓ in clause (c) of
2.5.
Now the amalgamation in Definition 2.5 is very nice but do we have existence, in
Klf of course? The following Claim 2.7(3) answers positively.
Claim 2.7. 1) In clause (c) of Definition 2.5(2), the homomorphism f is unique.
1A) If NFfin (Gι0 , Gι1 , Gι2 , Gι3 ) for ι = 1, 2 and fℓ is an isomorphism from G1ℓ onto
G2ℓ such that f0 ⊆ fℓ for ℓ = 0, 1, 2 then there is one and only one isomorphism f3
from G13 onto G23 extending f1 ∪ f2 .
2) In Definition 2.5, necessarily G1 ∩ G2 = G0 .
9See more in [Sh:1098].
10NF stands for non-forking.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

27

3) If G0 ⊆ Gℓ ∈ K are finite for ℓ = 1, 2 then we can find f¯, H̄ such that
(a)
(b)
(c)
(d)
(e)

f¯ = hf0 , f1 , f2 i;
H̄ = hHℓ : ℓ ≤ 3i;
NFfin (H0 , H1 , H2 , H3 );
fℓ is an isomorphism from Gℓ onto Hℓ for ℓ = 0, 1, 2;
f0 ⊆ f1 and f0 ⊆ f2 .

Proof. 1), 1A) Obvious.
2) By Claim 2.4 recalling clause (c) of 2.5(2).
3) Follows by 2.3(8) but we elaborate. Let Ḡ = hGℓ : ℓ = 0, 1, 2i and
(∗)1 let XḠ := {x ∈ Xx : Gx,0 = G0 and Gx,ℓ is a lf group extending Gℓ for
ℓ = 1, 2};
(∗)2 for x ∈ XḠ let: nḡ (x) = the number of elements of hjx,1 (G1 )∪jx,2 (G2 )iGx,3 .
We define Xmx
as the set of x’s such that:
Ḡ
(∗)3 (a) x ∈ XḠ ;
(b) if y ∈ XḠ and x ≤ y then nḠ (x) = nḠ (y);
(∗)4 if x, z ∈ Xmx
and x ≤X(K) z, then nḠ (x) ≤ nḠ (z).
Ḡ
[Why? Because by 2.3(7) there is a homomorphism from Gz = hjz,1 (G1 ) ∪ jz,2 (G2 )i
onto Gx = hjx,1 (G1 ) ∪ jx,2 (G2 )i.]
(∗)5 for every x ∈ XḠ there is y ∈ Xmx
such that x ≤ y; hence Xmx
6= ∅.
Ḡ
Ḡ
[Why? By (∗)4 and 2.3(8).]
(∗)6 (XḠ , ≤X[K] ) has amalgamation, that is
• if x0 ≤X[K] xι for ι = 1, 2 then we can find x3 and (f1ι , f2ι ) for ι = 1, 2
such that:
(a) x3 ∈ XK
(b) x0 ≤X[K] x3
(c) (f1ι , f2ι ) embeds xι into x3 over x0
(over x0 means: f1ι ↾Gx0 ,1 = idGx0 ,1 , f2ι ↾Gx0 ,2 = idGx0 ,2 ).
[Why? For ℓ = 1, 2, we use the disjoint amalgamation for finite groups, i.e. find
(Gℓ , fℓ1 , fℓ2 ) such that:
•1
•2
•3
•4

Gℓ is a finite group extending Gx0 ,0
fℓ1 embeds Gx1 ,ℓ into Gℓ over Gx0 ,0
fℓ2 embeds Gx2 ,ℓ into Gℓ over Gx0 ,0
fℓ1 (Gx1 ,ℓ ) ∩ fℓ2 (Gx,ℓ ) = Gx0 ,0 .

Note that fℓ1 (Ix1 ,ℓ ) ∩ fℓ2 (Ix2 ,ℓ ) = {eGx0 ,0 }, moreover, working inside Gℓ , hgGx0 ,0 :
g ∈ fℓ1 (Ix1 ,ℓ ) ∪ fℓ2 (Ix2 ,ℓ )i is a sequence of pairwise disjoint sets. Hence there is
Iℓ ⊆ Gℓ extending fℓ1 (Ix1 ,ℓ ) ∪ fℓ2 (Ix2 ,ℓ ) such that hgGx0 ,0 : g ∈ Iℓ i is a partition of
Gℓ .
Define x3 by:
•′1 Gx3 ,0 = Gx0 ,0

28

SAHARON SHELAH

•′2 Gx3 ,ℓ = Gℓ for ℓ = 1, 2
•′3 Ix3 ,ℓ = Iℓ for ℓ = 1, 2.
Now check that x3 , (f1ι , f2ι ) for ι = 1, 2 are as required.]
(∗)7 if y ∈ xmx
then NFfin (Gy,0 , Gy,1 , Gy,2 , Gy,3 ).
Ḡ
[Should be clear now.]
Alternatively11, use 2.15 below and 2.3(8).

2.7

We give now further basic properties, mainly connecting it to non-splitting (in
2.8(4)).
Claim 2.8. Assume NFrfin (G0 , G1 , G2 , G3 ) hence NFfin (G0 , G1 , G2 , G3 ) ⇔ G3 =
hG1 ∪ G2 iG3 .
1) Symmetry: Also NFrfin (G0 , G2 , G1 , G3 ) holds.
2) Monotonicity: If G0 ⊆ G′ℓ ⊆ Gℓ for ℓ = 1, 2 and G′1 ∪ G′2 ⊆ G′3 ⊆ G3 then
NFrfin (G0 , G′1 , G′2 , G′3 ).
3) Uniqueness: if NFfin (G′0 , G′1 , G′2 , G′3 ) hence G′3 = hG′1 ∪ G′2 iG′3 , fℓ is an isomorphism from G′ℓ into Gℓ for ℓ = 0, 1, 2 such that f1 ↾G′0 = f0 = f2 ↾G′0 and f0 is
onto G0 , then there is an embedding f3 of G′3 into G3 extending f1 ∪ f2 (unique, of
course; it is onto if and only if G3 = hG1 ∪ G2 iG3 and fℓ is onto Gℓ for ℓ = 1, 2).
4) Definability: If ā ∈ ω> (G2 ) then tpbs (ā, G1 , G3 ) does not split over G0 .
Proof. Straightforward but we elaborate.
1) Use the symmetry in the definition (recall that in §2 we have K = Klf not Kolf !)
2) By 2.3(7) and use the uniqueness in 2.7(1). Alternatively use 2.15 below and
2.3(8).
3) Easily, too.
4) Obvious by parts (2) and (3).
2.8
Now above the restriction of G1 , G2 to be finite is undesirable.
Definition 2.9. Let NFf (G0 , G1 , G2 , G3 ) or “G1 , G2 are NFf -stably amalgamated
over G0 inside G3 ” mean that:
(a)
(b)
(c)
(d)

Gℓ ∈ K for ℓ ≤ 3
G0 is finite
G0 ⊆ Gℓ ⊆ G3 for ℓ = 1, 2 and G1 ∩ G2 = G0
if G′1 , G′2 are finite groups and G0 ⊆ G′ℓ ⊆ Gℓ for ℓ = 1, 2 and G′3 =
hG′1 ∪ G′2 iG3 then NFfin (G0 , G′1 , G′2 , G′3 ).

Claim 2.10. Stable Amalgamation over Finite Claim 1) Existence: If G0 ∈ K is
finite and G0 ⊆ Gℓ ∈ K for ℓ = 1, 2 and for transparency G1 ∩ G2 = G0 then for
some G3 we have NFf (G0 , G1 , G2 , G3 ) and G3 = hG1 ∪ G2 iG3 .
2) Uniqueness: In part (1), G3 is unique up to isomorphism over G1 ∪ G2 .
3) Monotonicity: If G0 ⊆ G′ℓ ⊆ Gℓ for ℓ = 1, 2 and NFℓ (G0 , G1 , G1 , G2 ) then
NFf (G0 , G′1 , G′2 , G3 ).
4) Symmetry: NFf (G0 , G1 , G2 , G3 ) holds iff NFf (G0 , G2 , G1 , G3 ) holds.
5) Definability: If NFf (G0 , G1 , G2 , G3 ), then G1 ≤Ω[K] G3 .
11Or see [Sh:1098].

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

29

Proof. 1) Straightforward by 2.7(1) and 2.10(2),(3), i.e. existence follows from the
existence for finite G1 , G2 using uniqueness and monotonicity.
2) - 5) easy to: holds by 2.8(3), 2.8(1), 2.8(1), 2.8(3), i.e. uniqueness, monotonicity,
symmetry and definability respectively.
2.10
Now we go back to the major problem left in §1.
Claim 2.11. There is one and only one full s ∈ Ω[K] such that q = qs (ā, G1 )
when :
(a) G1 ∈ K is existentially closed
(b) q(x̄) ∈ SnSatdf (G) is tpbs (c̄, G1 , G3 ), see below
(c) NFf (G0 , G1 , G2 , G3 )
(d) c̄ ∈ n(s) (G2 ) and ā ∈ k(s) (G0 ) generate G0 .
Proof. By 2.10 and 1.2(3).

2.11

Definition 2.12. Let Sdf ⊆ Ω[K] be the closure of Satdf , see Definition 1.6 where
Satdf ⊆ S(K) is the set of s ∈ Ω[K] as in 2.11.
Claim 2.13. 1) Sdf is well defined, see Definition 2.12, 2.8(3).
2) Sdf is dense (see Definition 1.6(2)), closed and countable.
Proof. 1) Obvious.
2) Sdf is dense: holds by 2.10 and 2.11 recalling Definition 2.9, 2.12.
Sdf is closed: by its definition.
Sdf is countable: as Satdf is by 2.8(3), 2.10(2) recalling 1.8(3).

2.13

Discussion 2.14. Is Sdf symmetric? Not clear, however, in the end of §1 we have
circumvented this and we shall in §3 circumvent this in another way.
Claim 2.15. 1) Assume G0 ⊆ Gℓ ∈ K and Gℓ is existentially closed for ℓ = 1, 2
and G0 finite.
Then we can find x ∈ XK such that Gℓ = Gx,ℓ for ℓ = 0, 1, 2 and (jx,0 (G0 ) ⊆
jx,ℓ (Gℓ ) ≤Sdf Gx ) and NFf (jx,0 (G0 ), jx,1 (G1 ), jx,2 (G2 ), Gx ).
2) Assume G0 ⊆ G′ℓ ⊆ Gℓ and G′ℓ finite (or just (Gℓ : G′ℓ ) = |Gℓ |) and y ∈
XK , Gy,0 = G0 and Gy,ℓ = G′ℓ for ℓ = 1, 2. Then in part (1) we can demand that
x extends y.
Remark 2.16. If G0 ⊆ Gℓ ∈ K for ℓ = 1, 2 then we can find infinite G′1 , G′2 ∈ K
extending G1 , G2 respectively as K is closed under (finite) product (for Kolf use
lexicographic order).
Proof. 1) By the definitions it is easy. That is, for ℓ = 1, 2 we can choose Iℓ as in
2.2(1)(b) satisfying:
(∗) if G′ℓ ⊆ Gℓ is finite and extends G0 and I′ ⊆ G′ℓ is such that eG0 ∈ I′ and
hgG0 : g ∈ I′ i is a partition of G′ℓ then we can find g ∗ ∈ Gℓ such that
{g ∗ g : g ∈ I′ } ⊆ Iℓ .
Now think.
2) Similarly.

2.15

30

SAHARON SHELAH

§ 2(B). Constructing Reasonable Schemes.
We now give some examples of s ∈ Ω[K].
Definition 2.17. 1) Let scg be the s from 2.18(2) below.
2) Let sgl be the s from 2.18(3) below.
Claim 2.18. 1) For every G ∈ Klf there are G+ and a such that G ⊆ G+ ∈
Klf , G+ = hG ∪ {a}iG+ ; in G+ the element a does not commute with any b ∈
G\{eG}, a has order 2 and the sets G, a−1 Ga commute in G+ and their intersection
is {eG }.
2) There is unique s ∈ Ω[K] such that ks = 0, ns = 1, ps is empty and in part (1)
above tpbs (a, G, G+ ) is qs (<>, G).
3) There is s ∈ Ω[K] with ks = 1, ns = 4, ps (x̄s ) = {x0 = x−1
0 ∧ x0 6= e} such that:
if G ∈ Klf and a ∈ G realizes ps (x0 ) then there are G+ , c̄ such that G ⊆ G+ =
hG ∪ c̄iG+ , tpbs (c̄, G, G+ ) = qs (hai, G) and cℓ realizes qscg (<>, G) in G+ for ℓ < ns
and a ∈ hc̄iG+ .
Proof. We first make a less specific construction for any G ∈ K.
For n ≥ 2 let Un = G × n = {(g, ι) : g ∈ G, ι < n}. For finite K ⊆ G let
EK := {((g1 , ι1 ), (g2 , ι2 )) : g1 , g2 ∈ G and ι1 , ι2 < n and g1 K = g2 K}, this is an
equivalence relation on Un , each equivalence class has ≤ n × |K| elements. For
ā ∈ ω> G let Eā = EK when K = hRang(ā)iG which is finite.
For ā ∈ n G and π a permutation of {0, . . . , n − 1} let hā,π be the following
function from Un into Un :
(∗)1 hā,π ((g, ι)) = (gaι , π(ι)).
Clearly
(∗)2 hā,π is a permutation of Un which maps every Eā -equivalence class onto
itself.
Let H be the group of permutations of Un generated by {hā,π : ā ∈ n G and π is a
permutation of {0, . . . , n − 1}}, now by (∗)2 it is easy to see that H ∈ Klf where,
as in earlier cases,
• H |= “h = h1 h2 ” iff x ∈ Un ⇒ h(x) = h2 (h1 (x)).
Now for ι < n let jι be the following function from G into H:
(∗)3 jι (a) = hb̄,π when π = the identity and bk is a if k = ι and is eG otherwise.
Now
(∗)4 for ι < n, jι is an embedding of G into H.
[Why? Check.]
We let G∗ , j∗ be such that G∗ ⊇ G and j∗ is an isomorphism from G∗ onto H
extending j0 .
For later use note:
(∗)5 for transparency we can use existentially closed G.
Also

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

31

(∗)6 (a) G ≤Ω[K] G+ equivalently j0 (G) = j∗ (G) ≤Ω[K] H;
(b) if A ⊆ G and for ℓ < m we have āℓ ∈ n A and πℓ is a permutation of
{0, . . . , n − 1} then p = tpbs (hhāℓ ,πℓ : ℓ < mi, j∗ (G), H) does not split
over A;
(c) if above A is finite and ā lists A then for some s ∈ Ω[K], p = qs (ā, j∗ (G).
[E.g. why clause (c) by 2.10(2) recalling (∗)5 .]
Now we prove each part.
1) Let n = 2 and π be the permutation of {0, 1} such that π(0) = 1, π(1) = 0, and
let a = j−1
∗ (h<eG ,eG >,π ).
2) Should be clear by (∗)6 (c).
3) First note that
⊕1 j∗−1 (hā,π ) realizes qscg (hi, G) in G∗ when for some k ∈ {1, . . . , n − 1} we
have
•1 π is a permutation of {0, . . . , n − 1} and has order two
•2 π(0) = k
•3 π(k) = 0
•4 ā ∈ n G satisfies aπ(ι) = a−1
for ι < n
ι
•5 if π(ι) 6= ι, ι < n then aι = eG , (or just a0 belongs to the center of G).
[Why? By (∗)2 and the choice of H clearly hā,π ∈ H and inspecting (∗)1 , easily
hā,π has order two. By the choice of j∗ , π as π(0) = k, π(k) = 0 and ak = eG = a0 ,
−1
for g ∈ G we get H |= “hā,π
j0 (g)hā,π = jk (g)”. However, for every g1 , g2 ∈ G the
elements j0 (g1 ), jk (g2V
) of H commute as hā1 ,π1 , hā0 ,π2 commute in H, e.g. when
π1 = idn = π2 and
(a1,ℓ = e ∨ a2,ℓ = e). Lastly, g1 , g2 ∈ G ∧ j0 (g1 ) = j0 (g2 ) ⇒
ℓ<n

g1 = eG = g2 . Together we are done.]
Let n = 3 and for ℓ < 4 let gℓ ∈ H be hāℓ ,πℓ where πℓ , āℓ are defined by (recall
a ∈ G is given and has order 2):
⊕2 for ℓ < 4 let πℓ be such that:
ℓ = 0, 3: the orbits are {0, 1}, {2};
ℓ = 1, 2: the orbits are {0, 2}, {1}.
⊕3 let āℓ = haℓ,i : i < 3i be he, e, ei, he, a, ei, he, e, ei, (e, e, e) for ℓ = 0, 1, 2, 3.
Now
⊕4 cℓ := j−1
∗ (hāℓ ,πℓ ) realizes qscg (hi, G) for ℓ < 4.
[Why? We apply ⊕1 with k being 1 for ℓ = 0, 3 and 2 for ℓ = 1, 2. So we have to
check •1 − •4 for each ℓ; now •1 + •2 + •3 holds by inspecting ⊕2 and the choice of
k and of πℓ .
Lastly, for •4 + •5 note that a, e has order 2 and aℓ,0 = eG = aℓ,k by inspecting
⊕3 .]
⊕5 tpbs (hc0 , c1 , c2 , c3 ), G, G∗ ) does not split over hai, moreover is qt (hai, G) for
some t ∈ Ω[K].
[Why? Just think recalling (∗)6 .]
Lastly,

32

SAHARON SHELAH

⊕6 G+ |= “c0 c1 c2 c3 = a”.
[Why? This is equivalent to H |= hā0 ,π0 hā1 ,π1 hā2 ,π2 hā3 ,π3 = j0 (a). By the definition
of the product we check how each (g, ℓ) ∈ Un is mapped (see above, so hā0 ,π0 is
applied first) applying hāℓ ,πℓ in turn:
(g, 0) 7→ (ge, 1) 7→ (gea, 1) 7→ (geae, 1) 7→ (geaee, 0) = (ga, 0) = j0 (a)(g, 0)
and
(g, 1) 7→ (ge, 0) 7→ (gee, 2) 7→ (geee, 0) 7→ (geeee, 1) = (g, 1) = j0 (a)(g, 1)
(g, 2) 7→ (ge, 2) 7→ (gee, 0) 7→ (geee, 2) 7→ (geeee, 2) = (g, 2) = j0 (a)(g, 2).
So we are done.]

2.18

The following will be used in the proof of existence of complete existentially
closed G.
Claim 2.19. 1) If (A) then (B) where :
(A) (a) Gn ⊆ Gn+1 ∈ K for n < ω and I a set;
(b) atn ∈ Gn+1 and let btn = at0 . . . atn in Gn+1 for n < ω, t ∈ I;
(c) ān = hatn : t ∈ Ii, b̄n = hbtn : t ∈ Ii;
(d) (α) tpbs (ān , Gn , Gn+1 ) is increasing12 with n;
(β) cℓ(ān , Gn+1 ) ∩ Gn = {eGn }; if I = {t} and atn has order k(t)
this means that for every i ∈ {1, . . . , k(t)} we have:
Gn+1 |= “(atn )i = eG1 ” iff (atn )i ∈ Gn iff i = k(t);
(e) atn commutes with every c ∈ Gn ;
(f) Gω = ∪{Gn : n < ω} hence ∈ K;
(B) for some b̄ω , Gω+1 we have:
(a) Gω+1 ⊇ Gω belongs to K;
(b) b̄ω = hbtω : t ∈ Ii and btω ∈ Gω+1 ;
(c) Gω+1 = cℓ(Gω ∪ {btω : t ∈ I}, Gω+1 );
(d) if n < ω then pn = tpbs (b̄ω , Gn , Gω+1 ) = tpbs (b̄n , Gn , Gn+1 ).
2) If we have (A) except omitting (A)(d)(β), still we have:
(B)′ (a) − (c) as above;
(d) b̄ω ↾u realizes tpbs (b̄n! , Gn! ↾u, Gn+1 ) in Gω+1 when u ⊆ I is finite and
n is large enough.
Proof. 1) Letting pn (x̄) = tpbs (b̄n , Gn , Gn+1 ), it is enough to prove:
(∗)1 pn ⊆ pn+1 .
For this it is enough to prove, letting ȳ = hyt : t ∈ Ii,
12So by (A)(e) this is equivalent to “tp(ā , ∅, G
n
n+1 ) is constant”.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

33

(∗)2 if σ(ȳ, z̄) is a group-term and c̄ ∈ (ℓg(z̄)) (Gn ) then Gn+2 |= “σ(b̄n+1 , c̄) = e”
iff Gn+1 |= “σ(b̄n , c̄) = e”.
Towards proving (∗)2 note:
•2.1 c̄ and b̄n , and hence σ(b̄n , c̄) are from Gn+1 ,
•2.2 atn+1 commutes with every ci (i < ℓg(c̄)) and with bsn for s ∈ I.
By clause (A)(b) of the assumption of the claim,
•2.3 btn+1 = btn atn+1 and btn = btn−1 atn stipulating bt−1 = e.
Similarly,
•2.4 c̄ and b̄n−1 are from Gn ;
•2.5 atn commute with every ci (i < ℓg(c̄)) and with bsn−1 for s ∈ I.
Hence for some group term σ∗ (x̄):
•2.6 Gn+2 |= “σ(b̄n+1 , c̄) = σ(b̄n , c̄)σ∗ (ān+1 )”;
•2.7 Gn+1 |= “σ(b̄n , c̄) = σ(b̄n−1 , c̄)σ∗ (ān )”.
Hence by clauses (A)(d)(α), (β):
•2.8 σ∗ (ān ) ∈ Gn iff σ∗ (ān ) = eGn iff σ∗ (ān+1 ) = eGn iff σ∗ (ān+1 ) ∈ Gn+1 ;
•2.9 if σ∗ (ān ) ∈
/ Gn , hence σ∗ (ān+1 ) ∈
/ Gn+1 , then both statements in (∗)2 fail
because:
(α) σ(b̄n , c̄) is from Gn+1 and σ∗ (ān+1 ) ∈
/ Gn+1 so σ(b̄n+1 , c̄) ∈
/ Gn+1 and
thus σ(b̄n+1 , c̄) 6= eGn ;
(β) similarly σ(b̄n , c̄) ∈
/ Gn and thus σ(b̄n , c̄) 6= eGn ;
•2.10 if σ∗ (ān ) ∈ Gn hence σ∗ (ān ) = e = σ∗ (ān+1 ), then σ(b̄n+1 , c̄) = σ(b̄n , c̄)
and again we are done.
Together (∗)2 holds.
2) Similarly (and the same as part (1) when Gn is existentially closed for every n)
but we elaborate. Without loss of generality I is finite; letting pn (ȳ) = tpbs (ān , Gn ),
we need:
(∗)1 if c̄ is a finite sequence from Gω then the sequence htpbs (b̄n! ˆc̄, ∅, Gn!+1 ) :
n < ωi is eventually constant.
Let Kn = cℓ(ān , Gn+1 ), so by clause (A)(d)(α) of the assumption |Kn | is constant,
finite and Kn ∩ Gn is ⊆-increasing with n. Hence for some K∗ , n(∗) we have
n ≥ n(∗) ⇒ Kn ∩ Gn = K∗ and let k(∗) = |K∗ |. Without loss of generality
n(∗) ≥ k(∗); so it is enough to prove
(∗)2 if ȳ = hyt : t ∈ Ii and σ(ȳ, z̄) is a group term, c̄ ∈ ℓg(z̄) (Gn ) and n ≥ n(∗),
then Gn+1 |= “σ(b̄n , c̄) = e” iff Gn+k(∗)+1 |= σ(b̄n+k(∗) , c̄) = e”.
As in part (1) we can prove that for some group term σ∗ (ȳ) we have
⊞ if n ≥ n(∗) then Gn+2 |= σ(b̄n+1 , c̄) = σ(b̄n , c̄)σ∗ (ān+1 ).

34

SAHARON SHELAH

/ Gn for some, equivalently every, n ≥ n(∗).
Case 1: “σ∗ (ān ) ∈
In this case Gn+1 |= “σ(b̄n , c̄) 6= e” for every n ≥ n(∗).
Case 2: “σ∗ (ān ) ∈ Gn for some, equivalently every, n ≥ n(∗).
In this case there is b such that σ∗ (ān , c̄) = b for every n ≥ n(∗). So for every
n ≥ n(∗) by induction on m we can prove σ(b̄n+m , c̄) = σ(b̄n , c̄)·bm . But necessarily
b ∈ K∗ hence b has order dividing |K∗ | = k(∗). Hence n ≥ n(∗) ⇒ σ(b̄n+k(∗) , c̄) =
σ(b̄n , c̄) and thus n2 > n1 ≥ n(∗) ∧ k(∗)|(n2 − n1 ) ⇒ σ(b̄n−2 , c̄) = σ(b̄n1 , c̄), and so
we can finish easily.
2.19
Definition/Claim 2.20. 1) For k = 2, 3... let sab(k) be the unique s ∈ Ω[Klf ] such
that:
(a) n(s) = 1, k(s) = 0;
(b) if G ⊆ H and c ∈ H realizes qs (<>, G) = tpbs (c, G, H) then c commutes
with every a ∈ G;
(c) also for every m < ω, am = eH iff am ∈ G iff k|m.
2) Assume K ∈ Klf is finite and c̄ ∈
unique s ∈ Ω[Klf ] such that:

|K|

K list it. Then let s = sab (c̄, K) be the

(a) n(s) = ℓg(c̄), k(s) = 0 so ps (x̄s ) = ∅;
(b) if G ⊆ H ∈ Klf and c̄′ ∈ n(s) H then the following are equivalent:
(α) tp(c̄′ , G, H) = qs (<>, G),
(β) c̄′ commutes with G, realizes tp(c̄, ∅, K) and hc̄′ iH ∩ G = {e}.
Claim 2.21. Assume NFf (G0 , G1 , G2 , G3 ) and a ∈ G1 \G0 , b ∈ G2 \G0 . Then a, b
commute in G3 iff a ∈ CG1 (G0 ), b ∈ CG2 (G0 ) and G0 is commutative.
Remark 2.22. 1) NFf is from Definition 2.9.
2) Recall g [a] = a−1 ga.
Proof. Without loss of generality G1 , G2 are existentially closed (by monotonicity
of NFf , see 2.10(3) and existence of existentially closed extensions).
First assume
⊕ a ∈ NG1 (G0 ) and b ∈ NG2 (G0 ).
By 2.15, without loss of generality we can find x ∈ XK such that G3 = Gx , Gx,ℓ =
Gℓ for ℓ < 3 and let fa = jx,1 (a), fb = jx,2 (b); we shall use the fact that: we have
some freedom in the choice of x, see 2.15.
Let (g0 , g1 , g2 ) ∈ Ux and we should see whether fb ◦ fa ((g0 , g1 , g2 )) = fa ◦
fb ((g0 , g1 , g2 )); there are unique a′ , ha , b′ , hb such that:
(∗)0 (a) g1 a = a′ ha with ha ∈ G0 , a′ ∈ Ix,1 ;
(b) g2 b = b′ hb with hb ∈ G0 , b′ ∈ Ix,2 .
Now
[a]

(∗)1 fa ((g0 , g1 , g2 )) = (ha g0 , a′ , g2 ).
[a]

[a]

[a]

[Why? As g1 g0 a = g1 ag0 = a′ (ha g0 ), noting that g0
assuming that a normalize G0 inside G1 .]

∈ G0 because we are

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS
[a]

[b] [a][b]

(∗)2 fb ((ha g0 , a′ , g2 )) = (hb ha g0
[a]

[b] [a][b]

[Why? As g2 (ha g0 )b = g2 b(ha g0
So,

35

, a′ , b′ ).
[b] [a][b]

) = b′ (hb ha g0

[b] [a][b]

(∗)3 (fb ◦ fa )((g0 , g1 , g2 )) = (hb ha g0

).]

, a′ , b′ ).

Now,
[b]

(∗)4 fb ((g0 , g1 , g2 )) = (hb g0 , g1 , b′ ).
[b]

[b]

[Why? As g2 g0 b = g2 bg0 = b′ hb g0 ).]
[b]

[a] [b][a]

(∗)5 fa ((hb g0 , g1 , b′ )) = (ha hb g0
[b]

[a] [b][a]

[Why? As g1 (hb g0 )a = g1 a(hb g0
Hence,

, a′ , b′ ).
[a] [b][a]

) = a′ (ha hb g0

[a] [b][a]

(∗)6 (fa ◦ fb )((g0 , g1 , g2 )) = (ha hb g0

).]

, a′ , b′ ).

Together we can deduce:
[b] [a][b]

(∗)7 (fb ◦ fa )(g0 , g1 , g2 )) = (fa ◦ fb )(g0 , g1 , g2 ) iff hb ha g0

[a] [b][a]

= ha hb g 0

in G0 .

Now, not assuming ⊕ we shall prove the claim by cases (using (∗)7 when ⊕ holds).
⊕1 a, b commute in G3 when :
•1 a commutes with G0 in G1 ,
•2 b commutes with G0 in G2 ,
•3 G0 is commutative.
[Why? Note that the assumption ⊕ holds (by •1 + •2 ), and so let x ∈ XK be
as above. For any (g0 , g1 , g2 ) ∈ Ux , we can apply (∗)7 thus ha , hb ∈ G0 are well
defined, by (∗)0 . Now as hb , ha , g0 ∈ G0 and a ∈ CG1 (G0 ), b ∈ CG1 (G0 ) and G0 is
[b] [a][b]
commutative, by the present assumptions, clearly hb ha g0
= hb ha g 0 = ha hb g 0 =
[a] [b][a]
ha hb g0 . As G3 = Gx , Gx is a group of permutations of Ux and (∗)7 holds for
any (g0 , g1 , g3 ) ∈ Ux , clearly fa , fb ∈ Gx commute, so we are done.]
⊕2 a, b do not commute in G3 when :
• a commutes with G0 ,
• b commutes with G0 ,
• G0 is not commutative.
[Why? Choose h1 , h2 ∈ G0 which do not commute and let (g0 , g1 , g2 ) = (eG0 , eG1 , eG2 ) =
(e, e, e); note that ah−1
/ G0 , bh−1
/ G0 for ℓ = 1, 2.
ℓ ∈
ℓ ∈
Above we could have chosen x ∈ XK such that (Gx,ℓ = Gℓ for ℓ < 3 and) ah1−1 ∈
Ix,1 , bh−1
∈ Ix,2 . Again ⊕ holds hence (∗)7 holds for any relevant x, g0 , g1 , g2 .
2
Recall (g0 , g1 , g2 ) := (e, e, e), so g1 a = ea = a = (ah−1
1 )h1 . So in (∗)0 (a), we
get a′ = ah−1
and
h
=
h
.
Similarly
in
(∗)
(b)
we
get b′ = bh2−1 , hb = h2 .
a
1
0
1
[b] [a][b]
So fa , fb ∈ Gx do not commute by (∗)7 , because we get hb ha g0
= hb ha g 0 =

36

SAHARON SHELAH
[a] [b][a]

h2 h1 g0 6= h1 h2 g0 = ha hb g0 = ha hb g0
we are done by (∗)7 .]

, the inequality as G0 |= h1 h2 6= h2 h1 and

⊕3 a, b does not commute in G3 when :
• a normalizes G0 in G1 ,
• b normalizes G0 in G2 ,
• b does not commute with G0 in G2 .
[Why? Again ⊕ holds hence we can apply (∗)7 for any relevant x, g0 , g1 , g2 . Let
h1 ∈ G0 be such that it does not commute with b in G2 and let h2 = eG0 . Choose
above x ∈ XK such that ah−1
∈ Ix,1 and b = bh−1
∈ Ix,2 and let (g0 , g1 , g2 ) =
1
2
−1
′
(e, e, e). Again in (∗)0 we get a′ = ah−1
1 , ha = h1 and b = bh2 , hb = h2 = e. Now
[b] [a][b]
[b]
[b]
[a] [b][a]
hb ha g 0
= eha e = ha 6= ha = ha ee = ha hb g0 , the inequality by the choice
of ha = h1 .]
⊕4 a, b do not commute in G3 when:
• a normalizes G0 in G1 ,
• b normalizes G0 in G2 ,
• a does not commute with G0 in G2 .
[Why? Like ⊕3 .]
Next
⊕5 a, b does not commute in G3 when :
• a ∈ G1 \G0 does not normalize G0 .
Why? Choose h ∈ G0 such that a−1 ha ∈
/ G0 hence ha ∈
/ aG0 and, of course,
ha ∈
/ G0 as a ∈
/ G0 , h ∈ G0 and similarly bh−1 ∈ G2 \G0 . Let a′ = ha so a′ 6= a
because h 6= e.
Choose above x ∈ XKlf such that bh−1 ∈ Ix,2 and a, a′ ∈ Ix,1 . Why can we
choose such Ix,1 ? Because a′ = ha ∈ G1 \G0 , a ∈ G1 \G0 and aG0 6= a′ G0 , as
otherwise for some h1 ∈ G0 we have a′ = ah1 , and so a−1 ha = a−1 a′ = h1 ∈ G0 ,
contradicting the choice of h.
Let fa , fb be as above for this choice of x.
Now consider (e, e, e) ∈ Ux so
(∗)′1 fa ((e, e, e)) = (e, a, e).
[Why? As a ∈ Ix,1 .]
(∗)′2 fb ((e, a, e)) = (h, a, bh−1 ).
[Why? Because bh−1 ∈ Ix,2 , h ∈ G0 .]
(∗)′3 (fb ◦ fa )(e, e, e) = (h, a, bh−1 ).
[Why? By (∗)′1 + (∗)′2 .]
(∗)′4 fb ((e, e, e)) = (h, e, bh−1 ).
[Why? Because bh−1 ∈ Ix,2 and h ∈ G0 .]
(∗)′5 fa ((h, e, bh−1 ) = (e, a′ , bh−1 ).

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

37

[Why? As eha = ha = a′ = a′ e and a′ ∈ Ix,1 .]
(∗)′6 (fa ◦ fb )((e, e, e) = (e, a′ , bh−1 )).
[Why? By (∗)′4 + (∗)′5 .]
By (∗)′3 + (∗)′6 , as a′ 6= a the triple (e, e, e) exemplifies jx,1 (a), jx,2 (b) do not
commute in Gx .
Lastly,
⊕6 a, b do not commute in G3 when :
• b ∈ G2 \G0 does not normalize G0 .
[Why? As in ⊕5 .]
As we have covered all the cases we are done.

2.21

Claim 2.23. Assume S ⊆ Ω[Klf ] and G1 ≤S G2 , G1 is existentially closed and
d ∈ G2 . If conjugation by d (in G2 ) maps G1 onto itself then for some c ∈ G1 we
have a ∈ G1 ⇒ c−1 ac = d−1 ad, i.e. dc−1 a = adc−1 , i.e. dc−1 , a commute in G1
so dc−1 commute with G1 .
Proof. Easy. Clearly there is (s, ā) ∈ def(G1 ) such that tpbs (d, G1 , G2 ) = qs (ā, G1 )),
hence if b, b1 , c1 ∈ G1 and tpbs (hb1 , c1 i, ā, G1 ) = tpbs (hb, d−1 bdi, ā, G1 ) then d−1 b1 d =
c1 . Having disjoint amalgamation we have x ∈ G1 ⇒ d−1 xd ∈ cℓ(āˆhxi, G1 ). We
can continue or note that if there is no c ∈ G1 as desired, then every existentially
closed G has a non-inner automorphism, contradiction.
2.23

38

SAHARON SHELAH

§ 3. Symmetryzing
Our intention is to start with S ⊆ Ω[K] which may contain s1 , s2 failing symmetry but have the nice conclusion as for symmetric S. Towards this we define the
operation ⊗, related to ⊕ defined in Definition 1.6(4),(4A), and S−⊗-constructions
(close but not the same as the constructions in Definition 1.12, 1.19, 1.24) and
S − ⊕-constructions.
Note that Satdf has “quasi symmetry”, i.e. when the parameter (= base of
amalgamation) is the same, but when we allow increasing the base this is not clear.
Now ⊗ is like ⊕ when we insist on it being symmetric. We use the construction
here in §4,§5 where we sometimes give more details. Recall def(G) for G ∈ K is
from Definition 1.1(1).
Recall
Definition 3.1. For t ∈ def(G) let qt (G) = qst (āt , G) and nt = nst , kt = kst and
see Definition 1.1(6).
Definition 3.2. 1) On def(G) we define a (partial) operation ⊗ by t1 ⊗ t2 =
(st1 ⊗ st2 , āt1 ˆāt2 ), see below.
2) s = s1 ⊗ s2 means that s1 , s2 are disjoint13, x̄s = x̄s1 ˆx̄s2 , z̄s = z̄s1 ˆz̄s2 , so
k(s) = k(s1 ) + k(sn ), n(s) = n(s1 ) + n(s2 ) and:
⊞ if H ⊆ H + ∈ K, āℓ ∈ k(sℓ ) H realizes psℓ (x̄sℓ ) in H and c̄ℓ ∈
ℓ = 1, 2, then c̄1 ˆc̄2 realizes qs (ā1 ˆā2 , H) iff:

n(sℓ )

(H + ) for

(a) c̄ℓ realizes qsℓ (āℓ , H) in H + , for ℓ = 1, 2;
(b) if σ(z̄1 , z̄2 , ȳ) is a group-term, ℓg(z̄1 ) = n(s1 ), ℓg(z̄2 ) = n(s2 ) and b̄ ∈
ℓg(ȳ)
(H), then (α) ⇔ (β) where:
(α) H + |= “σ(c̄1 , c̄2 , b̄) = eH ”,
(β) (σ(z̄1 , c̄2 , b̄) = e) ∈ qs1 (ā1 , H + ) and
(σ(c̄1 , z̄2 , b̄) = e) ∈ qs2 (ā2 , H + ).
Claim 3.3. 1) If s1 , s2 ∈ Ω[K] then s = s1 ⊗ s2 belongs to Ω[K].
2) If G ∈ K and t1 , t2 ∈ def(G) then t = t1 ⊗ t2 ∈ def(G).
Proof. Straightforward.

3.3

≈∗G

Definition 3.4. 1) Let
be the following two-place relation on def(G) : (s1 , ā1 ) ≈∗G
(s2 , ā2 ) if both are in def(G) and G ⊆ G+ ∈ K ⇒ qs1 (ā1 , G+ ) = qs2 (ā2 , G+ ), (compare with ≈G from 1.1(6)).
2) For t1 , t2 ∈ def(G) let t1 ≤ t2 means dom(x̄t1 ) ⊆ dom(x̄t2 ), dom(z̄t1 ) ⊆ dom(zt̄2 )
and āt1 = āt2 ↾dom(x̄t1 ), and if G ⊆ G1 ⊆ G2 and c̄2 realizes qt2 (G1 ) in G2 then
c̄2 ↾dom(z̄t1 ) realizes qt1 (G) in G2 .
3) t1 ≤h̄ t2 is defined similarly as in 1.6(7).
Claim 3.5. 0) ≈∗G is an equivalence relation on def(G).
1) If (s, ā) ∈ def(G1 ) and G1 ⊆ G2 ∈ K then qs (ā, G1 ) ⊆ qs (ā, G2 ) and (s, ā) ∈
def(G2 ).
2) If G ∈ K and (sℓ , āℓ ) ∈ def(G) for ℓ = 1, 2, then the satisfaction of (s1 , ā1 ) ≈∗G
(s2 , ā2 ) depends just on s1 , s2 and tpbs (ā1 ˆā2 , ∅, G).
3) Transitivity: in Definition 3.4(2), ≤ is indeed a partial order.
4) Moreover if (s1 , ā1 ) ≤h̄1 (s2 , ā2 ) ≤h̄2 (s3 , ā3 ) then (s1 , ā1 ) ≤h̄2 ◦h̄1 (s3 , ā3 ).
13As we use only invariant S, this is not a real restriction.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

Proof. Easy.

39

3.5

Claim 3.6. 0) The operation ⊗ on disjoint pairs respects congruency (see Definition 1.1(3), Claim 1.9(1)).
1) The operation ⊗ respects ≈∗G , i.e. if t1 ≈∗G t′1 and t2 ≈∗G t′2 then t1 ⊗t2 ≈∗G t′1 ⊗t′2
assuming the operations are well defined, of course.
2) If (s, ā) = (s1 , ā1 ) ⊗ (s2 , ā2 ), then (s̄ℓ , āℓ ) ≤ (s, ā).
3) If in def(G) we have tℓ ≤ t′ℓ for ℓ = 1, 2 and t′1 ⊗ t′2 is well defined (i.e. t′1 , t′2
are disjoint) then t1 ⊗ t2 ≤ t′1 ⊗ t′2 .
4) The operation ⊗ is associative and is symmetric, e.g. symmetry means: if
G ⊆ G+ and (sℓ , āℓ ) ∈ def(G) and c̄ℓℓ ˆc̄ℓ3−ℓ realizes qtℓ (G) in G+ , where tℓ =
(tℓ , b̄ℓ ) = (sℓ , āℓ ) ⊗ (s3−ℓ , ā3−ℓ ), (so assuming disjointness for transparency), for
ℓ = 1, 2, then tpbs (c̄11 ˆc̄12 , G, G+ ) = tpbs (c̄21 ˆc̄22 , G, G+ ).
5) If in def(G) we have (sℓ , āℓ ) ≤hℓ (s′ℓ , ā′ℓ ) for ℓ = 1, 2 and Dom(h1 ) ∩ Dom(h2 ) =
∅, Rang(h1 ) ∩ Rang(h2 ) = ∅ then (s1 , ā1 ) ⊗ (s2 , ā2 ) ≤h1 ∪h2 (s′1 , ā1 ) ⊗ (s′2 , ā2 ).
Proof. Straightforward.

3.6

Remark 3.7. 1) Also the operation ⊕ satisfies the parallels of 3.6(1),(2),(3) and the
first demand in (4).
2) We may phrase 3.6(5) as in 3.6(3) and vice versa.
Definition 3.8. Assume S ⊆ Ω[K] is closed.
1) We say S ⊆ Ω[K] is ⊗-closed when (recalling it is invariant) if sℓ ∈ S for ℓ = 1, 2
are disjoint then s = s1 ⊗ s2 ∈ S.
2) The ⊗-closure of S is the ⊆-minimal ⊗-closed S′ ⊆ Ω[K] such that S ⊆ S′ .
S
N
3) Let G3 = G1 G2 or G3 = ⊗S (G0 , G1 , G2 ) mean:
G0

(∗) (a) G0 ≤S G2 ⊆ G3 ∈ K and G0 ≤S G1 ⊆ G3 and G3 = hG1 ∪ G2 iG3
(b) if tpbs (c̄ℓ , G0 , Gℓ ) = qsℓ (āℓ , G0 ) so c̄ℓ ∈ ω> (Gℓ ), āℓ ∈ ω> (G0 ) for
ℓ = 1, 2, then tpbs (c̄1 ˆc̄2 , G0 , G3 ) = qs (ā1 ˆā2 , G0 ) when (s, ā1 ˆā2 ) =
(s, ā1 )⊗ (s2 , ā2 ); note that without loss of generality s1 , s2 are disjoint,
(i.e. as in the proof of 1.10).
4) NF2S (G0 , G1 , G2 , G3 ) means that G0 ≤S Gℓ ≤S G3 for ℓ = 1, 2 and the demands
in (3) hold except that possibly G3 6= hG1 ∪ G2 iG3 .
Claim 3.9. Assume S is closed and moreover ⊗-closed.
1) G3 = ⊗S (G0 , G1 , G2 ) iff NF2S (G0 , G1 , G2 , G3 ) and G3 = hG1 ∪ G2 iG3 .
2) (disjointness): NF2S (G0 , G1 , G2 , G3 ) implies G1 ∩ G2 = G0 .
3) (uniqueness): If Gι3 = ⊗S (Gι0 , Gι1 , Gι2 ) for ι = 1, 2 and fℓ is an isomorphism
from G1ℓ onto G2ℓ for ℓ = 1, 2 and G10 = G20 , f1 ↾G10 = f2 ↾G20 and G0 is existentially
closed14 then there is one and only one isomorphism from G13 onto G23 extending
f1 ∪ f2 (which is well defined by (2)).
14Why? The problem is that G ≤ H ∈ K does not imply the existence of t̄ = ht : c̄ ∈ ω> Hi
c̄
S
such that tc̄ ∈ def(G), tpbs (c̄, G, H) = qt (G) and if c̄1 , c̄2 ∈ ω> H, h : ℓg(c̄1 ) → ℓg(c̄2 ) and c̄2 =
hc2h(i) : i < ℓg(c̄1 )i then tc̄1 ≤h tc̄2 . Moreover, even if there is such t̄ we can “amalgamate for it”
but this is not enough as t̄ is not necessarily unique, which may give different results. Why 3.9(3)
is O.K.? As in Definition 3.8(3) we ask “for every s1 , s2 ”. In other words if G0 ⊆ G1 , G0 ⊆ G2 and
t1 , t2 ∈ def(G0 ), tpbs (c̄ℓ , G0 , G2 ) = qtℓ (G0 ) for ℓ = 1, 2 but qt1 (G1 ) 6= qt2 (G1 ) we can amalgamate
as in 3.8(3).

40

SAHARON SHELAH

4) (symmetry): NF2S (G0 , G1 , G2 , G3 ) iff NF2S (G0 , G2 , G1 , G3 ).
5) (monotonicity): If NF2S (G0 , G1 , G2 , G3 ) and G0 ⊆ G′ℓ ⊆ Gℓ for ℓ = 1, 2 then
NF2S (G0 , G′1 , G′2 , G3 ).
6) (existence): If G0 ≤S Gℓ for ℓ = 1, 2 and G0 is existentially closed and G1 ∩G2 =
G0 then for some G3 ∈ K we have NF2S (G0 , G1 , G2 , G3 ).
Remark 3.10. For parts (3) and (6) of 3.9 recall: for such G, if t1 , t2 ∈ def(G), qt1 (G) =
qt2 (G) and G ⊆ G+ ∈ K then qt1 (G+ ) = qt2 (G+ ).
Proof. Straightforward, e.g. for disjointness (= part (2)) use Claim 1.2(4).

3.9

Alternative to §1 from 1.12 on is: we repeat it with changes being that we use ⊗
instead of ⊕ and we incorporated the λ-fullness, also in 3.12(3) we choose another
version. We have not sorted out whether we can generalize 1.16(5) based on 1.15
and 1.23(2).
Definition 3.11. 1) We say that A is a one step (λ, S) − ⊗-construction when
A = (G, H, hc̄α , tα : α < α(A ) = αA i) satisfies:
(a) G ⊆ H ∈ K
(b) tα ∈ def S (G) for α < α(A );
(c) if α0 , . . . , αn−1 < α(A ) with no repetitions then c̄α0 ˆ . . . ˆc̄αn−1 realizes
qt (G0 ) in H where t = tα0 ⊗ . . . ⊗ tα−1 ∈ def(G);
(d) H = h∪{c̄α : α < α(A )} ∪ GiH ;
(e) htα : α < α(A )i lists def S (G) each appearing exactly λ times.
2) In (1) we may use any index set instead of α(A ), e.g. def S (G) itself when
λ = 1, def S (G) × λ in general.
3) We say A is an α(A )-step-(λ, S)−⊗-construction or (α(A ), λ, S)−⊗-construction
when :
(a) A = hGα , hc̄β,s , tβ,s : s ∈ Sβ i : α ≤ α(A ), β < α(A )i
(b) (Gα : α ≤ α(A )i is increasing continuous (in K)
(c) (Gα , Gα+1 , hc̄α,s , tα,s : s ∈ Sα i) is a one step (λ, S) − ⊗-construction.
A
4) In part (3), let GA
= G[A ] be G,
α = Gα [A ] be Gα , etc., and in part (1) let G
etc.
5) In part (3) if α(A ) = ω then we may omit it; also for every α < α(A ) the
A
A
sequence (GA
α , Gα+1 , hc̄α,s , tα,s : s ∈ Sα i) is called the α-th step of A .

Definition 3.12. 1) We say H is a λ-full one step S − ⊗-closure of G when there
is a one step (λ, S) − ⊗-construction A such that G[A ] = G, H[A ] = H. We may
say H is λ-full one step S − ⊗-constructible over G; similarly in part (2).
2) We say H is λ-full α-step S-closure over G or H is (α, λ, S)-closure of G when
A
there is a (α, λ, S) − ⊗-construction A with G = GA
0 , H = Gℓg(A ) .
3) We say G∗ is (δ, λ, S) − ⊗-full over G when for some Ḡ = hGi : i ≤ δi increasing
continuous sequence in K, G0 = G, Gδ = G∗ and Gi+1 is (1, λ, S) − ⊗-full over Gi
which means some G′ ⊆ Gi+1 is a one step (λ, S) − ⊗-construction over Gi . If
δ = ω one may omit it writing (λ, S) instead of (δ, λ, S).
4) We may in part (3) replace ⊗ by ⊕.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

41

Claim 3.13. Assume S ⊆ Ω[K] is ⊗-closed, α an ordinal, λ a cardinal.
1) If G ∈ K then there is a one step (λ, S) − ⊗-construction A over G (i.e.
GA
0 = G) of cardinality ≤ λ + |G| + |S| and ≥ λ.
2) If in part (1), A1 , A2 are one step-(λ, S)−⊗-constructions over G then H[A1 ], H[A2 ]
are isomorphic over G.
3) For any G ∈ K there is an (α, λ, S) − ⊗-construction A over G and Gα [A ] is
unique up to isomorphism over G.
4) If S is dense, H is an (α, λ, S) − ⊗-closure of G and α is a limit ordinal then
H is existentially closed and is (α, λ, S)-full over G.
Proof. Straightforward, as in 1.23(3).

3.13

Discussion 3.14. Essentially we know that if “G1 ⊆ G2 ” implies the (α, λ, S)closure of G1 is a subgroup of the (α, λ, S)-closure of G2 .
But we have a delicate problem: what if the (α, λ, S)-closure of G1 is not disjoint
to G2 \G1 ?
We have similar problems with “the algebraic closure of a field” or “the field of
quotients of a field”, but there if G1 ⊆ G2 then the closure G+
1 of G1 inside G1
).
Here
this
is
not
true,
but
clearly
this is not a
is definable (from G2 , G1 and G+
2
serious problem. Ways to circumvent this appear in 0.12(2), 1.13(2) and below.
Claim 3.15. 1) We can choose Ĝ ∈ Kexlf such that Ĝ extends G ∈ Klf , G1 ∼
=
G2 ⇒ Ĝ1 ∼
= Ĝ2 and every embedding f : G1 → G2 ∈ Klf can be extended to
fˆ : Ĝ1 → Ĝ2 canonically.
1A) Moreover G1 ⊆ G2 ⇒ Ĝ1 ⊆ Ĝ2 but pedantically see (2).
2) There is a set theoretic class function F, that computes from G ∈ K, α ∈ Ord, λ ∈
Card, γ ∈ Ord and S ⊆ Ω[K] a group H = F(G, α, S, γ) such that:
(a) F(G, α, S, γ) ∈ K extends G, moreover;
(b) F(G, α, γ, S) is an (α, λ, S)-closure of G;
(c) [uniqueness]: if G1 , G2 ∈ K and g is an isomorphism from G1 onto G2 and
Hℓ = F(G, α, S, γ) for ℓ = 1, 2 then there is an isomorphism g from H1
onto H2 extending g;
(d) we have H1 ⊆ H2 and G1 = H1 ∩ G2 when G1 ⊆ G1 ∈ K, γ > α and15
γ > sup(Ord ∩ tr − cℓ(Gℓ )) for ℓ = 1, 2 and Hℓ = F(Gℓ , α, S, γ);
(e) if we restrict ourselves to G ∈ K′ = {G ∈ K: if x ∈ G then x is a singleton}
then G1 ⊆ G2 ⇒ F(G, α, S) ⊆ F(G, α, S, 0).
∗

∗

∗

In §4,§5 we intend to use also some relative of those constructions, including:
Definition 3.16. Assume H̄ = hHi : i < δi is ⊆-increasing in K and Hδ = ∪{Hi :
i < δ}, (we shall use δ = ω). We say A is a one step atomic S − ⊗-construction
above H̄, when (and we may say H is weakly atomically S − ⊗-constructible over
H̄, omitting H̄ means for some H̄ of length ω and we may replace αA = α(A )
by any index set) A has the following objects satisfying the following additional
conditions:
15Recalling tr-cl is the (set-theoretic) transitive closure.

42

SAHARON SHELAH

(A)
(B)
(C)
(D)
(E)
(F )
(F )+

(H̄, Hδ , H, hc̄α , tα,i , α < αA , i < δi);
Hδ ⊆ H ∈ K;
tα,i ∈ def S (Hi );
H = h∪{c̄α : α < αA } ∪ Hδ iH ;
c̄α realizes qtα,i (Hi ) in H for α < αA , i < δ;
c̄α,i ⊆ Hi+1 realizes qtα,i (Hi ) for i < δ, α < αA and moreover;
assuming α(0) < . . . < α(n − 1) < αA and ℓg(x̄α ) = ℓg(c̄α ) and
ϕ = ϕ(x̄α(0) , . . . , xα(n−1) , ȳ) we have16
ϕ(x̄α(0) , . . . , x̄α(n−1) , b̄) ∈ tpat (c̄α(0) ˆ . . . ˆc̄α(n−1) , Gδ , H)
iff b̄ ⊆ ℓg(ȳ) Gδ and for every permutation π of n,
(∀∞ i(0) < δ)(∀∞ i(1) < δ), . . . , (∀∞ i(n − 1) < δ)
ϕ[c̄α(0),i(π(0) , c̄α(1),i(π(1)) , . . . , c̄d(n−1),π(n−1) , b̄]
(used in the proof of (∗)5.2 stage C in the proof of 5.1); note that ϕ is not
necessarily atomic.

Remark 3.17. 1) We may consider replacing clause (F )+ by:
(F )∗ c̄α(0) ˆ . . . ˆc̄α(n−1) realizes qtα(0) ⊗...⊗tα(n−1) for α(0) < . . . < α(n − 1) <
α(A ).
2) In this alternative version we do not need the existence of c̄α,i ⊆ Hi+1 , so it
is easier to prove existence but the version above is the one we actually use. In
particular the version in (1) would create problems in (∗)5.7 in the proof of 5.1; we
may try to take care of this by changing the definition of L∗β there.
3) A sufficient condition for having the assumptions of 3.16 appear in 2.19.
Observation 3.18. Let S be closed and ⊗-closed. Assume hGi : i ≤ αi is ⊆increasing continuous in K.
1) In 3.11(1) we can prove GA ≤S H A and in 3.11(2), we can prove hGA
α : α ≤ αA i
is ≤S -increasing continuous.
2) In 3.16, if H̄ is ≤S -increasing then we have i < δ ⇒ Hi ⊆S H.
3) Assume S is a set of limit ordinals < δ, hGi : i ≤ δi is a ⊆-increasing continuous
sequence of members of K and Gi+1 is a one step S − ⊗-constructible over Gi
for i ∈ δ\S and Gi+1 is weakly one step S − ⊗-constructible over Ḡ↾Ci for some
unbounded Ci ⊆ i\S for each i ∈ S, (hence i is a limit ordinal). Then i < j ≤
δ∧i∈
/ S ⇒ Gi ≤S Gj .
Remark 3.19. The idea of s1 ⊗ s2 can be applied to one s (and is used in the end
of the proof of ⊞1 in stage B the proof of Theorem 5.1).
Toward this in §4(B) we shall deal with finding such amalgamations and s’s.
Definition/Claim 3.20. Assume s ∈ Ω[Klf ] and H1 ⊆ H2 ∈ K are finite, ā ∈
k(s)
(H1 ), c̄ ∈ n(s) (H2 ) and ā, c̄ generate H1 , H2 respectively, and ā realizes ps (x̄s ) in
H1 and c̄ realizes qs (ā, H1 ) in H2 . Assume further K is a group of automorphisms
of H2 mapping H1 onto itself. Then there is a one and only one t such that:
(a) t ∈ Ω[Klf ]
(b) k(t) = k(s) and pt (x̄t ) = tpqf (ā, ∅, H1 )
16Yes! tp and not tp .
at
bs

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

43

(c) if H1 ⊆ G1 ⊆ G2 , H2 ⊆ G2 and c̄ realizes qs (ā, G1 ) in G2 and c̄′ ∈ n (G2 )
realizes qt (ā, G2 ) then tpat (c̄′ , G1 , G2 ) = ∩{tpat (π(c̄), G1 , G2 ) : π ∈ K}.
Remark 3.21. Toward this in §(4B) we deal with finding such amalgamations and
s’s.
Proof. Straightforward.

3.20

44

SAHARON SHELAH

§ 4. For fixing a distinguished subgroup
In the construction of complete members of Kexlf (and related aims) we fix
large enough S ⊆ Ω[K] and build a ⊆-increasing continuous sequence hGα : α <
λi, |Gα | < λ; normally we demand for α < β < λ that “usually” Gα ≤S Gβ (i.e.
except for δ ∈ S, where S ⊆ Sℵλ0 ). But at some moment for α = δ + n, we like to
use p = tpbs (c, Gα , Gα+1 ) which extends some r ∈ Sbs (K), K ⊆ Gα finite but such
that c commutes with Gδ . Also toward this in §(4A) we deal with a relative NF3
of NFf , in which we demand CG1 (G3 ) is large, this continues §2 concentrating on
the case G0 is with trivial center. In §(4B) we use this to define some schemes from
Ω[K], see e.g. 4.10.
Another problem is that given G1 instead of extending G1 to G2 such that
qt (G1 ) is realized by c̄ ∈ ω> (G2 ) for some t ∈ def S (G1 ), we like to have an infinite
c̄ = (. . . ˆc̄i ˆ . . .)i∈I , with tp(c̄↾u, G1 , G2 ) ∈ qtu (G1 ) for every finite u ⊆ I; used in
stage D of the proof of Theorem 5.1. This is done in §4(C).
§ 4(A). Preserving Commutation.
Claim 4.1. The subgroups H1′ , H2′ of G3 commute when :
(∗) (a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
(i)

x ∈ XK ;
Gℓ = Gx,ℓ , G′ℓ = jx,ℓ (Gℓ ) for ℓ = 0, 1, 2;
G3 = Gx ;
H1 ⊆ G1 and H1′ = jx,1 (Hℓ );
H1 = ∪{b(H1 ∩ G0 ) : b ∈ I1 } where I1 = Ix,1 ∩ H1 ;
if g ∈ Ix,1 and17 b ∈ I1 then gb ∈ Ix,1 ;
the subgroups G0 , H1 of G1 commute;
H2 ⊆ G2 commutes with G0 ∩ H1 and H2′ = jx,2 (H2 );
H2 = ∪{a(G0 ∩ H2 ) : a ∈ I2 } where I2 = Ix,2 ∩ H2 .

Remark 4.2. 1) Really here it suffices to deal with the case G0 ∩ H1 = {e}.
2) A natural case is Z(G0 ) = {eG0 }, H1 = CG1 (G0 ), H2 = G2 .
3) See the proof of 5.1.
Notation 4.3. Let X3lf = X3Klf be the class of tuple (x, H1 , H2 ) which satisfies (∗)
of Claim 4.1.
Proof. Let a ∈ H2 , b ∈ H1 , fa = jx,2 (a), fb = jx,1 (b), so by (∗)(d), (h) we just have
to prove that fb fa ((g0 , g1 , g2 )) = fa fb ((g0 , g1 , g2 )) for any (g0 , g1 , g2 ) ∈ Ux .
Clearly
• if a ∈ G0 or b ∈ G0 this holds.
[Why? First, if a ∈ G0 then fa = jx,2 (a) = jx,0 (a) = jx,1 (a) ∈ jx,1 (G1 ) = G′1 ⊆ Gx
and as b ∈ H1 ⊆ Gx , by (∗)(g) we have G1 |= “a, b commute” hence Gx |=
“jx,2 (a), jx,1 (b) commute” and so Gx |= “fa , fb commute”. Second, if b ∈ G0 then
b ∈ G0 ∩ H1 ⊆ G0 ⊆ G2 and a ∈ H2 ⊆ G2 , so by clause (∗)(h) clearly G2 |= “a, b
commute” and we finish as above.]
17As G is locally finite, necessarily I is a subgroup of H .
1
1
1

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

45

Moreover, as H1 = h(G0 ∩H1 )∪I1 iG1 by clause (∗)(e), recalling • above, without
loss of generality
⊞1 b ∈ I1 ⊆ Ix,1 .
Similarly as H2 = h(G0 ∩ H2 ) ∪ I1 i. By clause (∗)(i), recalling • above without loss
of generality :
⊞2 a ∈ I2 ⊆ Ix,2 .
Let18 fx ((g0 , g1 , g2 )) = (g0x , g1x , g2x ) and fy fx ((g0 , g1 , g2 )) = (g0x,y , g1x,y , g2x,y ) for x ∈
{a, b} and y ∈ {a, b}\{x}.
We shall prove that gℓa,b = gℓb,a for ℓ = 0, 1, 2; this suffices.
Clearly,
•1 g1a = g1 and g2 g0 a = g2a g0a ;
•2 g2a,b = g2a and g1a g0a b = g1a,b g0a,b ;
•3 g2b = g2 and g1 g0 b = g1b g0b ;
•4 g1b,a = g1b and g2b g0b a = g2b,a g0b,a .
Now
⊞3 g1a,b G0 = g1a,b g0a,b G0 = g1a g0a bG0 = (g1a b)(g0a G0 ) = (g1a b)G0 .
[Why? As g0a,b ∈ G0 , by the second statement of •2 , noting that b, g0a commute by
(∗)(g), and as g0a ∈ G0 , respectively.]
But g1a ∈ Ix,1 (as (g0a , g1a , g2a ) ∈ Ux ), and b ∈ I1 ⊆ Ix,1 by ⊞1 , hence by (∗)(f )
we have g1a b ∈ Ix,1 and also g1a,b ∈ Ix,1 (as (g0a,b , g1a,b , g2a,b ) ∈ Ux ). Now by ⊞3 ,
g1a,b G0 = (g1a b)G0 and by the last sentence g1a,b , g1a ∈ Ix,1 and thus
•5 g1a,b = g1a b.
So by •5 and the second equation in •2 we have g1a bg0a,b = g1a,b g0ab = g1a g0a b = g1a bg0a ,
the last equality by recalling b, g0a commute by (∗)(g), hence we have:
•6 g0a,b = g0a .
Similarly to ⊞3 we have
⊞4 g1b G0 = g1b g0b G0 = g1 g0 bG0 = (g1 b)(g0 G0 ) = (g1 b)G0 .
[Why? As g0b ∈ G0 , by •3 second statement, as b, g0 commute by (∗)(g), and as
g0 ∈ G0 respectively.]
Also g1 ∈ Ix,1 as (g0 , g1 , g2 ) ∈ Ux and b ∈ I1 by ⊞1 so recalling (∗)(f ) we deduce
g1 , g1 b ∈ Ix,1 thus from ⊞4 we deduce:
•7 g1b = g1 b.
Hence by •7 and •3 second statement we have g1 bg0b = g1b g0b = g1 g0 b = g1 bg0 , the
last equation recalling b, g0 commute (by (∗)(g)), hence we have:
•8 g0b = g0 .
18Note that g x is not conjugation by x.
ℓ

46

SAHARON SHELAH

So by •4 , •7 , •1 , •6 , b commuting with G0 and •2 second statement respectively, we
have
⊞5 g1b,a = g1b = (g1 b) = (g1a b) = (g1a b)(g0a (g0a,b )−1 ) = (g1a g0a b)(g0a,b )−1 = g1a,b ,
and thus
•9 g1b,a = g1a,b .
Also by •4 , •3 , •8 , •1 , •6 , •2 we have
⊞6 g2b,a g0b,a = g2b g0b a = g2 g0b a = g2 g0 a = g2a g0a = g2a g0a,b = g2a,b g0a,b .
So
•10 g2b,a g0b,a = g2a,b g0a,b
but g0b,a , g0a,b ∈ G0 and g2b,a , g2a,b ∈ Ix,2 hence recalling (g0a,b , g1a,b , g2a,b ), (g0b,a , g1b,a , g2b,a ) ∈
Ux we have
•11 g2b,a = g2a,b and g0b,a = g0a,b .
But •11 + •9 imply that we are done.

4.1

The following claim is like Definition 2.5, but now we preserve a large CG1 (G0 )
using 4.1.
Definition 4.4. Let NF3 (Ḡ, H1 , L, H2 ) mean:
(A) (a)
(b)
(c)
(d)
(e)
(f)
(B) (a)
(b)

Ḡ = hGℓ : ℓ ≤ 3i are from Klf ;
G0 ⊆ Gℓ for ℓ = 1, 2;
G0 is finite;
H1 ⊆ CG1 (G0 ), L ⊆ H1 , L ∩ G0 = {eG0 }, H1 = hL, G0 ∩ H1 iG1 ;
G1 ∩ G2 = G0 ;
H2 ⊆ CG2 (H1 ∩ G0 );
Gℓ ⊆ G3 for ℓ = 1, 2;
for σ(x̄, ȳ) a group-term, ā ∈ ℓg(x̄) (G1 ) and b̄ ∈ ℓg(ȳ) (G2 ) the following
conditions are equivalent:
• G3 |= “σ(ā, b̄) = eG3 ”,
• if (x, H1 , H2 ) ∈ X3lf , see 4.3, Gℓ = Gx,ℓ for ℓ = 0, 1, 2 and
ā′ = jx,1 (ā) and19 b̄′ = jx,2 (b̄) then Gx |= “σ(ā′ , b̄′ ) = eGx ”.

Convention 4.5. In 4.4, if H1 = L we may in addition omit L. We may omit
L, H2 when L = H1 , H2 = CG2 (H1 ∩ G0 ). Lastly, if Z(G0 ) = {eG0 }, L = CG1 (G0 )
and H1 = L and H2 = G2 , then we may omit H1 , L and H2 ; see 4.6(3) below.
Claim 4.6. Assume Ḡ = hGℓ : ℓ < 3i, H1 , L, H2 are as in 4.4(A).
1) We can find x such that (x, H1 , H2 ) ∈ X3lf .
2) There is G3 ∈ K such that NF3 (hG0 , G1 , G2 , G3 i, H1 , L, H2 ) and G3 is unique
up to isomorphism over G1 ∪ G2 .
3) If Ḡ satisfies (A)(a),(b),(c) of Definition 4.4, Z(G0 ) = {eG0 }, H1 = L =
CG1 (G0 ) and H2 = G2 , then (Ḡ, H1 , L, H2 ) satisfies 4.4(A).
19We may add I = L.
1

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

47

4) The relation NF3 (Ḡ), Ḡ = hGℓ : ℓ ≤ 3i satisfies the parallel of 2.10 omitting symmetry, so having uniqueness, monotonicity and both sides definability, i.e.
G1 ≤Ω[K] G3 , G2 ≤Ω[K] G3 .
Proof. 1) It suffices to prove we can choose I∗1 , I∗2 satisfying the demands on Ix,1 , Ix,2
in 4.1.
Why can we do it? For I∗2 the demands are just clauses (b),(c) from 2.2(1) and
(∗)(i) of 4.1 so just choose I2 ⊆ H2 such that eG0 ∈ I2 and hg(G0 ∩ H2 ) : g ∈ I2 i is
a partition of H2 and then let I∗2 be such that I2 ⊆ I∗2 ⊆ G2 and hgG0 : g ∈ I∗2 i is a
partition of G2 .
For I∗1 we have to take care of clauses (b),(c) from 2.2(1), of (∗)(e) (the parallel
of (∗)(i)) and of (∗)(f ) from 4.1. For this let H1+ := hG0 , H1 iG1 . First, choose
I′1 = L so clearly eG0 ∈ I′1 and thus hgG0 : g ∈ I′1 i is a partition of H1+ . Why?
Recalling that L ⊆ H1 ⊆ G1 , L ∩ G0 = {eG0 } and H1 = hL, G0 ∩ H1 iG1 and H1
commute with G0 in G1 ; by clause (A)(d) we know that this is satisfied. Also let
J1 ⊆ G1 be such that eG0 = eG1 ∈ J1 and hgH1+ : g ∈ J1 i is a partition of G1 . Now
let I∗1 = {gb : g ∈ J1 and b ∈ I′1 }.
Clearly hgG0 : g ∈ I∗1 i = hg(bG0 ) : b ∈ I′1 , g ∈ J1 i is a partition of G1 (refining
hgH1+ : g ∈ J1 i), so clause 2.2(1)(b) holds. Furthermore, I∗1 ∩ H2+ = L = I′1 so
clause 4.1(e) holds.
Next as eG0 ∈ J1 and eG0 ∈ I′1 clearly eG0 ∈ I∗1 , so I∗1 satisfies clause 2.2(1)(c).
Also if g ∈ I∗1 ∧ b ∈ I′1 then for some g1 ∈ J1 , b1 ∈ I′1 we have G1 |= “g = g1 b1 ”
hence G1 |= “gb = (g1 b1 )b = g1 (b1 b)” and recall g1 ∈ J1 and b1 b ∈ I′1 as I′1 = L is
closed under products. Thus together gb ∈ I∗1 , hence clause 4.1(1)(f) is satisfied. So
I∗1 , I∗2 are as required in 2.2(1) and 4.1. Hence there is x ∈ XK such that Gx,ℓ = Gℓ
for ℓ = 0, 1, 2 and Ix,ℓ = I∗ℓ for ℓ = 1, 2.
2) Consider clause (B) of 4.4, the “if x ∈ . . . ” is not empty so G3 is a well defined
group. Easily G1 ⊆ G3 and G2 ⊆ G3 but is G3 locally finite? This follows from the
results in §2, in particular 2.10. That is, as there if G′ℓ is finite, G0 ⊆ G′ℓ ⊆ Gℓ for
ℓ = 1, 2 then we have finitely many possible choices of (Ix,1 ∩ x1 G′1 , Ix,2 ∩ x2 G′2 ) for
x1 ∈ G1 , x2 ∈ G2 hence the group G3 that we get is locally finite. Probably better
this is G′3 such that NFf (G0 , G1 , G2 , G′3 ), by the definition there is a homomorphism
from G′3 onto G3 over G1 ∪ G2 . Now as G′3 is lf so is G3 .
3),4) Should be clear.
4.6
§ 4(B). Schemes and derived sets.
Definition 4.7. 1) Let X0 be the set of x such that:
(a)
(b)
(c)
(d)

x has the form (K1 , K2 , ā2 , ā1 ) = (K1 [x], K2 [x], ā2 [x], ā1 [x]);
K1 ⊆ K2 are finite groups;
ā1 is a finite sequence generating K1 ;
ā2 is a finite sequence from K2 such that ā2 ˆā1 generates K2 (if ā2 = ha2 i
we may write just a2 );
(e) K1 has trivial center.

2) Let X1 be the set of x such that:

48

SAHARON SHELAH

(a) x = (K, ā) = (K[x], ā[x]);
(b) K ∈ K is finite;
(c) ā is a finite sequence from K generating K, ℓg(ā) ≥ 1; let a∗ = a∗ [x] = a0 ,
the first element of ā.
3) Let X2 be the set of x ∈ X1 such that:
(∗) K has trivial center.
4) Let X3 be the set of x ∈ X1 such that20:
(∗) if f is a non-trivial automorphism of K then for some conjugate b of a∗ =
a∗ [x] = a0 [x] we have f (b) ∈
/ ha∗ iK ; equivalently, for some conjugate b of
a∗ , hbiK 6= haiK .
Observation 4.8. If m ∈ {2, 3, . . .} then for some x ∈ X3 the element a∗ [x] ∈ K[x]
has order m.
Claim 4.9. If x ∈ X0 , then there is one and only one s, call it scm = scm [x] such
that:
(a)
(b)
(c)
(d)

s ∈ Ω[Klf ];
ks = ℓg(ā1 [x]) and ns = ℓg(ā2 [x]);
ps (x̄s ) = tpbs (ā1 [x], ∅, K[x]);
if G1 ⊆ G3 ∈ Klf and tpbs (ā, ∅, G1 ) = tpbs (ā1 [x], ∅, K[x]) and c̄ realizes
qs (ā, G1 ) in G3 then NF3 (hāiG1 , G1 , hāˆc̄iG3 , G3 ).

Proof. As in §2 using §(4A). Let Kℓ = Kℓ [x] for ℓ = 1, 2; and let G0 = K1 and
G1 ∈ K be existentially closed, extend K1 and be such that K2 ∩ G1 = K0 . Let
L = CG0 (G1 ), so as G0 = K1 has trivial center (by 4.7(1)(e)), clearly we have
L ∩ G0 = {eG0 } and let H1 = cℓ(G0 ∪ L, G1 ), H0 = {eK1 } and let H2 = G2 := K2 .
Now we apply Claim 4.6(d), so there is G3 such that NF3 (G0 , G1 , G2 , G3 ) see
Definition 4.4. By it, the type tpbs (ā2 [x], G2 , Gx ) does not split over G0 = K1 .
From this it is easy to define s and to prove it is as required.
4.9
Definition/Claim 4.10. For x ∈ X1 let s = sab [x] be such that:
(a) s ∈ Ω[Klf ];
(b) ks = 0;
(c) if c̄ realizes q2 (<>, G1 ) in G2 so G1 ⊆ G2 then c̄ realizes tpbs (ā[x], ∅, K[x])
and commutes with G1 , and hc̄iG2 ∩ G1 = {e}.
Proof. Easy.

4.11

Definition/Claim 4.11. For x ∈ X2 we define s = sgm [x] such that:
(a) s ∈ Ω[Klf ];
(b) ks = 2ℓg(ā[x]) and ns = 1;
(c) if G1 ⊆ G2 ∈ Klf and tpbs (āℓ , ∅, G1 ) = tpbs (ā[x], ∅, K[x]) for ℓ = 1, 2 and
hā1 iG1 , hā2 iG1 commute in G1 and21 have intersection {eG } then ps (x̄s ) =
tpbs (ā1 ˆā2 , ∅, G1 );
20So x ⊇ x .
3
2
21In fact this follows.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

49

(d) moreover, in clause (c), if c ∈ G2 realizes qs (ā1 ˆā2 , G1 ) in G2 then conjugation by c interchanges ā1 , ā2 and is the identity on CG1 (ā1 ˆā2 ).
Proof. Let G2 ∈ Kexlf be an extension of K[x] in which some c realizes qscg (Kx );
let ā1 = ā[x], ā2 = c−1 ā1 c := hc−1 a1,ℓ c : ℓ < ℓg(ā1 )i in G2 .
Note that, by inspection, G0 = hā1 ˆā2 iG1 is finite with trivial center and let G0 ⊆
G1 ∈ Klf . Now use 4.1 with G0 , G1 , cℓ(ā1 ˆā2 ˆhci, G2 ), CG1 (G0 ), CG1 (G0 ), cℓ(ā1 ˆā2 ˆhci, G2 )
here standing for G0 , G1 , G2 , G1 , H1 , L, H2 there.
4.10
Definition 4.12. 1) For s ∈ Ω[K] and G1 ⊆ G2 let cps (G1 , G2 ) = {c0 : c̄ ∈ n(s) (G2 )
realizes qt (G1 ) where t ∈ def(G1 ) satisfies st = s}.
2) For x ∈ X1 and G1 ⊆ G2 let cpx (G1 , G2 ) = cpsab [x] (G1 , G2 ).
3) For G1 ⊆ G2 ∈ Klf and ℓ ∈ {1, 2, 3} let cpℓ (G1 , G2 ) = ∪{cpsab [x] (G1 , G2 ) : x ∈
Xℓ }; if ℓ = 2 we may omit it.
§ 4(C). Larger Definable Types.
Definition 4.13. 1) For G ∈ K, S ⊆ Ω[K] and set I let DefI,<κ (G, S) be the set
of t such that:
(a) t = htu : u ⊆ I finitei;
(b) tu ∈ def S (G) with x̄tu = hxi : i ∈ ui and ātu = āt or pedantically ātu =
āt ↾wu where wu ⊆ ℓg(āt ) is finite;
(c) ℓg(āt ) := I has cardinality < κ and Rang(āt ) ⊆ G;
(d) if G ⊆ H ⊆ L ∈ Klf and u ⊆ v ⊆ I are finite and b̄ ∈ v L realizes qtv (H)
then b̄↾u realizes qtu (H).
2) We define ΩI,<κ [K, S] parallely and if S = Ω[K] then we may omit it.
3) If t ∈ DefI,<κ (G, S) then qt (G) ∈ SIbs (G) is defined by ∪{qtu (hxi : i ∈ ui) : u ⊆ I
finite}.
4) Omitting κ means ℵ0 . We may replace “< κ+ ” by κ and even a set I1 . We may
replace I by “< µ” meaning “some χ < µ”. Similarly for “≤ µ”.
5) For n < ω and s0 , . . . , sn−1 ∈ Ω<µ,<κ [K] we define s0 ⊕ . . . ⊕ sn−1 and s0 ⊗ . . . ⊗
sn−1 naturally.
Claim 4.14. 1) If G ∈ K, S ⊆ Ω[K] and t ∈ DefI (G, S) then for some pair (c̄, H)
we have G ⊆ H ∈ Klf , c̄ ∈ I H, H = hG ∪ c̄iH and tpbs (c̄, G, H) = qt (G).
2) If S is closed then above G ≤S H.
Definition 4.15. Assume H̄ = hHi : i < δi is ⊆-increasing in K and Hδ = ∪{Hi :
i < δ}. We say A is a one step (< µ, < κ, δ, S) − ⊗-construction (if δ = ω we may
omit it) when : as in 3.16 except that
(c)′ tα,i ∈ DefIα,i,<κ (Hi , S) for some set Iα,i of cardinality < µ.
The case we shall actually use in §5 is:
Claim 4.16. Assume K ⊆ L ∈ Klf , K is finite and f embeds K into G1 ∈ Klf
and hci : i < µi list the members of L and {cℓ : ℓ < n} is the set of elements of K.
Then there is t ∈ Def≤µ (G1 , S[K]) such that: if c̄∗ = hc∗i : i < µi ∈ µ (G2 ) realizes
qt (G1 ) in G2 , so G1 ⊆ G2 , then ci 7→ c∗i (for i < µ) is an embedding of L into G2
extending f .

50

Proof. Straightforward by §2.

SAHARON SHELAH

4.16

Discussion 4.17. Those definable types are still locally definable over finite sets.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

51

§ 5. Constructing complete existentially closed G
Theorem 5.1. Assume if G ∈ Klf and |G| ≤ µ = µℵ0 .
1) There is a complete G′ ∈ Klf which extend G such that |G′ | = µ+ and G′ is
existentially closed.
2) Moreover G ≤Ω[Klf ] G′ and G′ is full.
3) There is G′ such that G ≤S G′ and G′ ∈ Kexlf
µ+ is complete and S-full provided
that S satisfies:
(∗) (α) S ⊆ Ω[Klf ]
(β) S is dense and ⊗-closed (for Klf )
(γ) some schemes introduced earlier belongs to S, specifically:
• sab(2) from Definition 2.20, used in the paragraph before ⊞3
• scm from Definition 4.9, used in (∗)4.3
• scg , from Definition 2.17(1), 2.18(2) used after ⊞7 Stage E
• sgl from Definition 2.17(2),2.18(3)
• sgm from Definition 4.10, see (∗)5.1 (f ).
Proof. Proof of 5.1
We let S = Ω[Klf ] for parts (1),(2) and fix S for part (3) as there.
Stage A: Without loss of generality the universe of G is an ordinal ≤ µ and let
λ = µ+ .
Let S ⊆ Sℵλ0 := {δ < λ : cf(δ) = ℵ0 } be a stationary subset of λ such that also
λ
Sℵ0 \S is stationary in λ and α ∈ S ⇒ (µ divides α). Let hSζ : ζ < λi be a partition
of S to stationary sets. Let S∗ ⊆ λ\S be stationary and a set of limit ordinals.
Let Cδ be an unbounded subset of δ of order type ω for δ ∈ S such that C̄ζ =
hCδ : δ ∈ Sζ i guess clubs for each ζ < λ, this means that for every club E of λ the
set {δ ∈ Sζ : Cδ ⊆ E} is a stationary subset of λ; such hCδ : δ ∈ Sζ i exists by [Sh:g,
Ch.III] = [Sh:365].
Let αδ (n) be the n-th member of Cδ .
Let τ̄ be such that:
• τ̄ = hτζ : ζ < λi
• τζ ⊆ H (ℵ0 ) is a countable vocabulary
• if τ ⊆ H (ℵ0 ) is a countable vocabulary then {ζ : τζ = τ } has cardinality
λ.
By [Sh:309, 3.26(3)=L6.11A,pg.31] there is bζ , a BB, black box for (Sζ , C̄ζ ) say
bζ = hNiδ : i ∈ Tδ , δ ∈ Sζ i, that is:
⊞0,ζ (a) Niδ is a model of cardinality ℵ0 with universe ⊆ δ = sup(Niδ ) and
vocabulary τζ ⊆ H (ℵ0 )
(b) if N is a τζ -model with universe λ then for stationarily many δ ∈ EN ∩
Sζ for some i ∈ Tδ we have Cδ ⊆ EN \S where EN := {α : N ↾α ≺ N }
and Niδ ≺ N ; moreover
(b)+ if τ = τζ , N̄ = hNη : η ∈ T i, T a non-empty subtree of ω> λ such
that τ (Nη ) = τζ , η ⊳ ν ⇒ Nη ≺ Nν and |Nη | ∈ [λ]ℵ0 and E a club of
λ, η ∈ T ⇒ (∃λ α)(ηˆhαi ∈ T ) and η ⊳ ν ∈ T ⇒ sup(Nη ) < sup(Nν )

52

SAHARON SHELAH

then for some δ ∈ Sζ ∩ E we have Cδ ⊆ E, i ∈ Tδ and η ∈ limω (T )
we have Niδ = ∪{Nη↾n : n < ω};
(c) if i 6= j ∈ Tδ then Niδ ∩ Njδ is bounded in δ (used just after (∗)5.5 ),
moreover:
(c)+ if i 6= j ∈ Tδ then the set {β < δ : β a limit ordinal such that
sup(Niδ ∩ β) = β = sup(Njδ ∩ β)} is bounded in δ;
(d) Niδ ∩ (αδ (n), αδ (n + 1)) 6= ∅ and Niδ ↾αδ (n) ≺ Niδ for n < ω, δ ∈ S, i ∈
Tδ ;
(e) for notational simplicity we assume Tδ ⊆ µ.
Stage B: By induction on γ < λ we shall choose the following:
Gγ ∈ Klf of cardinality µ and the universe of Gγ is an ordinal < λ;
G0 = G;
hGβ : β ≤ γi is increasing continuous;
if β ∈ γ\S then Gβ ≤S Gγ
if γ = β + 1, β ∈
/ S, then:
(α) Gγ is generated by {c̄β,i : i ∈ Tβ } ∪ Gβ , where Tβ is a set of
cardinality ≤ µ (to be chosen),
(β) tβ,i ∈ Def≤µ (Gβ , S), non-trivial (see Definition 4.13(5)) for i ∈
Tβ ,
(γ) tpbs (c̄β,i , Gβ , Gγ ) = qtβ,i (Gβ ) for i ∈ Tβ ,
(δ) if n < ω and i(0), . . . , i(n − 1) ∈ Tβ are pairwise distinct, then
tpbs (c̄β,i(0) ˆ . . . ˆc̄β,i(n−1) , Gβ , Gγ ) = qt (Gβ ), where t = tβ,i(0) ⊗
. . . ⊗ tβ,i(n−1) ,
(ε) if t = (s, ā) ∈ def S (Gβ ) is non-trivial then for some i ∈ Tβ we
have tβ,i = t;
(f) if γ = δ + 1, δ ∈ S then :
(α) Gγ is generated by {c̄δ,i : i ∈ Tδ } ∪ Gδ ,
(β) Aγ = (Gδ+1 , Gδ , hc̄δ , tδ,i,n : i ∈ Tδ i) is a one step (< ℵ0 , <
ℵ0 , S) − ⊗-construction over hGαδ (n) : n < ωi, see 3.16; used in
(∗)5.2 ’s proof22,
(g) tβ,i = (sβ,i , āβ,i ) for β ∈ γ\S.

⊞1 (a)
(b)
(c)
(d)
(e)

First we shall show:
⊞2 we can carry the induction.
Why? For γ = 0 we have nothing to do by clause (b).
For γ limit we let Gγ = ∪{Gβ : β < γ}.
For γ = β + 1, β ∈
/ S we have some freedom, as we have tβ,i ∈ Def≤µ (Gβ , S)
not just def(Gβ , S). So let Tβ = µ, {tβ,i : i ∈ Tδ } ⊆ Def≤µ (Gβ , S) be of cardinality µ and including def(Gβ , S) and so htβ,i = (sβ,i , āβ,i ) : i < µi, possibly with
repetitions. Clearly ⊞1 (e)(ε) holds.
Now as in Claim 3.13 we can find Gγ , hc̄β,i : i < µi such that:
22Actually can use a one step (≤ µ, < ℵ , S) − ⊗-construction.
0

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

53

• Gβ ≤S Gγ ;
• Gγ = h{c̄β,i : i < µ} ∪ Gβ iGγ ;
• if n < ω and ik < µ for k < n and hik : ℓ < ni is with no repetitions then
c̄β,i0 ˆ . . . ˆc̄β,in+1 realizes qt (Gβ ) where t = tβ,i0 ⊗ . . . ⊗ tβ,in−1 .
If γ = δ + 1, δ ∈ S we can let sδ,i = sab(2) , clearly we satisfy clause (f); but we may
act differently. Clearly, as in the previous case, there is some freedom left: what we
do for γ = δ + 1, δ ∈ S and this will depend on the hNiδ : i ∈ Tδ i from ⊞0 . During
the rest of the proof we shall use (some of the freedom left) to guarantee that G∗
(see below) is as required.
Of course, we let:
⊞3 G∗ = Gλ = ∪{Gα : α < λ}.
We now point out some useful properties of the construction:
(∗)3.1 there is a model N∗ expanding G∗ , so with universe λ, and a countable
vocabulary such that for any N ⊆ N∗ we have:
(a) G∗ ↾N is a subgroup of G∗ ;
(b) β ∈ N iff N ∩ Gβ+1 \Gβ 6= ∅ iff β + 1 ∈ N ;
(c) if γ = β + 1, γ ∈ N then N ∩Gγ = h∪{c̄β,i : i ∈ N ∩Tβ } ∪(N ∩Gβ )iGγ ;
(d) if i ∈ N ∩ Tβ and β ∈ N , then |ℓg(c̄β,i )| ≤ ω ⇒ c̄β,i ⊆ N ∩ Gβ+1 and
|ℓg(ātβ,i )| ≤ ω ⇒ ātβ,i ⊆ N ∩ Gβ ;
(e) τ (N∗ ) ⊆ H (ℵ0 ), but H (ℵ0 )\τ (G∗ ) is infinite;
(f ) if δ ∈ N ∩ S then Cδ ⊆ N .
Now note
(∗)3.2 if α < λ is a limit ordinal, then Gα ∈ Kexlf .
[Why? Recall clause (e)(ε) of ⊞1 noting that S is a set of limit ordinals, hence
α = sup(α\S).]
We now assume:
⊞4 h is an automorphism of G∗ .
We shall eventually prove that (if we suitably use the freedom left in ⊞1 , then) h is
an inner automorphism, i.e. b ∈ G∗ ⇒ h(b) = a−1 ba for some a ∈ G∗ , this clearly
suffices noting that G∗ has trivial center as scg ∈ S.
We shall often use
(∗)4.1 for limit β ∈ λ\S let L∗β = cp(Gβ , Gβ+ω ) (see Definition 4.12(3)), i.e.
c ∈ L∗β iff for some finite K ⊆ CGβ+ω (Gβ ) with trivial center we have
c ∈ K and K ∩ Gβ = {eGβ }.
Note that
(∗)4.2 the last demand in (∗)4.1 , “K ∩ Gβ = {eG∗ }”, is redundant.
[Why? Recall β is a limit ordinal hence by (∗)3.2 , Gβ has trivial center.]
Note:

54

SAHARON SHELAH

(∗)4.3 if a ∈ L∗β and K witnesses it, then K ⊆ L∗β , K ∩ Gβ = {e}, and moreover
there is L ∈ Kexlf included in L∗β and including K.
[Why? We can choose K̄ = hKn : n < ωiSsuch that K0 = K, Kn is a finite
group with trivial center, Kn ⊆ Kn+1 and Kn ∈ Kexlf . We now choose by
n

induction on n an embedding fn of Kn into Gβ+ω such that f0 = S
idK , fn ⊆ fn+1
and Rang(fn ) ⊆ L∗β ; the induction step is possible by 4.9. Now fn (Kn ) is as
n

required.]
We shall use:
(∗)4.4 let Eh = {δ : δ is a limit ordinal and h maps Gδ onto Gδ and (N ∗ ↾δ, h↾δ) ≺
(N ∗ , h)}.
Now
(∗)4.5 Eh is a club of λ.
[Why? Just look at (∗)4.4 .]
Stage C: We shall prove
⊞5 for some α(∗) < λ, for every β ∈ S∗ ∩ Eh \α(∗) and c ∈ L∗β we have
h(c) ∈ cℓ(Gα(∗) ∪ {c}, G∗ ).
Why? If not, for every α < λ there are βα ∈ S∗ ∩ Eh \α, m(α) = mα ∈ {2, 3, . . .}
/ cℓ(Gα ∪ {cα }, G∗ ). Now let c̄α witness
and cα ∈ L∗βα of order mα such that h(cα ) ∈
that cα ∈ L∗βα with cα,0 = cα , i.e. c̄α list the members of a finite subgroup of Gβα +ω
commuting with Gβα with trivial center and so included in L∗βα .
(∗)5.0 without loss of generality h(cα ) ∈ cℓ(Gα ∪ c̄α ).
[Why? Let K0 be the subgroup of Gβα +ω with universe c̄α ; we can find K1 , K2 , K3
such that K3 is a finite group and for ℓ = 0, 1, 2 and K1 ∩ K2 = hc0 iK0 without loss
of generality K3 ⊆ Gβα +ω , so we can replace K0 by K1 or by K2 .]
Let xα ∈ X2 be such that c̄α realizes qsab [xα ] (hi, Gβα ), see 4.7(2) + 4.11. But
if α1 < α2 then (βα2 , cα2 , mα2 ) can serve as (βα1 , cα1 , mα1 ), hence, without loss of
generality , xα = x, mα = m∗ for every α.
(∗)5.1 (a) Let b̄α,1 = c̄α ; let kα,1 < ω be such that b̄α,1 ⊆ Gβα +kα,1 +1 , b̄α,1 *
Gβα +kα,1 ;
(b) let kα,∗ ∈ (kα,1 + 1, ω) be such that: tpbs (h(b̄α,1 ), Gβα +ω , G∗ ) =
qsα (ā•α , Gβα +ω ) for some sα ∈ S with ā•α ⊆ Gβα +kα,∗ ;
(c) let b̄α,2 ⊆ Gβα +ω realize qsab [x] (hi, Gβα +kα,∗ );
(d) let kα,2 < ω be such that b̄α,2 ⊆ Gβα +kα,2 +1 , b̄α,2 * Gβα +kα,2 , so
actually without loss of generality kα,2 = kα,∗ + 1;
(e) note that b̄α,1 ˆb̄α,2 realizes psgm (x̄), see 4.11;
(f) let kα,3 < ω be > kα,1 , kα,2 and let bα,3 ∈ Gβα +kα,3 +1 realizes
qsgm [x] (b̄α,1 ˆb̄α,2 , Gβα +kα,3 , Gβα ), (see Definition 4.11); so it commutes
with CGβα +kα,2 +1 (b̄α,1 ˆb̄α,2 ), hence with Gβα and conjugating by it
interchange b̄α,1 , b̄α,2 ;

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

55

(g) without loss of generality sα = s∗ and (ℓg(b̄α,1 ), kα,2 , ℓg(b̄α,2 )) does
not depend on α.
Our intention (in this stage) is to find αn < λ increasing with n satisfying βαn <
αn+1 and element d such that, on the one hand, conjugating with d maps cαn =
bαn ,1,0 to bαn ,2,0 for each n, and on the other hand, tpbs (d, Gβn +ω , Gλ ) does not
split over Gβn + bαn ,3 , a contradiction.
Let N be such that:
(∗)5.2 (a) N is a model with universe λ;
(b) N is with countable vocabulary;
(c) N expands N∗ from (∗)3.1 ;
(d)
• F0N = h, so F0 is a unary function symbol,
N
• F1,ι,ℓ
(α) = bα,ι,ℓ for ι = 1, 2 and ℓ < ℓg(b̄α,ι), (if ℓ = 0 we may
omit it),
N
• F1,3
(α) = bα,3 ,
• F2N (α) = βα ,
• F2,ι (α) = βα + kα,ι for ι = 1, 2, 3,
• F3N (α) = βα + ω,
N
is an (n + 1)-place function such that: if α0 < . . . < αn , cαℓ ∈
(e) F4,n
N
Gαℓ+1 , each αℓ is a limit ordinal then F4,n
(α0 , . . . , αn ) is the product
of a0 a1 . . . an where ak = F1,1,0 (αk );
(f) P N = {(α, c) : α < λ and c ∈ Gα }.
Without loss of generality τN ⊆ H (ℵ0 ), choose ζ(1) < λ such that τζ(1) = τN and
for each δ ∈ Sζ(1) we use the amount of freedom we are left with (see before ⊞3 ),
choosing Gδ+1 such that:
(∗)5.3 if δ ∈ Sζ(1) , i ∈ Tδ , letting αδ,i,n := min(Niδ \αδ (n)) then (a) ⇒ (b) where:
(a)

Nδ

• βδ,i,n := F2 i (αδ,i,n ) is ≥ αδ,i,n but < αδ (n + 1),
Nδ

• F3 i (αδ,i,n ) = βδ,i,n + ω,
N
• bδ,i,n,ι = F1,ι,ℓ
(αδ,i,n ) for ι = 1, 2 and ℓ = 0,
Nδ

• kδ,i,n,ι = F2,ιi (αδ,i,n ) − αδ,i,n for ι = 1, 2, 3,
Nδ

• bδ,i,n,3 = F3 i (βδ,i,n ),
• bδ,i,n,ι ∈ Gβδ,i,n +kδ,i,n,ι +1 commute with Gβδ,i,n and conjugating
by bδ,i,n,3 interchange bδ,i,n,1,ℓ , bδ,i,n,2,ℓ,
• δ is the set of elements of Gδ , similarly αδ,i,n (as they ∈ Eh ),
• for every β < δ we have (Gβ+1 \Gβ ) ∩ Niδ 6= ∅ ⇔ β ∈ Nδ,i ,
• if β ∈ Niδ \S and c̄ ∈ ω> (Niδ ), so c̄ ∈ ω> (Gδ ), then tpbs (c̄, Gβ , Gδ ) ∈
qt (Gβ ) for some t ∈ def(Gβ ) satisfying āt ∈ ω> (Niδ ∩ Gβ ),
(b) c̄δ,i = hcδ,i i and tpbs (cδ,i , Gδ , Gδ+1 ) is as in claim 2.19 with Gαδ (n) (n <
ω), Gδ , bβδ,i,n,3 ∈ Niδ (n < ω) here standing for Gn (n < ω), Gω , atn (n <
ω) with I = {t} there;

56

SAHARON SHELAH

(∗)5.4 let Tδ′ = {i ∈ Tδ : clause (a) of (∗)5.3 holds};
(∗)5.5 let βδ,i,n = αδ,i,n + ω and bδ,i,n = bδ,i,n,ι ∈ Gβδ,i,n +1 for ι = 1, 2, 3 realizes
qsab(2) (hi, Gβδ,i,n ) when the assumption of clause (a) fails.
Why can we fulfill (∗)5.3 ? Let hiℓ : ℓ < ℓ(∗)i be a finite sequence of members of Tδ .
For ℓ < ℓ(∗) and n < ω let dℓ,n = bδ,iℓ ,n,3 .
Now
(∗)5.6 hdℓ,n : n < ωi pairwise commute if i(ℓ) ∈ Tδ′ for each ℓ < ℓ(∗).
[Why? As bδ,i(ℓ),n,3 ∈ C(Gβδ,i(ℓ),n , Gβδ,i(ℓ),n +ω ) for n < ω and βδ,i(ℓ),n + ω < αδ (n +
1) ≤ αδ,i(ℓ),n+1 ≤ βδ,i(ℓ),n+1 , recalling Nδi ↾αδ (n + 1) ≺ Nδi and Nδi ∩ (αδ (n), αδ (n +
1)) 6= ∅.]
(∗)5.7 hdℓ,n : n < ωi pairwise commute when i(ℓ) ∈
/ Tδ′ .
[Why? Even easier.]
(∗)5.8 if ℓ(1) 6= ℓ(2) then for every n(1) < n(2) the elements bδ,i(ℓ(1)),n(1),3 , bδ,i(ℓ(2)),n(2),3
commute.
[Why? Recall that bδ,i(ℓ(1)),n(1),3 ∈ Gαδ (n(2)) ⊆ Gβδ,i(ℓ(2)),n(2) ; note that bδ,i,n,ι ∈
Gβδ,i,n,ι +ω commute with Gβδ,i,n rather than with Gαδ,i,n but not used.]
(∗)5.9 if ℓ(1), ℓ(2) < ℓ(∗), then for n large enough, for every n(1), n(2) ∈ (n, ω)
the elements dℓ(1),n(1) , dℓ(2),n(2) of Gδ commute.
[Why? Similarly, as Niδℓ(1) ∩ Niδℓ(2) is bounded in δ, but not used.]
(∗)5.10 The conditions in 2.19 hold hence we can fulfill (∗)5.3 , (∗)5.4 , i.e. we can
carry the induction in ⊞1 .
[Why? Think.]
Next let
(∗)5.11 E = {δ < λ : δ a limit ordinal is the universe of Gδ and N ↾δ ≺ N , hence h
maps Gδ onto itself}.
Clearly E is a club of λ, hence by ⊞0,ζ(1) from stage A, there is a pair (δ, i∗ ) =
(δ, i(∗)) such that
(∗)5.12 δ ∈ E ∩ Sζ(1) and i∗ ∈ Tδ and Niδ∗ ≺ N .
Let d = h(cδ,i∗ ) ∈ G∗ , so:
(∗)5.13 (a) the pair (δ, i∗ ) satisfies the demands in (∗)5.3 (a);
(b) for some finite set u∗ ⊆ Tδ and b̄∗ ∈ ω> (Gδ ), the type tpbs (d, Gδ+1 , G∗ )
does not split over {cδ,i : i ∈ u∗ } ∪ b̄∗ ;
(c) without loss of generality i∗ ∈ u∗ .
δ
≺ N , recalling the choice of N (including
[Why? For clause (a), as δ ∈ E and Ni(∗)
N
h = F0 ). For clause (b), apply properties of the construction in ⊞1 , i.e. Gδ+1 ≤S
G∗ .]

(∗)5.14 conjugating by d in G∗ interchange bδ,i(∗),n,1 with bδ,i(∗),n,2 for n < ω.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

57

[Why? Should be clear as for m ∈ ω\{n} and ι(1), ι(2) ∈ {1, 2, 3}, the element
bδ,i(∗),m,ι(1) commutes with bδ,i(∗),m,ι(2) .]
Recalling ⊞0 (c) there is n(∗) < ω large enough such that:
(∗)5.15 b̄∗ ⊆ Gβδ,i(∗),n(∗) and j1 6= j2 ∈ u∗ ⇒ Nj1 ∩ Nj2 ⊆ Gαδ (n(∗)) and j1 , j2 are
like i, j as in ⊞0,ζ(1) (c)+ .
Clearly for some β(∗) < λ we have h(bδ,i(∗),n(∗),1 ) ∈ Gβ(∗)+1 \Gβ(∗) . As αδ,i(∗),n(∗) =
δ
δ
min(Ni(∗)
\αδ (n(∗)) ∈ Ni(∗)
, clause (d) of ⊞0 and Niδ∗ ≺ N , clearly:
(∗)5.16 (a) h maps Gαδ,i(∗),n(∗) ∩ Niδ∗ onto itself and so β(∗) ∈ Niδ∗ \αδ,i(∗),n(∗)
δ
∩αδ,i(∗),n(∗)+1 \αδ,i(∗),n(∗) .
(b) h maps Gαδ,i(∗),n(∗)+1 onto itself hence β(∗) ∈ Ni(∗)

Also,
(∗)5.17 if β(∗) < βδ,i(∗),n(∗) + ω then β(∗) ≤ βδ,i(∗),n(∗) + kδ,i(∗),n(∗),2 .
[Why? By (∗)5.1 .]
Now,
(∗)5.18 there is β ∈ Niδ∗ ∩ (β(∗) + 1)\αδ (n(∗))\S such that [β, β(∗) + ω) ∩ Niδ∗ is
disjoint from Njδ if j ∈ u∗ but j 6= i∗ .
[Why? First assume β(∗) ∈
/ S, let β = β(∗), so clearly β ∈ Niδ∗ by (∗)5.14 , β ∈
(β(∗) + 1), also β ∈
/ αδ (n(∗)) as by (∗)5.6 and the fact that β ∈
/ S by its choice. Also
[β, β(∗) + ω) = [β(∗), β(∗) + ω) ⊆ Niδ∗ as N is closed under α 7→ α + 1 by (∗)3.1 (b).
If j ∈ u∗ but j 6= i∗ then Njδ ∩ Niδ∗ ⊆ αδ (n(∗)) ≤ β, hence [β, β(∗) + ω) ∩ Njδ = ∅,
so we are done.
Second, assume β(∗) ∈ S, hence cf(δ) = ℵ0 , and by (∗)3.1 (f ), {αβ(∗) (n) : n <
ω} ⊆ Niδ∗ . But by ⊞0 (c)+ we have j ∈ u∗ ∧ j 6= i∗ ⇒ sup(Njδ ∩ β(∗)) < β(∗). As
u∗ is finite there is β ∈ {αβ(∗) (n) : n < ω} such that (β, β(∗)) ∩ Njδ = ∅; hence
as before also (β, β(∗) + ω) ∩ Njδ = ∅, whenever j ∈ u∗ ∧ j 6= i∗ . So (∗)5.16 holds
indeed.]
We finish the proof of ⊞5 by getting a contradiction as follows.
Case 1: β(∗) ≥ βδ,i(∗),n(∗) + ω.
So by the choice of β and the proof of (∗)5.3 the type tpbs (d, Gβ(∗)+ω , G∗ ) does
not split over Gβ , and even over some finite subset of it.
Now by ⊞1 (e) in Gβ(∗)+ω there is d′ 6= h(bβδ,i(∗),n(∗),1 ) realizing
/ cℓ(Gβ ∪ {d}).
tpbs (h(bβδ,i(∗),n(∗),1 ), Gβ , Gβ(∗)+ω ) so h(bβδ,i(∗),n(∗),3 ) ∈
However, G∗ |= d−1 h(cβδ,i(∗),n(∗),1 )d = h(cβδ,i(∗),n(∗),2 ), contradiction.
Case 2: β(∗) < βδ,i(∗),n(∗) + ω.
Hence β(∗) ≤ βδ,i(∗),n(∗) + kδ,i(∗),n(∗),2 and so {tpbs (d), Gβδ,i(∗),n(∗) +ω , G∗ )} does
not split over Gβδ,i(∗),n(∗) ∪{bδ,i(∗),n(∗),3 }) but tp(bδ,i(∗),n(∗),3 , Gβδ,i(∗),n(∗) +kδ,i(∗),n(∗),3 , G∗ )
does not split over Gβδ,i(∗),n(∗) ∪ Rang(b̄δ,i(∗),n(∗),1 ) ∪ Rang(b̄δ,i(∗),n(∗),2 ).
It follows that tpbs (d), Gβδ,i(∗),n(∗) +kδ,i(∗),n(∗),2 , G∗ ) does not split over
Gβδ,i(∗),n(∗) , b̄δ,i(∗),n(∗),1 and recall h(bβδ,i(∗),n(∗),1 ) ⊆ Gβδ,i(∗),n(∗) +kδ,i(∗),n(∗),2 , contradiction by (∗)5.0 .
So we have finished proving ⊞5 .

58

SAHARON SHELAH

Stage D:
⊞6 (a) for some stationary S1∗ ⊆ S∗ (⊆ λ\S) for every β ∈ S1∗ \α(∗) if b ∈ L∗β
then h(b) = σ G∗ (b, ā) for some ā ∈ ω> (Gβ ) and group-term σ(x, ȳ)
(b) moreover h(b) = σ G∗ (b) if b ∈ L∗β .
Why?
(∗)6.1 clause (a) of ⊞6 holds even for every β ∈ S2∗ := S∗ ∩ Eh \α(∗).
[Why? By ⊞5 .]
(∗)6.2 Without loss of generality if β ∈ S2∗ and b ∈ L∗β , then h(b) = σb (b)ab for
some ab ∈ Gβ .
[Why? This by (∗)6.1 because h maps Gβ onto itself, b commutes with Gβ whereas
āb ∈ ω> (Gβ ).]
(∗)6.3 (a) b 7→ σb (b) is a homomorphism from the set L∗β into L∗β (but we did not
claim L∗β is a subgroup);
(b) b 7→ ab induces a homomorphism from the set L∗β into the group Gβ ,
that is if σ(x0 , . . . , xn−1 ) is a group term and b0 , . . . , bn−1 ∈ L∗β and
Gβ+ω |= σ(b0 , . . . , bn−1 ) = e then Gβ |= σ(ab0 , . . . , abn−1 ) = e.
[Why? As h is an automorphism of G∗ and as ab1 , σb2 (b2 ) commute for b1 , b2 ∈ L∗β .]
We try to get rid of the homomorphism from (∗)6.3 (b) in order to prove ⊞6 (b).
Toward contradiction assume (for the rest of this stage):
(∗)6.4 γ ∈ S2∗ ⊆ λ\S1∗ is a limit ordinal and b∗ ∈ L∗γ and ab∗ 6= e.
Now as γ ∈ S∗ ⊆ λ\S we can find a sequence f¯γ = hfηγ : η ∈ ω µi satisfying fηγ is
a function from {η↾n : n < ω} into Gγ such that for every f : ω> µ → Gγ for some
η ∈ ω µ we have fηγ ⊆ f ; i.e. a simple black box, see [Sh:309, Fact 1.5=L4.5A], it
exists as µ = µℵ0 . Now generally for γ ∈ λ\S let Wγ = {η ∈ ω µ: for some c ∈ Gγ
of order 2 we have n < ω ⇒ c−1 fη∗ (η↾(2n))c = fη∗ (η↾(2n + 1))}.
Let K∗ be the group of permutations of I = ω> µ × {0, 1} with finite support,
i.e. {f ∈ Sym(I) : (∃<ℵ0 t ∈ I)(f (t) 6= t)}. For η ∈ ω> µ let hη ∈ K∗ be such
that hη ((η, ι)) ≡ (η, 1 − ι), for ι = 0, 1, and is the identity otherwise. Let Kγ be
the group of permutations of I = ω> µ × {0, 1} generated by K∗ ∪ {yη : η ∈ ω> µ},
where:
(∗)6.5 (a) if η ∈ Wγ then yη interchanges (η↾(2n + 1), ι), (η↾(2n + 2), ι) for n <
ω, ι = 0, 1 and otherwise is the identity;
(b) if η ∈ ω µ\Wγ then yη interchanges (η↾(2n), ι) and (η↾(2n + 1), ι) for
n < ω, ι = 0, 1, and is the identity otherwise.
Let
• d be the permutation of I interchanging (<>, 0), (<>, 1) and being the
identity otherwise.
Now we shall use some of the amount of freedom left, clearly:
(∗)6.6 (a) there is K ⊆ CGγ+ω (Gβ ) finite with trivial center such that b∗ ∈ K;

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

59

(b) there is b̄ which lists the member of K such that d0 = b∗ ;
¯ a finite sequence from Kγ realizing tp(b̄, ∅, G∗ );
(c) there is d,
(d) there is n(∗) such that K ⊆ Gγ+n(∗) .
(∗)6.7 There is an embedding gγ of Kγ into CGγ+n(∗)+1 (Gγ ) mapping d¯ to b̄ hence
d0 to b∗ ;
(∗)6.8 b 7→ ab (for b ∈ gγ (Kγ )) is a homomorphism from gγ (Kγ ) into Gγ ;
(∗)6.9 let f : ω> λ → Gβ be defined by f (η) = agγ (hη ) .
By the choice of hfη : η ∈ ω> µi for some η ∈ ω µ we have n < ω ⇒ fηγ (η↾n) = f (η↾n).
Now does η ∈ Wγ ? First, assume η ∈
/ Wγ , then (by the choice of Kγ ) (gγ (yη ) ∈ Gγ
and) conjugating by gγ (yη ) for each n, interchanges gγ (hη↾(2n) ), gγ (hη↾(2n+1) ) which
means that in Kγ , conjugating by hη interchanges fηγ (η↾(2n)), fηγ (η↾(2n + 1)), but
by the choice of Wγ this means η ∈ Wγ .
Second, assume η ∈ Wγ , by the definition of Wγ there is c ∈ Gγ of order 2
such that conjugating by c for each n interchanges gγ (hη↾(2n) ), gγ (hη↾(2n+1) ). But
conjugating by gγ (yη ) for n interchange gγ (hη↾(2n+1) ), gγ (hη↾(2n+2) ). So in G∗ , the
subgroup generated by {c, gγ (yη ), gγ (hη↾1 )} includes gγ (hη↾n ) for η = 1, 2, . . .; why?
just prove it by induction on n. But {gγ (hη↾n ) : n = 1, 2, . . .} ⊆ G∗ is infinite,
contradiction.
Stage E:
⊞7 there is a finite sequence ā∗ such that for every b ∈ G∗ we have h(b) ∈
cℓ(ā∗ ∪ {(b, G∗ )}.
[Why? For β ∈ S1∗ let dβ ∈ Gβ+1 realize scg (<>, Gβ ) in Gβ+1 . So for every a ∈ Gβ
of order m as Gβ is existentially closed there is a finite Ka ⊆ Gβ with trivial center
to which a belongs. Hence the element dβ ad−1
β commute with Gβ and belongs to
Gβ+1 and moreover to L∗β . Hence, by ⊞6 (b), for some k(a) < m we have:
−1
k(a)
.
(∗)7.1 h(d−1
β adβ ) = (dβ adβ )

Hence
−1
−1
−1
−1
k(a)
(∗)7.2 h(a) = h(d−1
h(dβ ).
β )h(dβ adβ )h(dβ ) = h(dβ )(dβ adβ )

Also, as β ∈
/ S, there is a finite Kβ ⊆ Gβ such that tpbs (hh(dβ ), dβ i, Gβ , G∗ ; Klf )
does not split over Kβ . By (∗)7.2 , tpbs (h(a), Gβ , G∗ ; Klf ) does not split over Kβ ∪
{d}, but h(a) ∈ Gβ hence h(a) ∈ hK ∪ {d}iG∗ . By Fodor’s lemma this is enough
for ⊞7 .
Clearly we are done by 2.23.
5.1
∗

∗

∗

Question 5.2. 1) In 5.1 we can easily get 2λ pairwise non-isomorphic groups G′ .
But can they be pairwise far? (i.e. no G ∈ Kλ , can be embedded in two of them)?
2) Even more basically can we demand G∗ has no uncountable Abelian subgroup
(when G does not)? Or at least no Abelian group of cardinality λ?
3) Can we prove 5.1 for every λ > ℵ0 ? or at least λ ≥ iω ?

60

SAHARON SHELAH

Discussion 5.3. 1) Concerning 5.2(1), the problem with our approach is using
p ∈ SS (G), so as λ is regular we will get subgroups generated by indiscernible
sequences, but let us elaborate. Assume G∗ ∈ Kλ , G∗ = ∪{Gα : α < λ}, Gα
increases with α and |Gα | < λ. Further, assume s ∈ Ω[K] and ā ∈ n(s) G∗ and
S = {α < λ : ā ⊆ Gα and the type qs (ā, Gα ) is realized in G∗ } is unbounded in λ
and thus it is an end segment. Let c̄α ∈ k(s) G∗ realize qs (ā, Gα ) and so for some
club E of λ, α ∈ S ∩ E ⇒ c̄α ∈ Gmin(E\(α+1) . Now c̄ = hc̄α : α ∈ S ∩ Ei satisfies:
if h is a partial increasing finite function from S ∩ E to S ∩ E, then it induces a
partial automorphism of G∗ : c̄α 7→ c̄h(α) . This is a case of indiscernible sequences.
Hence the isomorphism type of cℓ(∪{c̄α : α ∈ S ∩ E}, G∗ ) depends only on s (and
tpbs (ā, ∅, G∗ ). Hence the number of pairwise far such G∗ ’s is ≤ |S| + ℵ0 .
2) Concerning 5.2(2), the problem with our approach is that we use s = sab(k) and
more generally s ∈ Ω[K] such that if qs (ā, G) = tpbs (c̄, G, H) then some c ∈ H\G
commute with every (or simply many) members of G. Hence in the construction
above, G∗ has Abelian subgroups of cardinality λ.
3) What about considering the class of (G, Fh )h∈H , Fh ∈ aut(G), G ∈ Klf , h 7→ Fh
a homomorphism? We intend to deal with it in [Sh:1098].
Discussion 5.4. 1) Naturally the construction in the proof of 5.1 is not unique,
the class has many complicated models. In the construction in the proof of 5.1 we
choose one where we realize many definable types.
2) We may like in ⊞5 of Stage C in the proof of 5.1 to consider c ∈ Gλ , not
necessarily from Gβ+ω ; (so later the role of scg in translating knowledge on h↾Gβ+ω
to knowledge on Gβ + use of Fodor is not necessary). Presently the way we combine
hbδ,i(ℓ),n,3 : n < ω, ℓ < ℓ(∗)i to one n-type in Sbs (Gδ ) works using 2.19.
Concerning the existence of complete groups in Klfλ extending any G ∈ Klfλ there
are some restrictions.
Claim 5.5. Assume λ > cf(λ) = ℵ0 , χ = λℵ0 .
1) If G ∈ Klfλ is full, then its outer automorphism group has cardinality ≥ χ.
2) G has ≥ χ outer automorphisms when G ∈ Klfλ and for some sequence ā = haα :
α < λi listing the elements of G, letting Gα = cℓ({aβ : β < α}, G) we have:
(a) for every α < λ for λ ordinals β < λ, aβ commutes with Gα
(b) for every a ∈ G\{eG } some element b ∈ G, a does not commute with b.
3) Like (2) but Gα has center of cardinality < λ.
4) Instead of (a),(b) we can use:
(a)′ for every α < λ we have λ = |{a/Cent(G) : a ∈ G commute with Gα }|.
Proof. 1) We reduce it to part (2). Let ā = haα : α < λi witness fullness (so
λ ≥ 2ℵ0 ). Now using the schemes s = sab(2) , the pair (G, ā) satisfies clause (a) of
part (2). Using, e.g. the scheme s = scg and the claim on non-commuting, 2.21,
also clause (b)
P there holds.
λn , λn < λn+1 . For each n, by clause (a) we have |Sn1 | = λ where
2) Let λ =
n

Sn1 := {α : aα commute with cℓ({aβ : β < λn }, G})}. Hence for some kn > n we
have Sn3 = {α < λkn : α ∈ Sn1 } has cardinality > λn .
V
k2n =
Replacing hλn : n < ωi by a subsequence without loss of generality
n

3
2n + 1. Let hαn,i : i < λn i be a sequence of pairwise distinct members of S2n
\λ2n .

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

61

Q

λ2ℓ let bη = aη(0) aη(1) . . . aη(n−1) ∈ G and so hη := bη ,
Q
λ2ℓ ⇒ bη , bν
conjugation by bη , is an inner automorphism of H. Also ν ⊳ η ∈

Now for each η ∈

ℓ<n

ℓ<n

agree on {aβ : β <
Qλ2ℓg(ν) }.
Hence if η ∈
λ2n then hhη↾n : n < ωi converge, i.e. for every a ∈ G, the
n

sequence hhη↾n (a) : n < ωi is eventually constant and called the eventual value
hη (a).
Q
Q
So hη is an automorphism of G (for each η ∈ λ2n ). Now if η1 , η2 ∈ λ2n , η1 (k) 6=
n

n

η2 (k), η1 ↾k = η2 ↾k and for some α < λ2k , aα does not commute with aη1 (k) a−1
η2 (k)
then hη1 6= hη2 . Hence we can easily find 2ℵ0 pairwise distinct hη ’s. So if λ < 2ℵ0
we are done; otherwise, let µ = min{µ : µℵ0 ≥ λ equivalently µℵ0 = λℵ0 }, so
2ℵ0 < µ < λ and α < µ ⇒ |α|ℵ0 < µ.
P
µn = µ, µn < µn+1 ; moreover each µn
Choose µ̄ = hµn : n < ωi such that
n

regular and α < µn ⇒ |α|ℵ0 < µn . Now for n < k let En,k = {(i, j) : i, j < µn and
the conjugation aαn,i , aαn,j agree on {aβ : β < λ2k }}, an equivalence relation.
T
En,k is the equality on µn , hence for some
By clause (b) in the assumption,
k>n

k(n) > n, µn /En,k has µn equivalence class. The rest should be clear.
3),4) Similarly.

5.5

62

SAHARON SHELAH

§ 6. Other Classes
Note that
Theorem 6.1. The results of §1 holds for any universal class K - see [Sh:300b].
However, we cannot in general prove the existence of dense S ⊆ Ω[K], in fact,
possibly Ω[K] = ∅. We refer the reader to §0 before 0.13, and to 0.17, 2.1. We may
expand an lf group by choosing representations for left cosets bK, for K a finite
subgroup of G, b ∈ G. Then the density of Ω[K] is easy.
Definition 6.2. 1) Let Kclf be the class of structures M such that M is an expansion of an lf group G = GM by Fn = FnM for n ≥ 1 such that:
(a) FnM is a partial (n + 1)-place function from G to G;
(b) if (a0 , . . . , an ) ∈ Dom(FnM ) then (a0 , . . . , an−1 ) list without repetitions the
elements of a subgroup of GM and an ∈ GM , of course;
(c) if FnM (a0 , . . . , an ) = b then b ∈ {an aℓ : ℓ < n};
(d) if K is a finite subgroup of GM with n elements and for some (a0 , . . . , an−1 )
listing its elements with no repetitions and b we have (a0 , . . . , an−1 , b) ∈
Dom(FnM ), then for every (a′0 , . . . , a′n−1 ) listing the members of K and
b′ ∈ bK ⊆ GM we have (a′0 , . . . , a′n−1 , b′ ) ∈ Dom(FnM ) and b′ K = bK ⇒
FnM (a0 , . . . , an−1 , b′ ) = FnM (a0 , . . . , an−1 , b);
(e) if K1 , K2 are as in clause (d) then also K1 ∩ K2 is;
(f ) if A ⊆ GM is finite then there is a minimal K as in clause (d) which contains
A and if A is empty then K = {eGM }.
Definition 6.3. Let Kplf be the class of structures M such that: M expands a lf
group G by PnM for n < ω and FnM for n < ω (actually definable from the rest)
such that:
(a) PnM is an (n + 3)-place relation;
(b) if ā = (a0 , . . . , an+2 ) ∈ PnM then {a0 , . . . , an−1 } list with no repetitions the
elements of a finite subgroup of GM ;
(c) if {a0 , . . . , an−1 } = {a′0 , . . . , a′n−1 } are as above and moreover b, b′ ∈ M and
{ba0 , . . . , ban−1 } = {b′ a′0 , . . . , b′ a′n−1 } then M |= “Pn (a0 , . . . , an−1 , b, c, d) =
Pn (a′0 , . . . , a′n−1 , b′ , c, d)” for every c, d ∈ M ;
(d) if (a0 , . . . , an−1 ) list the members of a finite subgroup K of G with no
repetitions and b ∈ G then {(c, d) : (a0 , . . . , an−1 , b, c, d) ∈ PnM } is a linear
order on the right coset bK, which we denote by <M
K,b ;
(e) if the sequence (a0 , . . . , an−1 ) is as above and b ∈ G then FnM (a0 , . . . , an−1 , b)
is the first element by the order there in {ba0 , . . . , ban−1 }.
Definition 6.4. 1) For M ∈ Kclf let fsb(M ) be the set of finite subgroups K of
GM such that for some a0 , . . . , an−1 listing with no repetitions the elements of K
and for some b ∈ GM we have (a0 , . . . , an−1 , b) ∈ Dom(FnM ), i.e. they are as in
clause (d) of Definition 6.2.
M
2) In this case we may write FK
(b) = FnM (a0 , . . . , an−1 , b).
3) For M, N ∈ Kclf let M ≤elf N or M ⊆ N mean that GM ⊆ GN and FnM =
FnN ↾M hence K ∈ sfb(N ) ∧ K ⊆ M ⇒ K ∈ fsb(M ). We define similarly ≤plf , ≤olf ,
see Definition 6.3, 0.15. We may write M ≤K N for the appropriate K, etc.

EXISTENTIALLY CLOSED LOCALLY FINITE GROUPS

63

4) “M ∈ Kclf is (existentially closed)” is defined as in 0.13(2).
5) Let clf-group mean a member of Kclf and similarly an olf-group.
6) Similarly for “olf-groups” and “plf-groups”.
Convention 6.5. 1) Let K denote one of the classes defined above, but let it be
Kclf if not said otherwise.
Definition/Claim 6.6. 1) For M ∈ Kolf let M [clf] be the unique N ∈ Kclf such
M
that: GN = GM and fsb(N ) = {K : K ⊆ GM is finite} and FK
(b) is the <M -first
member of bK ⊆ G (well defined as bK is finite non-empty).
1A) For M ∈ Kolf we define M [plf] and for M ∈ Kplf we define M [clf] parallely.
2) For M ∈ Kclf and A ⊆ M , there is N ⊆ M from Kclf with universe A iff for
every finite A ⊆ B there is K ∈ fsb(M ) such that A ⊆ K ⊆ B.
2A) So if M ∈ Kclf and K ∈ fsb(M ) then M ↾K ∈ Kclf and is finite.
3) For A ⊆ M ∈ K let cℓ(A, M ) be the minimal N ⊆ M such that A ⊆ N ,
equivalently ∪{K : K ∈ fsb(M ) and there is no L ∈ fsb(M ) such that A ∩ K ⊆
L ⊂ K}.
4) For A ⊆ M ∈ K let cℓgr (A, M ) be the closure of A under the group operations.
5) We call M ∈ Kclf full when fsb(M ) is the set of finite K ⊆ GM .
Claim 6.7. 1) The objects in 6.6 are well defined (in the right class).
2) If M ∈ Kolf or M ∈ Kplf then M [clf] ∈ Kclf is full.
3) S(Kolf ) is dense.
4) S(Kclf ) is dense.
Proof. 1) Straightforward, e.g. in part (3) for Kclf the closure is well defined because
fsb(M ) is closed under intersections.
2) Easy, too.
3),4) As in §2.
6.7
Remark 6.8. Call M ∈ Kclf invariant when for every finite K ⊆ GM there is a
M
M
function FK
: G → G such that FK
(g) ∈ gK and is equal to FnM (a0 , . . . , an−1 )
when a0 , . . . , an−1 list the members of K with no repetitions. Restricting ourselves
to such M seems to cause problems in amalgamations, whereas for Kplf this is not
so.
Definition 6.9. For M ∈ K and n < ω let Sngd (M ) be the set of good n-types
p(x̄) ∈ Snbs (M ) which means: p = tp(ā, M, N ) where M ⊆ N ∈ K and ā ∈ n N and
cℓgr (ā + M, N ) = cℓ(ā + M, N ).
Claim 6.10. The classes K = Kcfl , Kplf , Kolf have dense closed S ⊆ Ω[K].
Proof. Straightforward.

6.10
∗

∗

∗

Definition 6.11. 1) Let Ksl be the class of locally finite semi-groups, i.e. G, it
has only one operation, binary which is associative.
2) Let Kusl be defined similarly with an individual constant e such that G |= geG =
g = eG g for every g ∈ G ∈ Kusl .

64

SAHARON SHELAH

References
[BG03] Gábor Braun and Rüdiger Göbel, Outer automorphisms of locally finite p-groups, J.
Algebra 264 (2003), no. 1, 55–65.
[DG93] Manfred Dugas and Rüdiger Göbel, On locally finite p-groups and a problem of Philip
Hall’s, J. Algebra 159 (1993), no. 1, 115–138.
[Hic78] Ken Hickin, Complete universal locally finite groups, Transactions of the American Mathematical Society 239 (1978), 213–227.
[KW73] Otto H. Kegel and Bertram A.F. Wehrfritz, Locally finite groups, xi+210.
[Tho86] Simon Thomas, Complete universal loclly finite groups of large cardinality, 277–301.
[Woo72] Carol Wood, Forcing for infinitary languages, Z. Math. Logik Grundlagen Math. 18
(1972), 385–402.
[Sh:c] Saharon Shelah, Classification theory and the number of nonisomorphic models, Studies in
Logic and the Foundations of Mathematics, vol. 92, North-Holland Publishing Co., Amsterdam,
xxxiv+705 pp, 1990.
, Proper and improper forcing, Perspectives in Mathematical Logic, Springer, 1998.
[Sh:f]
, Cardinal Arithmetic, Oxford Logic Guides, vol. 29, Oxford University Press, 1994.
[Sh:g]
[Sh:h]
, Classification Theory for Abstract Elementary Classes, Studies in Logic: Mathematical logic and foundations, vol. 18, College Publications, 2009.
, Finite diagrams stable in power, Annals of Mathematical Logic 2 (1970), 69–118.
[Sh:3]
[McSh:55] Angus Macintyre and Saharon Shelah, Uncountable universal locally finite groups,
Journal of Algebra 43 (1976), 168–175.
[Sh:E62] Saharon
Shelah,
Combinatorial
background
for
Non-structure,
arxiv:math.LO/1512.04767.
[GgSh:83] Donato Giorgetta and Saharon Shelah, Existentially closed structures in the power of
the continuum, Annals of Pure and Applied Logic 26 (1984), 123–148, Proceedings of the 1980/1
Jerusalem Model Theory year.
[Sh:88r] Saharon Shelah, Abstract elementary classes near ℵ1 , Chapter I. 0705.4137.
arxiv:0705.4137.
[ShZi:96] Saharon Shelah and Martin Ziegler, Algebraically closed groups of large cardinality, The
Journal of Symbolic Logic 44 (1979), 522–532, arxiv:arXiv.
[GrSh:174] Rami Grossberg and Saharon Shelah, On universal locally finite groups, Israel Journal
of Mathematics 44 (1983), 289–302.
[Sh:300] Saharon Shelah, Universal classes, Classification theory (Chicago, IL, 1985), Lecture
Notes in Mathematics, vol. 1292, Springer, Berlin, 1987, Proceedings of the USA–Israel Conference on Classification Theory, Chicago, December 1985; ed. Baldwin, J.T., pp. 264–418.
[Sh:300a]
, Stability theory for a model, Chapter V (A), in series Studies in Logic, vol. 20,
College Publications.
[Sh:300b]
, Universal Classes: Axiomatic Framework [Sh:h], Chapter V (B).
, Black Boxes, , 0812.0656. 0812.0656. arxiv:0812.0656.
[Sh:309]
[Sh:365]
, There are Jonsson algebras in many inaccessible cardinals, Cardinal Arithmetic,
Oxford Logic Guides, vol. 29, Oxford University Press, 1994.
, Dependent theories and the generic pair conjecture, Communications in Con[Sh:900]
temporary Mathematics 17 (2015), 1550004 (64 pps.), arxiv:math.LO/0702292.
[Sh:950]
, Dependent dreams: recounting types, arxiv:1202.5795.
[Sh:1098]
, Excl LF groups with few automorphisms, preprint.
Einstein Institute of Mathematics, Edmond J. Safra Campus, Givat Ram, The Hebrew University of Jerusalem, Jerusalem, 91904, Israel, and, Department of Mathematics, Hill Center - Busch Campus, Rutgers, The State University of New Jersey, 110
Frelinghuysen Road, Piscataway, NJ 08854-8019 USA
E-mail address: shelah@math.huji.ac.il
URL: http://shelah.logic.at

