arXiv:1606.00312v1 [math.GR] 1 Jun 2016

The first-order theory of ℓ-permutation groups
A. M. W. Glass and John S. Wilson
March 21, 2018

Abstract
Let (Ω, 6) be a totally ordered set. We prove that if Aut(Ω, 6) is
transitive and satisfies the same first-order sentences as Aut(R, 6) (in
the language of lattice-ordered groups) then Ω and R are isomorphic
ordered sets. This improvement of a theorem of Gurevich and Holland
is obtained as one of many consequences of a study of centralizers
and coloured chains associated with certain transitive subgroups of
Aut(Ω, 6).

1

Introduction

We recall that a lattice-ordered group (or ℓ-group for short) is a group that is also
a lattice with respect to two additional operations ∨, ∧ such that
h(f ∨ g)k = hf k ∨ hgk,

h(f ∧ g)k = hf k ∧ hgk

for all f, g, h, k ∈ G.

We write G+ for {g ∈ G | g > 1} and |g| = g ∨ g −1 ; now |g| > 1 with equality if
and only if g = 1. If the order on G is a total order, G is called an o-group.
Well-studied examples of ℓ-groups are automorphism groups Aut(Ω, 6) of totally ordered sets (Ω, 6). The operations are pointwise: that is, the join and meet
of elements f, g are defined by
α(f ∨ g) = max{αf, αg}

and α(f ∧ g) = min{αf, αg}

for all α ∈ Ω.

2010 AMS Classification: 06F15, 20B07, 05C05, 03C60.
Keywords: Transitive group, o-primitive, convex congruence, o-block, covering convex
congruence, coloured chain.

1

An ℓ-permutation group (G, Ω) is a sublattice subgroup of Aut(Ω, 6). Transitive
ℓ-permutation groups are of particular interest, and the groups studied in this
paper will always be assumed to be transitive.
In 1981, Gurevich and Holland [6] proved the following result.
Theorem 1.1. Suppose that (Ω, 6) is a totally ordered set such that Aut(Ω, 6)
acts transitively on pairs (α, β) with α < β, and that Aut(Ω, 6) and Aut(R, 6)
satisfy the same first-order sentences in the language of lattice-ordered groups.
Then Ω is isomorphic to R as an ordered set.
Other results of a similar kind were obtained in [3]. One consequence of Theorem 1.1 and our main result, Theorem A below, is the following stronger result.
Corollary 1.1. Suppose that (Ω, 6) is a totally ordered set on which Aut(Ω, 6)
acts transitively, and that Aut(Ω, 6) and Aut(R, 6) satisfy the same first-order
sentences in the language of lattice-ordered groups. Then Ω is isomorphic to R as
an ordered set.
Transitivity is necessary in the above result. Let Λ be any rigid totally ordered
set with at least two elements (for example a finite totally ordered set with at least
two elements), and let Ω = Λ × R, with the order defined by (λ1 , r1 ) < (λ2 , r2 ) if
r1 < r2 or if both r1 = r2 and λ1 < λ2 . It is easy to see that Aut(Λ × R, 6) is
isomorphic to Aut(R, 6).
Another special case of our main result concerns Wreath products (see [7] or
[1, Chapter 5] for the definition and properties).
Corollary 1.2. Let An := Z for all n ∈ Z and let (W, Λ) be the Wreath product Wr {(An , An ) | n ∈ Z}. Assume that K is a totally ordered set and that
{(GK , ΩK ) | K ∈ K} is a family of o-primitive ℓ-permutation groups. Define
(G, Ω) := Wr {(GK , ΩK ) | K ∈ K}. If G satisfies the same first-order sentences
as W , then each GK is isomorphic to Z and K is elementarily equivalent to Z as
a totally ordered set.
With each abelian o-group G one can associate a totally ordered set of convex
subgroups of G and countably many ‘colours’ that range over certain fundamental
abelian o-groups. This idea was due to Gurevich [5], who in 1977 showed that
two abelian o-groups G, H satisfy the same first-order sentences in the language of
o-groups if and only if their coloured chains satisfy the same first-order sentences
as coloured chains. Our main result shows that a similar implication is valid for
many non-commutative transitive ℓ-permutation groups.

2

Theorem A. Let (G, Ω) and (H, Λ) be abundant transitive ℓ-permutation groups
satisfying (†) and suppose that every o-primitive component of (G, Ω) has irreducible elements. If G ≡ H then every o-primitive component of (H, Λ) has irreducible elements, and the spines KG of G and KH of H are elementarily equivalent
as totally ordered sets. If in addition (G, Ω) is controlled, then the coloured chains
CG CH associated with G, H are elementarily equivalent as coloured chains.
The notions of abundant and controlled ℓ-permutation groups and the hypothesis (†) are defined in Sections 2, 7, and 5, respectively, irreducible elements are
defined in Section 6 and the spine of an ℓ-permutation group is defined in Section 2;
the associated coloured chain is defined in Section 7. Any transitive ℓ-permutation
group (Aut(Ω, 6), Ω) is abundant, and all of its o-primitive components have irreducible elements. We will show in Remark 6.1 that if (G, Ω) is abundant and
satisfies (†), then the property that every o-primitive component has irreducible
elements is expressible by an explicit first-order sentence in the language of ℓgroups. In the statement of Theorem A and throughout the article, the symbol ≡
signifies elementary equivalence between lattice-ordered groups. An example given
in Section 7 shows that coloured chains can be elementarily equivalent without the
lattice-ordered groups being elementarily equivalent.
We explain how Corollary 1.1 follows from Theorem A. A transitive ℓ-permutation group is o-primitive if and only if its set K of covering convex congruences
has only one element. Thus if (G, Ω) is abundant and satisfies (†), and if G
satisfies the same first-order sentences as Aut(R, 6), then G acts o-primitively on
Ω by Theorem A. Since non-abelian transitive o-primitive automorphism groups
are always abundant, controlled and satisfy (†), it follows from Corollary 2.5 and
Theorem 1.1 that if Aut(Ω, 6) and Aut(R, 6) are elementarily equivalent then Ω
is isomorphic to R.
Similar arguments allow us to strengthen other known results. For example,
we have
Corollary 1.3. Suppose that (Ω, 6) is a totally ordered set on which Aut(Ω, 6)
acts transitively. Let Aut(Ω, 6) and Aut(Q, 6) satisfy the same first-order sentences in the language of lattice-ordered groups. Then Ω is isomorphic to Q or
R \ Q as an ordered set.
The corresponding result with the stronger hypothesis that Aut(Ω, 6) acts
transitively on pairs (α, β) with α < β is proved in [6].
In Corollaries 7.9 and 7.11 we give further consequences of Theorem A concerning the first-order theory of o-primitive components.
The breakthrough comes from employing a technique in [11]; we use double
centralizers of certain subsets of lattice-ordered groups to give first-order expressibility of covering convex o-blocks.

3

2

Preliminaries

Let (G, Ω) be a transitive ℓ-permutation group. A convex G-congruence C on Ω
is a G-congruence with all C-classes convex; these classes are called o-blocks. We
suppress the mention of G if it is clear from context. By transitivity, each o-block
∆ is a class of a unique convex congruence; its set of classes is {∆g | g ∈ G}. We
denote this convex congruence by κ(∆).
Remark 2.1. The set of convex congruences of a transitive ℓ-permutation group
(G, Ω) is totally ordered by inclusion; see [1, Theorem 3.A]. Hence the set of oblocks forms a root system under inclusion; that is, if ∆1 , ∆2 are o-blocks of
possibly different convex congruences and ∆1 ∩ ∆2 6= ∅ then ∆1 ⊆ ∆2 or ∆2 ⊆ ∆1 .
If C and D are convex congruences with C strictly contained in D and there is
no convex congruence strictly between C and D, then we say that D covers C and
C is covered by D.
Proposition
trivial convex
are contained
congruence U
it.

2.2. ([1, Theorem 3D]) Every convex congruence other than the
congruence E is the union of all covering convex congruences that
in it, and every convex congruence other than the universal convex
is also the intersection of all covered convex congruences containing

Let α, β ∈ Ω be distinct. Then both the union U (α, β) of all convex congruences
C for which α, β lie in distinct o-blocks and the intersection V (α, β) of all convex
congruences C for which α, β lie in the same o-block are convex congruences. So
U (α, β) is covered by V (α, β). Let
K = {V (α, β) | α, β ∈ Ω, α 6= β}.
Thus K is totally ordered by inclusion. It is called the spine of (G, Ω). For all
α, β ∈ Ω we have β = αg for some g ∈ G by transitivity. Therefore K can also be
described as follows:
K = {V (α, αg) | α ∈ Ω, g ∈ G, αg 6= α}.
Write T for the set of o-blocks of elements of K. If ∆ ∈ T , then κ(∆) ∈ K and so κ
restricts to a surjective map from T to K. For each C ∈ K, write π(C) for both the
convex congruence covered by C and its set of o-blocks; the latter inherits a total
order from Ω. If ∆ is a C-class, let π(∆) be the set of all π(C)-classes contained in
∆.
We define the stabilizer st(∆) and rigid stabilizer rst(∆) of an o-block ∆ of a
convex congruence as follows:
st(∆) := {g ∈ G | ∆g = ∆}, and

rst(∆) := {g ∈ G | supp(g) ⊆ ∆},

4

where supp(g) := {α ∈ Ω | αg 6= α}. So st(∆) and rst(∆) are convex sublattice
subgroups of G and rst(∆) ⊆ st(∆).
For each ∆ ∈ T let
Q∆ = {h ∈ rst(∆) | (∃α ∈ ∆)(V (α, αh) = κ(∆))}.
We shall say that (G, Ω) is ample if Q∆ 6= ∅ for each ∆. We note that if G is ample
and ∆ ∈ T then each element of κ(∆) is moved by some element of Q∆ .
Lemma 2.3. Suppose that (G, Ω) is transitive and ample. Let ∆ ∈ T and Γ ∈
π(∆). If ∆ is not a minimal element of T , then rst(Γ) 6= 1.
Proof. Choose an element ∆0 of T strictly contained in ∆. Since the convex
congruences are linearly ordered by inclusion, Γ is a union of o-blocks ∆0 g. For
each o-block we have ∆0 g ∈ T and Q∆0 g ⊆ rst(Γ).
Let ∆ ∈ T . Each g ∈ st(∆) induces an action g∆ on the ordered set π(∆)
given by
Γg∆ = Γg (Γ ∈ π(∆), g ∈ st(∆)).
Let
G(∆) := {g∆ | g ∈ st(∆)}.
Note that (G(∆), π(∆)) is transitive and o-primitive. Furthermore, if K ∈ K
and ∆, ∆′ are both K-classes, then (G(∆), π(∆)) and (G(∆′ ), π(∆′ )) are isomorphic, the isomorphism being induced by conjugation by any f ∈ G with ∆f = ∆′
since (Γf )(f −1 gf ) = (Γg)f for all g ∈ rst(∆), Γ ∈ π(∆). It is customary to write
(GK , ΩK ) for any of these ℓ-permutation groups; they are independent of ∆ to
within ℓ-permutation isomorphism.
Let Λ ⊆ Ω and g ∈ G with Λg = Λ. Write dep(g, Λ) for the element of
Aut(Ω, 6) that agrees with g on Λ and with the identity elsewhere; thus
(
αg if α ∈ Λ
α dep(g, Λ) =
α
if α 6∈ Λ.
Of course, in general the automorphism dep(g, Λ) need not belong to G. We
say that (G, Ω) is abundant if for each ∆ ∈ T , and each g ∈ st(∆), we have
dep(g, ∆) ∈ G. In particular, the kernel of the action of G on the set of translates
of ∆ then contains the direct sum of the restricted stabilizers of these translates.
If (G, Ω) is abundant and ∆ ∈ T , then for each g ∈ st(∆), the elements g and
dep(g, ∆) ∈ rst(∆) induce the same action on π(∆). If (G, Ω) is abundant, then
it is ample since if δ1 , δ2 ∈ ∆ with V (δ1 , δ2 ) = κ(∆), let g ∈ G with δ1 g = δ2 ; then
g ∈ st(∆) and dep(g, ∆) ∈ Q∆ .

5

We note that if Aut(Ω, 6) acts transitively on Ω then (Aut(Ω, 6), Ω) is abundant.
For each automorphism g of a totally ordered set Ω and each α in the support
supp(g) of g, the supporting interval Λ(α, g) of g ∈ G containing α is defined to
be the smallest convex subset of Ω containing {αgn | n ∈ Z}.
On any supporting interval ∆ of g, either g moves every point up, or it moves
every point down. Moreover, if f ∈ Aut(Ω) and g moves every point of ∆ up
(respectively, down) then so does f −1 gf on its supporting interval ∆f .
We will need the classification of o-primitive transitive ℓ-permutation groups
provided by McCleary’s Trichotomy Theorem (S.H. McCleary [8], or [1, Theorem
4A] or [2, Theorem 7E]). Let (Ω̄, 6) denote the Dedekind completion of the totally
ordered set (Ω, 6) with the maximum element and minimum element removed.
Assume that there is t ∈ Aut(Ω̄, 6)+ such that the supporting interval in Ω̄ of
each α ∈ Ω is Ω̄. If in addition G is transitive on Ω and CAut(Ω̄,6)(G) = hti,
then (G, Ω) is called periodic with period t. If (G, Ω) is periodic, o-primitive and
α ∈ Ω, then for all β, γ ∈ Ω with α < β < γ < αt there are elements g ∈ G+
with supp(g) ∩ (α, αt) ⊆ (β, γ); see [8, II] or [1, Theorem 4.3.1]. We note that if
(G, Ω) is periodic with period t, and if the element g ∈ G satisfies αg > αt for
some α ∈ Ω, then β̄g > β̄ for all β̄ ∈ Ω̄.
If G is transitive on all n-tuples (α1 , . . . , αn ) ∈ Ωn with α1 < · · · < αn , we
say that (G, Ω) is o-n transitive. An o-2 transitive ℓ-permutation group is o-n
transitive for all n ∈ Z+ ; see [1, Lemma 1.10.1].
Proposition 2.4. (S.H. McCleary)
Let (G, Ω) be a transitive o-primitive ℓ-permutation group. Then one of the
following holds:
(I) (Ω, 6) is order-isomorphic to a subgroup of the reals and the action of G on
Ω is the right regular representation;
(II) (G, Ω) is o-2 transitive;
(III) (G, Ω) is periodic with period t and the restriction of G to Ω ∩ (α, αt) is o-n
transitive for all α ∈ Ω and n ∈ Z+ .
Moreover, any transitive ℓ-permutation group satisfying (i) or (ii) is o-primitive,
but not all periodic ℓ-permutation groups are o-primitive.
We refer to the o-primitive ℓ-permutation groups (G, Ω) in (I), (II), (III) above
as being of types (I), (II) and (III) respectively. Those of type (I) are abelian
o-groups, whereas those of type (II) have trivial centre. Those of type (III) have
centre G ∩ hti.

6

Corollary 2.5. If (Aut(Ω, 6), Ω) is transitive and non-abelian, then it is o-2 transitive.
Our notation for conjugates and commutators is in accordance with our use of
right actions: we write gf for f −1 gf and [f, g] for f −1 g −1 f g.
We write X ⊂ Y for X ⊆ Y and X 6= Y .
For further background and notation, see [7], [1, Part II] or [2, Chapter 7].

3

A technical lemma

Lemma 3.1. Let (G, Ω) be o-2 transitive and g, h ∈ G with supp(h)∩supp(hg ) = ∅.
Then there are elements f, k ∈ G such that
[h−1 , hf ][h−g , hgk ] 6= [h−g , hgk ][h−1 , hf ].
Proof. Since supp(h) ∩ supp(hg ) = ∅, we may assume without loss of generality
that there are supporting intervals ∆1 , ∆2 := ∆1 g of h and hg , respectively, such
that δ1 < δ2 for all δi ∈ ∆i (i = 1, 2), the proof for ∆2 := ∆1 g < ∆1 being similar.
Without loss of generality, δ1 h > δ1 for all δ1 ∈ ∆1 (and so δ2 hg > δ2 for all
δ2 ∈ ∆2 ). Let γ, δ, λ, µ ∈ ∆2 with
γ < γhg < µh−g < δ < λ < µ < δhg < λhg .
The six elements
γ, γhg , µh−g , δ, µ, λhg

(1)

constitute a strictly increasing sequence in ∆1 . Choose ξ−1 , ξ0 ∈ ∆1 with ξ−1 < ξ0 ,
and elements ξ1 , ξ2 ∈ ∆2 with
ξ0 < ξ1 < ξ1 hg < ξ2 < ξ2 hg .
Then the six elements
ξ−1 , ξ0 , ξ1 , ξ1 hg , ξ2 , ξ2 hg

(2)

constitute a strictly increasing sequence in Ω. Using o-6-transitivity we can find
an element k of G that maps the nth element of sequence (2) to the nth element
of sequence (1) for each n. Since supp(h) ∩ supp(hg ) = ∅ and ξ−1 ∈ ∆1 ⊆ supp(h)
we have γhgk = γk−1 hg k = ξ−1 hg k = ξ−1 k = γ. This and other similar easy
calculations shows that
γhgk = γ,

(γhg )hgk = γhg ,

(µh−g )hgk = δ,

7

µhgk = λhg .

Now choose α ∈ ∆1 ⊆ supp(h) and β ∈ (αh−1 , α), and choose ζ1 , . . . , ζ4 ∈
supp(h) such that the eight elements
ζ4 , ζ3 , ζ2 , ζ1 , ζ4 h, ζ3 h, ζ2 h, ζ1 h
form a strictly increasing sequence. Since supp(h) < supp(hg ), the eight elements
βh−3 , αh−3 , βh−2 , αh−2 , γh−g , γ, δ, λ
also form a strictly increasing sequence, and we can find an element f ∈ G that
maps the nth term of the former of these two sequences to the nth term of the
latter for each n. A routine calculation now shows that
αh−2 hf = λ,

βh−2 hf = δ,

αh−3 hf = γ,

and βh−3 hf = γh−g .

Let
w1 := [h−1 , hf ],

and w2 := [h−g , hgk ].

Further simple calculations show that
λw1 = γ

and λw2 = δ.

Moreover,
γw2 = γ

and

δw1 = βh−3 hf = γh−g .

Hence
λw1 w2 = γ 6= γh−g = δw1 = λw2 w1 .

The conclusion of Lemma 3.1 also holds for periodic o-primitive transitive ℓpermutation groups.
Lemma 3.2. Let (G, Ω) be periodic and o-primitive with period t. Suppose that
g, h ∈ G with supp(h) ∩ supp(hg ) = ∅. Then there are f, k ∈ G such that
[h−1 , hf ][h−g , hgk ] 6= [h−g , hgk ][h−1 , hf ].
Proof. Since supp(h) ∩ supp(hg ) = ∅, for any η ∈ Ω the set supp(h) ∩ (α, αt) is a
proper subset of (η, ηt), since otherwise there is n ∈ Z+ with ηhn > ηt, whence
supp(h) = supp(hn ) = Ω. Similarly, supp(hg ) ∩ (η, ηt) is a proper subset of (η, ηt).
Fix η ∈ Ω. We may assume that there are supporting intervals ∆1 , ∆2 := ∆1 g
of h and hg , respectively, such that ∆1 ∪ ∆2 ⊆ (η, ηt) and, as before, δ1 < δ2 for
all δi ∈ ∆i (i = 1, 2). Without loss of generality, δ1 h > δ1 for all δ1 ∈ ∆1 , and
δ2 hg > δ2 for all δ2 ∈ ∆2 . We now argue exactly as before to find elements f, k of
G whose restrictions to (η, ηt) satisfy the required non-equality condition.

8

4

Centralizers

Throughout this section and the next we assume that (G, Ω) is an ample transitive
ℓ-permutation group, and we write T , K for its root system and spine. We assume
in addition in this section that K has no minimal element.
For each ∆ ∈ T and h ∈ Q∆ , let
[
Xh := {[h−1 , hg ] | g ∈ G} and Wh = {Xhg | g ∈ G, [Xh , Xhg ] 6= 1}.

Since (rst(∆))g = rst(∆g) commutes with rst(∆) for g ∈
/ st(∆) we have
Xh ⊆ rst(∆)

and Wh ⊆ rst(∆).

In the proof of the main result of this section, Corollary 4.4, we will use the
following observation.
Remark 4.1. Let (Λ, 6) be a totally ordered set and S be a finite set of pairwise
disjoint convex subsets of Λ. If f ∈ Aut(Λ, 6) and Sf = S, then Sf = S for all
S ∈ S.
Lemma 4.2. Let ∆ ∈ T and h ∈ Q∆ .
(a) Let ∆′ ∈ T with ∆′ ⊂ ∆ and ∆′ h 6= ∆′ , and let g ∈ rst(∆′ ) with g 6= 1.
(i) Then [h−1 , hg ] 6= 1. In particular, Xh 6= 1.
(ii) If f ∈ G and [[h−1 , hg ], f ] = 1, then ∆′ f = ∆′ . In particular, if
f ∈ CG (Xh ) then ∆′ f = ∆′ .
(b) If β ∈ supp(h) and f ∈ G, then either βf = β or [[h−1 , hg ], f ] 6= 1 for some
g ∈ rst(∆).
−1

Proof. (a) The elements gh , g, gh have disjoint supports contained in ∆′ h−1 , ∆′
−1
and ∆′ h respectively, and so the restrictions of [h−1 , hg ] = g −h gg −h g to these
three sets are conjugates of g−1 and g2 and are non-trivial. Assertion (i) follows. An arbitrary conjugate [h−1 , hg ]f has non-trivial restrictions to the distinct o-blocks ∆′ h−1 f, ∆′ f and ∆′ hf , and so if the hypothesis of (ii) holds then
{∆′ h−1 , ∆′ , ∆′ h}f = {∆′ h−1 , ∆′ , ∆′ h}. Thus f must map each of ∆′ h−1 , ∆′ , ∆′ h
to itself, by Remark 4.1.
(b) Suppose that βf 6= β. By Remark 2.1, one of the convex congruences
V (β, βh), V (β, βf ) contains the other. Let ∆′ ∈ T be a non-singleton o-block that
is strictly contained in the o-block containing β for each of these congruences.
Then ∆′ ⊂ ∆ and ∆′ f 6= ∆′ . Choose g ∈ Q∆′ ; then g ∈ rst(∆′ ) and from (a)(ii)
we have [[h−1 , hg ], f ] 6= 1.

9

Lemma 4.3. Let ∆ ∈ T and h ∈ Q∆ .
(a) CG (Xh ) contains the pointwise stabilizer of ∆ and is contained in the pointwise stabilizer of supp(h).
(b)
Wh =

[
{Xhg | g ∈ st(∆)}.

(c) CG (Wh ) is the pointwise stabilizer of ∆.

Proof. (a) The first inequality holds since Xh moves only points in ∆.
Let f ∈ CG (Xh ). Since Xh ⊆ rst(∆) we have Xh = Xhf ⊆ rst(∆)∩rst(∆f ), and
since {∆g | g ∈ G} partitions Ω and Xh 6= 1 we have ∆f = ∆. Thus f ∈ st(∆).
Let β ∈ supp(h). Then βf = β by Lemma 4.2(b) since f ∈ CG (Xh ).
(b) Let g ∈ G. If ∆g 6= ∆, then rst(∆) ∩ rst(∆g) = 1 and the elements of Xh
and Xhg have disjoint support. Thus [Xh , Xhg ] = 1. Hence
[
Wh = {Xhg | g ∈ st(∆), [Xh , Xhg ] 6= 1}.

Now let g ∈ st(∆) and k = hg . So k ∈ Q∆ .
First suppose that there is some Γ ∈ π(∆) with Γh 6= Γ and Γk 6= Γ. Choose
β ∈ Γ with V (β, βh) = κ(∆). Let ∆′ ∈ T with β ∈ ∆′ ⊂ Γ. There is an element
y ∈ Q∆′ with βy 6= β. Choose ∆′′ ∈ T with β ∈ ∆′′ ⊂ ∆′ and ∆′′ 6= ∆′′ y. Choose
−1
x ∈ Q∆′′ with β ∈ supp(x). Then a := [k−1 , kx ] = x−k xx−k x 6= 1 since ∆′′ k is
disjoint from ∆′′ . Now supp(a) ⊆ ∆′′ k−1 ∪ ∆′′ ∪ ∆′′ k and ∆′′ y ∩ ∆′′ = ∅. Since
−1
y h , y, y h have disjoint supports it follows that [h−1 , hy ] cannot commute with a.
Thus [a, [h−1 , hy ]] 6= 1. But [h−1 , hy ] ∈ Xh and a ∈ Xk . Hence [Xh , Xk ] 6= 1 and
Xk ⊆ Wh .
Now suppose instead that Γk = Γ or Γh = Γ for all Γ ∈ π(∆). Then (G(∆), ∆)
must be of type (II) or (III), and Lemma 3.1 or Lemma 3.2 gives elements of Xh
and Xk whose images in the group (G∆ , π(∆)) fail to commute. Again we conclude
that Xk ⊆ Wh .
(c) The pointwise stabilizer of ∆ lies in CG (Wh ) since Wh ⊆ rst(∆).
Let δ ∈ ∆ and α ∈ supp(h). Choose g ∈ rst(∆) with αg = δ. So δ ∈ supp(hg ).
By (a), CG (Xhg ) stabilizes supp(hg ) pointwise and so fixes δ. Since CG (Wh ) ⊆
CG (Xhg ) by (b), we conclude that CG (Wh ) fixes δ. The assertion follows.
Write C2G as shorthand for CG CG . By Lemma 4.3(c), we have
Corollary 4.4. Let ∆ ∈ T . Then C2G (Wh ) = rst(∆) for each h ∈ Q∆ . In
particular, C2G (Wh ) is independent of the choice of h ∈ Q∆ :
C2G (Wh ) = C2G (Wh′ )

10

for all h, h′ ∈ Q∆ .

Proof. By Lemma 4.3(c) we have rst(∆) ⊆ C2G (Wh ). Let g ∈ C2G (Wh ) and g0 :=
dep(g, ∆) ∈ rst(∆) ⊆ C2G (Wh ). Thus f := gg0−1 ∈ C2G (Wh ). If f 6= 1, let α ∈
supp(f ) and ∆′ ∈ T be an o-block of V (α, αf ) with α ∈ ∆′ . Let ∆′′ ⊂ ∆′ with
α ∈ ∆′′ and ∆′′ f 6= ∆′′ . But any y ∈ Q∆′′ belongs to CG (Wh ) by Lemma 4.3(c),
yet [y, f ] 6= 1, a contradiction. Hence f = 1 and g = g0 ∈ rst(∆).
Remark 4.5. Qg∆ = Q∆g and rst(∆)g = rst(∆g) for all ∆ ∈ T . Thus, to within
conjugacy, C2G (Wh ) depends only on κ(∆) and not on the particular o-block of
κ(∆).
In Section 7, we use Corollary 4.4 and Remark 4.5 to derive information about
the first-order theory of the o-primitive ℓ-permutation groups (Gκ(∆) , Ωκ(∆) ) from
the first-order theory of the ℓ-group G (under appropriate added hypotheses).
We can detect the hypothesis of this section that T has no no minimal elements
using the subgroups C2G (Wh ):
Corollary 4.6. For every ∆ ∈ T and h ∈ Q∆ , there is h′ ∈ rst(∆) with 1 6=
C2G (Wh′ ) ⊂ C2G (Wh ).
Now let ∆, ∆′ ∈ T with ∆′ ⊃ ∆. Let h∆ ∈ Q∆ . There is h∆′ ∈ Q∆′ such
that ∆ ⊂ supp(h∆′ ). So h∆ ∈ rst(∆) = C2G (Wh∆ ) and h∆′ 6∈ rst(∆) = C2G (Wh∆ ).
Conversely, if rst(∆) ⊂ rst(∆′ ) for some ∆′ ∈ T , then κ(∆) < κ(∆′ ). Thus we can
detect the partial order on T (and hence the total order on K).
Corollary 4.7. Let ∆, ∆′ ∈ T and h ∈ Q∆ , h′ ∈ Q∆′ . Then κ(∆) < κ(∆′ ) if and
only if C2G (Whg ) ⊂ C2G (Wh′ ) for some g ∈ G.

5

A minimal modification

Results like those in the previous section also hold for certain ample ℓ-permutation
groups (G, Ω) for which T has minimal elements. We shall assume
(†) if T has a minimal element ∆ then for each bounded interval Λ ⊆ ∆ the group
G has a non-trivial element g with supp(g) ⊆ Λ.
This hypothesis will be assumed for the remainder of the article. Hence if there
is a minimal o-primitive component it is necessarily of type (II) and o-2 transitive.
Remark 5.1. Let g be as in Hypotheisis (†). Then either g ∨ 1 or g−1 ∨ 1 is a
non-trivial element g ′ of G+ with supp(g′ ) ⊆ Λ.
The results in the previous section can all be recovered subject to Hypothesis
(†). This follows from the following observation.

11

Remark 5.2. Let (H, Λ) be an o-2 transitive ℓ-permutation group, and let σ1 , σ2 ∈
Λ and h ∈ H+ with supp(h) ⊆ (σ1 , σ2 ). Let λ < α1 < β < γ < α2 < λh < βh. By
o-4 transitivity, there is g ∈ H with σi g = αi for i = 1, 2, βg = β and βhg = γ.
Let f = hg . Then f ∈ G+ , supp(f ) ⊆ (α1 , α2 ) and βf = γ.
We sketch the easy extensions of the results of Section 4 for the sake of completeness.
Lemma 5.3. Let ∆ ∈ T and 1 < h ∈ Q∆ .
(a Let g ∈ rst(∆)+ and suppose that supp(g) ⊆ (α, αh) for some α ∈ supp(h).
(i) [h−1 , hg ] 6= 1; in particular Xh 6= 1.
i

i

(ii) If f ∈ G and [[h−1 , hg ], f ] = 1, then supp(g h )f = supp(gh ) for i =
0, ±1.
(b) If β ∈ supp(h) and f ∈ G, then either βf = β or [[h−1 , hg ], f ] 6= 1 for some
g ∈ rst(∆)+ .
−1

Proof. (a) (i) The restriction of c := [h−1 , hg ] = g −h gg −h g to (α, αh) is g2 > 1.
i
(ii) For i = 0, ±1 we have supp(gh ) ⊆ (αhi , αhi+1 ). These intervals are pair−1
wise disjoint and c is positive only on supp(g) which lies strictly between supp(g h )
i
i
and supp(g h ). By Remark 4.1, if [c, f ] = 1 then supp(g h )f = supp(gh ) for
i = 0, ±1.
(b) Suppose that βf 6= β for some β ∈ supp(h). There is g ∈ rst(∆)+ having
support Λ containing β but disjoint from Λf and Λh. This contradicts (a) (ii).
Lemma 5.4. Let ∆ ∈ T and h ∈ Q∆ .
(a) CG (Xh ) contains the pointwise stabilizer of ∆ and is contained in the pointwise stabilizer of supp(h).
(b)
Wh =

[
{Xhg | g ∈ st(∆)}.

(c) CG (Wh ) is the pointwise stabilizer of ∆.

Proof. The proofs of (a) and (c) are identical to those of Lemma 4.3. The same
is true for (b) if there are ∆′′ , ∆′ ∈ T with ∆′′ ⊂ ∆′ ⊂ ∆. So assume that ∆ is
minimal in T or covers a minimal element of T . First assume that ∆ is minimal
in T .
Let g ∈ G. If ∆g 6= ∆, then rst(∆) ∩ rst(∆g) = 1 and the elements of Xh and
Xhg have disjoint support. Thus [Xh , Xhg ] = 1. Hence
[
Wh = {Xhg | g ∈ st(∆), [Xh , Xhg ] 6= 1}.

12

Now let g ∈ st(∆) and k = hg . So k ∈ Q∆ .
First suppose that there is some δ ∈ ∆ with δ ∈ supp(h)∩supp(k). Since (G, Ω)
satisfies (†), there is y ∈ rst(∆)+ with δ ∈ supp(y) ⊆ (δ, min{δh, δk}). We can
find x ∈ G+ and β ∈ supp(h) with β ∈ supp(x) ⊆ (δ, δy). Then a := [k−1 , kx ] =
−1
−1
x−k xx−k x 6= 1 since xk , x, xk have disjoint supports. Write b := [h−1 , hy ].
−1
Since y h , y, y h have disjoint supports it follows that [a, b] 6= 1 since βab = β does
not equal βx2 = βa. But a ∈ Xk and b ∈ Xh . Hence [Xh , Xk ] 6= 1 and Xk ⊆ Wh .
Now suppose that each element of ∆ is fixed by h or k. Since the minimal
o-primitive component is of type (II), Lemma 3.1 applies and provides elements of
Xh and Xk whose images in the minimal o-primitive component fail to commute.
This completes the proof of (b) in the case when ∆ is minimal in T . An easy
adaptation gives the proof in the case when ∆ covers a minimal element of T .
Hence the lemma is proved.
The conclusions of Corollaries 4.4 and 4.7 and Remark 4.5 all follow easily
using Lemma 5.4 when (G, Ω) satisfies (†). So does the conclusion of Corollary 4.6
if ∆ is not minimal in T . We illustrate with one proof.
Corollary 5.5. For every ∆ ∈ T and h ∈ Q∆ , C2G (Wh ) = rst(∆). Thus if β ∈ ∆
and h′ ∈ rst(∆) with V (β, βh′ ) = κ(∆), then
C2G (Wh ) = C2G (Wh′ ).
In particular,
C2G (Wh ) = C2G (Wh′ )

for all h, h′ ∈ Q∆ .

Proof. By Lemma 5.4(c) we have rst(∆) ⊆ C2G (Wh ). Let g ∈ C2G (Wh ) and g0 :=
2 (W ). Thus f := gg −1 ∈ C2 (W ). If f 6= 1, let α ∈
dep(g, ∆) ∈ rst(∆) ⊆ CG
h
h
0
G
supp(f ) and ∆′ ∈ T be a minimal o-block with α ∈ ∆′ . Let y ∈ rst(∆′ ) have
support that is contained in (α, αf ). Then y ∈ CG (Wh ) by Lemma 5.4(c), yet
[y, f ] 6= 1, a contradiction. Hence f = 1 and any element of C2G (Wh ) must be
contained in rst(∆).
We can recognise whether an ample transitive ℓ-permutation group (G, Ω) has
a minimal o-primitive component of type (I).
Lemma 5.6. Let (G, Ω) be an ample transitive ℓ-permutation group. Then (G, Ω)
has a minimal o-primitive component of type (I) if and only if there is h1 ∈ G+
such that [a, b] = 1 for all a, b ∈ G with |a| ∨ |b| 6 h1 . In this case, if ∆ is a
minimal o-block of (G, Ω) and h1 ∈ Q∆ , then x ∈ rst(∆) if and only if there is
h ∈ Q∆ with h > h1 such that (|x| 6 h) & (∀y)(|y| 6 h −→ [x, y] = 1).

13

Proof. If (G, Ω) has a minimal o-primitive component of type (I), the condition
clearly holds when h1 ∈ rst(∆)+ and ∆ ∈ T is minimal. Conversely, if such an
element h1 ∈ G+ exists, then (G, Ω) has no minimal o-primitive component that is
either o-2 transitive or periodic but must have a minimal o-primitive component.
The rest of the lemma is clear.

6

Interpretability of K and T

We shall now express our previous results in the first-order language of latticeordered groups. The terms of the language are formed using the group and lattice
operations ·,−1 , ∨, ∧. Formulae are obtained by taking conjunctions and disjunctions of equalities between terms and their negations, and quantifying over some
subset of the variables appearing. To avoid confusion with the lattice operations,
we write ‘&’ for conjunctions and ‘or’ for disjunctions.
We need to be able to detect in this language the elements of the subgroups
rst(∆) and subsets Q∆ . To handle the subsets Q∆ we need to introduce another
hypothesis.
We call g ∈ G+ irreducible if it satisfies the formula B(g) given by
g > 1 & (∀g1 , g2 )((g1 ∨ g2 = g & g1 ∧ g2 = 1) −→ (g1 = 1 or g2 = 1)).
If g1 ∨ g2 = g and g1 ∧ g2 = 1 then the open set supp(g) is the union of the disjoint
open sets supp(g1 ) and supp(g2 ). Therefore B(g) certainly holds if g has a single
interval of support, that is, if g is a bump.
We note that if G is abundant and g is an irreducible element of st(∆)+ , then
g ∈ rst(∆), because g1 ∨ gg1−1 = g and g1 ∧ gg1−1 = 1 where g1 = dep(g, ∆).
Moreover, every irreducible element lies in Q∆ for some ∆ ∈ T .
Let (G, Ω) be a transitive abundant ℓ-permutation group that satisfies (†).
Consider the following hypothesis:
(††) each o-2 transitive component has irreducible elements.
For an example of an o-2 transitive ℓ-permutation group where (††) fails, see
[4].
Lemma 6.1. Let (G, Ω) be a transitive abundant ℓ-permutation group that satisfies
(†). Then (G, Ω) satisfies (††) if and only if for each ∆ ∈ T there are irreducible
elements in Q∆ .
Proof. If ∆ ∈ T and (G(∆), π(∆)) is of type (I), then every element of G(∆)+
has π(∆) as a supporting interval and so is irreducible, whereas if (G(∆), π(∆))

14

is of type (III) then, as noted in Section 2 there are elements g ∈ G(∆)+ that
have π(∆) as a supporting interval and so are irreducible. Since (G, Ω) satisfies
Hypothesis (††), the group (G(∆), π(∆) has irreducible elements if it has type (II).
It follows that for each ∆ ∈ T there are irreducible elements h ∈ Q∆ .
Let g be irreducible and δ ∈ supp(g). Let ∆ be the o-block of V (δ, δg) containing δ. Then ∆ = ∆g and so supp(g) ⊆ ∆. By irreducibility we have g ∈ Q∆ .
The converse holds a fortiori.
We will use the following formulae (cf. [11, Section 4]):
ϕ(h, x) :

B(h) & (∃y)(x = [h−1 , hy ]);

ψ(h, x) :

(∃t∃y1 ∃y2 )(ϕ(h, y1 ) & ϕ(ht , y2 ) & ϕ(ht , x) & [y1 , y2 ] 6= 1);

γ 1 (h, x) :

(∀y)(ψ(h, y) → [x, y] = 1);

γ(h, x) :

(∀y)(γ 1 (h, y) → [x, y] = 1),

η(h1 , h2 ) :

B(h1 ) & B(h2 ) & (C2G (Wh1 ) ⊆ C2G (Wh2 )).

Of course, the statement C2G (Wh1 ) ⊆ C2G (Wh2 ) is shorthand for (∀x)(γ(h1 , x) →
γ(h2 , x)). By Corollary 4.7, if hi ∈ Q∆i (i = 1, 2) then η(h1 , h2 ) expresses in our
language that ∆1 6 ∆2 in the partially ordered set T .
Remark 6.1. Let (G, Ω) be an abundant transitive ℓ-permutation group satisfying
(†). If B(h) holds, then C2G (Wh ) = {x | γ(h, x)} = rst(∆). By Lemma 6.1,
(††)

is equivalent to

G |= (∀g)(∃h)γ(h, g).

For the rest of this section (G, Ω) is a transitive abundant ℓ-permutation group
that satisfies (†) and (††).
We can now give interpretations of T and K in G.
Theorem 6.2. Write B for the definable subset {h | B(h)} of G and BT the
quotient of B modulo the equivalence relation defined by the formula
η(h1 , h2 ) & η(h2 , h1 ).
Then BT has the definable structure of a partially ordered set and there is a definable G-equivariant bijection of partially ordered sets from T to BT .

15

Proof. If h ∈ B holds, then h ∈ Q∆ for a unique ∆ ∈ T from Lemma 6.1. By
Corollaries 4.4 and 5.5 we have
Xh = {x | ϕ(h, x)},

Wh = {x | ψ(h, x)}, and C2G (Wh ) = {x | γ(h, x)} = rst(∆).

Therefore the map {h | B(h)} → T determined by h 7→ C2G (Wh ) and the inverse of
the bijection ∆ 7→ rst(∆) yields a bijection B → T . Two irreducible elements h1 , h2
of B have the same image ∆ if and only if both h1 , h2 ∈ rst(∆) and C2G (Wh1 ) =
C2G (Wh2 ); that is, if and only if the definable relation η(h1 , h2 ) & η(h2 , h1 ) holds.
Therefore the quotient of B modulo this relation provides an interpretation of the
set T in G. This also gives an interpretation of the order on T , since for ∆1 , ∆2 ∈ T
with hi ∈ Q∆i we have ∆1 ⊆ ∆2 if and only if C2G (h1 ) ⊆ C2G (h2 ), or, in first-order
words, if and only if η(h1 , h2 ) holds. The correspondence is G-invariant since
C2G (Whg ) = C2G (Wh )g for all h ∈ B, g ∈ G.
Now we interpret K. This is in bijective order-preserving correspondence with
T modulo the relation ∼ that ∆1 ∼ ∆2 if and only if ∆2 = ∆1 g for some g ∈ G.
Thus K is interpreted as B modulo the definable equivalence relation
h1 ∼ h2 : (∃g) (η(hg1 , h2 ) & η(h2 , hg1 )).
We note some further consequences.
Corollary 6.2. If the first-order theory of G is decidable, then so is the first-order
theory of K.
Corollary 6.3. Let H be an arbitrary ℓ-permutation group. Then in all faithful
representations of H that are transitive, abundant, and satisfy (†) and (††), the
spine and root system are uniquely determined.
Corollary 6.4. Let (H, Λ) be an abundant transitive ℓ-permutation group that
satisfies (†). If G and H are elementarily equivalent as lattice-ordered groups,
then (H, Λ) satisfies (††) and KG and KH are elementarily equivalent as totally
ordered sets.
We define χ(h1 , h2 ) to be the conjunction of the formulae
h1 < h2 ,

η(h1 , h2 ),

¬η(h2 , h1 ),

(∃x 6= 1)γ(h1 , x)

and
(∀h∗ )([η(h1 , h∗ ) & ¬η(h∗ , h1 )] −→ η(h2 , h∗ )).
Clearly, if ∆1 , ∆2 ∈ T with hi ∈ Q∆i (i = 1, 2), then
χ(h1 , h2 ) if and only if

∆1 is covered by ∆2 .

(6.1)

Thus the first-order theory of G allows us to determine if an element of K has
a predecessor or a successor, if there is a dense subset of the total order on K, or
if U ∈ K, the last since U ∈ K if and only if (∃h0 )(∀x)γ(h0 , x).

16

Corollary 6.5. (A) Ω ∈ T if and only if there is h0 ∈ G with B(h0 ) such that
C2G (Wh0 ) = G.
(B) Every element of K has a sucessor if and only if for every irreducible h ∈ G+
with C2G (Wh ) 6= G, there is an irreducible h′ > h such that χ(h, h′ ).
(C) Every element of K has a predecessor if and only if for every irreducible
h ∈ G+ there is an irreducible h′ ∈ G+ with χ(h′ , h).
Remark 6.6. If K ∈ K has a predecessor in K, let ∆ ∈ T be an o-block of
K. Let Γ ∈ π(∆); so Γ = C2G (Wh ) for some h ∈ G with B(h). Then π(∆) =
{C2G (Whg ) | χ(h, g)}. This set and its order are interpretable in our language
since if f, g ∈ G are such that χ(h, f ) and χ(h, g), then C2G (Whf ) = C2G (Whg )
if and only if f g−1 ∈ C2G (Wh ) and C2G (Whf ) < C2G (Whg ) in π(∆) if and only if
f g−1 ∨ 1 ∈ C2G (Wh ) but f g −1 6∈ C2G (Wh ). Thus the first-order theory of the totally
ordered set ΩK can be determined in our language for ℓ-groups if K ∈ K has a
predecessor in K.

7

Interpreting o-primitive sentences

To motivate a definition, we prove a result in a special case.
Lemma 7.1. Let (G, Ω) be a transitive ℓ-permutation group, ∆ ∈ T and Γ ∈ π(∆).
If g ∈ rst(Γ) is irreducible, then there is ∆′ ∈ T with ∆′ ⊆ Γ such that g ∈ rst(∆′ ).
Proof. LetS C be the convex congruence having Γ as an o-block. By Proposition
2.2, C = {K ′ ∈ K | K ′ < K}. Let g ∈ rst(Γ) and γ ∈ supp(g). Then K ′ :=
V (γ, γg) ∈ K and ∆′ , the K ′ o-block containing γ, is a subset of Γ ⊂ ∆. Hence
K ′ < K. But g ∈ rst(∆′ ) since g is irreducible. The lemma follows.
We would like to extend the lemma to all elements of rst(Γ). We say that a
transitive ℓ-permutation group (G, Ω) is controlled if for every non-minimal ∆ ∈ T
and g ∈ rst(∆), either V (δ, δg) = κ(∆) for some δ ∈ ∆ ∩ supp(g) or there is
∆(g) ∈ T such that supp(g) ⊆ ∆(g) ⊂ ∆. So (G, Ω) is controlled if and only if
[
rst(Γ) = {rst(∆′ ) | ∆′ ∈ T, ∆′ ⊆ Γ}

for all ∆ ∈ T and Γ ∈ π(∆) (cf. Lemma 7.1).

Remark 7.2. Let (G, Ω) be an abundant transitive ℓ-permutation group with
every non-minimal element of K having a predecessor. Then (G, Ω) is controlled
since Γ itself is a covering o-block and Remark 6.6 applies.

17

Remark 7.3. If (Aut(Ω, 6), 6) is transitive and controlled, then every nonminimal element of K has a predecessor. For if K ∈ K has no predecessor, let
{Kν | ν < κ} be a strictly S
increasing sequence in K indexed by the ordinals less
than κ, say, with π(K) = ν<κ Kν . If ∆ is an o-block of K and Γ ∈ π(∆), let
∆0 ⊂ Γ be an o-blockSof K0 and for ν > 0, let ∆ν ⊂ Γ be an o-block of Kν
with ∆ν disjoint from ν ′ <ν ∆ν ′ . Let hν ∈ Q∆ν (ν < κ) and h S
∈ Aut(Ω, 6) be
defined by its
restriction
to
∆
is
h
and
is
the
identity
on
Ω
\
ν
ν
ν<κ ∆ν . Then
S
′
′
′
h ∈ rst(Γ) \ {rst(∆ ) | ∆ ∈ T, ∆ ⊆ Γ}.
Let µ(h, g) is the first-order formula for C2G (Wh ) = C2G (Wg ) and ϑ(h′ , h) be
the formula η(h′ , h) & ¬η(h, h′ ). From the definition, we immediately obtain

Corollary 7.4.

(i) (G, Ω) is controlled if and only if

G |= (∀g)(∀h)(γ(h, g) −→ (µ(h, g) or (∃h′ )(ϑ(h′ , h) & γ(h′ , g))).
(ii) Let (G, Ω) be a controlled ℓ-permutation group, ∆ ∈ T be non-minimal and
Γ ∈ π(∆). If h ∈ Q∆ , then g ∈ rst(Γ) if and only if
G |= (∃h′ )(ϑ(h, h′ ) & γ(h′ , g)).
Let h ∈ Q∆ be irreducible and x̄ = {x1 , . . . , xn } be a finite set of variables.
First replace u(x̄) = v(x̄) by u(x̄)v(x̄)−1 = 1 and u(x̄) 6= v(x̄) by u(x̄)v(x̄)−1 6= 1.
Next replace
t(x̄) = 1 by (∃h′ )(ϑ(h′ , h) & γ(h′ , t(x̄))),
and
t(x̄) 6= 1 by

(∀h′ )(ϑ(h′ , h) −→ ¬γ(h′ , t(x̄))).

For any formula ρ(x̄) free in x̄, let ρ∗h (x̄) be the result of replacing each basic
subformula of ρ as above. For a formula
σ(x1 , . . . , xj−1 , xj+1 , . . . , xn ) :≡ ∃xj ρ(x̄),
let
∗
σj,h
(x1 , . . . , xj−1 , xj+1 , . . . , xn ) :≡ ∃xj (γ(h, xj ) & ρ∗h (x̄)),

and for σ(x1 , . . . , xj−1 , xj+1 , . . . , xn ) :≡ ∀xj ρ(x̄), let
∗
(x1 , . . . , xj−1 , xj+1 , . . . , xn ) :≡ ∀xj (γ(h, xj ) → ρ∗h (x̄)).
σj,h

For example, if α ∈ Ω and h ∈ Q∆ with κ(∆) = V (α, αh), then we can express
that G(∆) is abelian by modifying the sentence σ :≡ (∀f, g)[f, g] = 1. In this case,
σh∗ is the sentence
(∀f, g)([γ(h, f ) & γ(h, g)] → (∃h′ )(ϑ(h′ , h) & γ(h′ , [f, g])),

18

and G(∆) |= σ if and only if G |= σh∗ .
By the lemmata and corollaries from Sections 2, 4, 5 and the above, we obtain
the following result.
Proposition 7.5. Let (G, Ω) be an abundant transitive ℓ-permutation group that
satisfies (†) and (††) and is controlled. Then for any h ∈ Q∆ with B(h) and
sentence σ of the language,
G(∆) |= σ

if and only if

G |= σh∗ .

By Corollary 7.4(i) and Remark 6.1, if (G, Ω) is controlled then so is any
abundant transitive ℓ-permutation group (H, Λ) satisfying (†) and (††) with H ≡
G. Hence
Corollary 7.6. Let (G, Ω) and (H, Λ) be abundant transitive ℓ-permutation groups
that satisfy (†) with (G, Ω) satisfying (††) and H ≡ G. If (G, Ω) is controlled, then
so is (H, Λ) and every sentence that holds in some o-primitive component of (G, Ω)
also holds in some o-primitive component of (H, Λ). Indeed, if (G(∆i ), π(∆i ))
are o-primitive components of (G, Ω) with ∆1 6 · · · 6 ∆r and G(∆i ) |= σi for
i = 1, . . . , r, then there are o-primitive components (H(∆′i ), π(∆′i )) of (H, Λ) with
∆′1 6 · · · 6 ∆′r and H(∆′i ) |= σi for i = 1, . . . , r.
We write Σ for the (countable) set of sentences of the first-order language of
ℓ-groups.
Definition 7.1. A coloured chain is a totally ordered set (C, 6) together with a
countable set {Pi | i ∈ I} of unary predicates called colours , such that for all
c ∈ C the set {i | Pi (c)} is non-empty. One says that c has colour i if Pi (c) holds.
(Elements of C are allowed to have more than one colour.)
The coloured chain CG associated with an ℓ-permutation group (G, Ω) is the
totally ordered set KG together with the set {Pσ | σ ∈ Σ}, such that Pσ (K) if and
only if GK |= σ (for K ∈ K, σ ∈ Σ).
We note that if ρ, τ ∈ Σ and F |= ρ −→ τ for every ℓ-group F , then Pρ (c) −→
Pτ (c) is an axiom for the theory of coloured chains of ell-groups.
Proof of Theorem A. By Remark 6.1, to complete the proof of Theorem A, we
only need to prove the assertion about CG ≡ CH . This follows immediately because
(H, Λ) is controlled by Corollary 7.4(i) and if h ∈ Q∆ is irreducible where ∆ ∈ T is
an o-block of K, then CG |= Pσ (K) if and only if G |= σh∗ by Proposition 7.5.
Corollary 7.7. Let (G, Ω) and (H, Λ) be abundant transitive ℓ-permutation groups
that satisfy (†) with (G, Ω) satisfying (††) and H ≡ G. If (G, Ω) is controlled and
all o-primitive components G(∆) are elementarily equivalent, then the same is true
of all o-primitive components of H; all are elementarily equivalent to G(∆).

19

Proof. This follows at once since
CG |= (∀K1 , K2 )(Pσ (K1 ) ←→ Pσ (K2 ))
for all σ ∈ Σ, and all K1 , K2 can be obtained through all irreducible h1 , h2 .
Since an o-primitive component is of type (I) if and only if it is abelian, and
since non-dense subgroups of R are cyclic, we deduce
Corollary 7.8. Let (G, Ω) and (H, Λ) be abundant transitive ℓ-permutation groups
that satisfy (†) and (††) with H ≡ G. Suppose that (G, Ω) is controlled. If all
o-primitive components of (G, Ω) are abelian then so are those of (H, Λ); if all
o-primitive components of (G, Ω) are cyclic then so are those of (H, Λ).
Corollary 7.9. Let (G, Ω) and (H, Λ) be abundant transitive ℓ-permutation groups
that satisfy (†) and (††) and H ≡ G. If KG is finite with r elements K1 < · · · < Kr ,
then KH is finite with r elements K1′ < · · · < Kr′ , and GKi ≡ HKi′ for each i.
By an easy extension of Lemma 5.6 to soluble groups of fixed derived length,
we can determine whether K is finite and each o-primitive component is abelian
whether or not (†) holds.
Corollary 7.10. Let (G, Ω) and (H, Λ) be abundant transitive ℓ-permutation groups
with every o-primitive component of (G, Ω) abelian. If KG is finite with r elements
K1 < · · · < Kr and H ≡ G, then KH is finite with r elements K1′ < · · · < Kr′ , and
GKi ≡ HKi′ for each i.
Suppose that (G, Ω) is a transitive abundant ℓ-permutation group that is controlled and does not have a minimal abelian o-primitive component. If KG = {Kn |
n ∈ Z− } where Kn > Kn−1 for all n ∈ Z− , we can determine whether U ∈ KG and
determine the ‘level’ of an o-primitive component of (G, Ω):
Corollary 7.11. Let (G, Ω) and (H, Λ) be transitive abundant ℓ-permutation groups
that satisfy (†) and (††). If KG = {Kn | n ∈ Z− } where Kn > Kn−1 for all n ∈ Z−
and G ≡ H, then KH = {Kn′ | n ∈ Z− } ∪ K′ for some totally ordered set K′ with
′
> K ′ for all n ∈ Z− and K ′ ∈ K′ and GKn ≡ HKn′ for all n ∈ Z− . In
Kn′ > Kn−1
particular, if K′ = ∅, the first-order theory of the o-primitive component of (H, Λ)
at level n is equal to that of (G, Ω) at level n for each n ∈ Z.
Finally, we show that the converse of Theorem A is false.
Example 7.12. Consider the ℓ-permutation groups G := Wr {(Z, Z) | Z} and
H := wr {(Z, Z) | Z}. They are both abundant and transitive. They have the
same spines K = Z of convex congruences every element of which has a predecessor.

20

Hence G and H are controlled. They both satisfy (†) and (††), and have the same oprimitive components (and so the same associated coloured chain). Let K0 ∈ K. By
taking an element g ∈ G that is translation by 1 on every K0 -class and is 0 on every
non-K0 o-block, we see that G satisfies the sentence (∃g > 1)(∀h > 1)(g ∧ h > 1).
However H does not satisfy this sentence and so G 6≡ H.

8

Applications

First we illustrate the methods developed above with some applications to ℓ-groups
all of whose o-primitive components are abelian.
The structure of transitive abelian o-primitive ℓ-groups is fully understood.
Each such group A is an o-group and either isomorphic to (Z, Z) or dense in R and
determined by its set of Szmielew invariants {β(p, A) | p ∈ P }, where P is the set
of primes and β(p, A(K)) := min{dim(A/pA), ℵ0 } (see [9] or [10]). Using this fact,
we can list some consequences of our results for groups all of whose o-primitive
components of (G, Ω) are abelian.
Corollary 8.1. Let (G, Ω) be an abundant transitive ℓ-permutation group. If
(G, Ω) is controlled with each o-primitive component abelian and the spine has no
minimal element, then the same holds for any abundant transitive ℓ-permutation
group (H, Λ) with H ≡ G. Moreover, the ordered sets KG and KH satisfy the
same first-order sentences and the o-primitive actions are given by right regular
representations of subgroups of R. If in addition G has the property that each
o-primitive component is isomorphic to Z, then so does H.
The final assertion above holds by Corollary 7.8.
By Corollary 7.7 we have
Corollary 8.2. Let K be an arbitrary totally ordered set with no minimal element.
Suppose that A is a subgroup of R and AK := A for each K ∈ K. Let (W, Λ) be the
wreath product wr {(AK , AK ) | K ∈ K}. Assume that K′ is a totally ordered set
and that {(GK ′ , ΩK ′ ) | K ′ ∈ K′ } is a family of o-primitive ℓ-permutation groups.
Define (G, Ω) := wr {(GK ′ , ΩK ′ ) | K ′ ∈ K′ }. If G ≡ W , then GK ′ ≡ A for each
K ′ and K′ , K are elementarily equivalent as totally ordered sets.
When the hypotheses of the above corollary hold and additionally every element of K has a predecessor, then the corresponding result holds for Wreath
products by the same proof using Remark 7.2. This immediately implies Corollary 1.2.
Corollary 8.3. Let K and K′ be totally ordered index sets and {(ΩK , 6K ) | K ∈ K}
be a family of 2-homogeneous totally ordered sets. If wr{(Aut(ΩK , 6K ), ΩK ) |

21

K ∈ K} ≡ wr{(Aut(R, 6), R) | K ′ ∈ K′ }, then each (ΩK , 6K ) is order-isomorphic
to (R, 6) and K and K′ satisfy the same first-order sentences in the language of
ordered sets. The same conclusion holds with wr replaced by Wr if every element
of K′ has a predecessor.
All proper convex congruences belong to K if the root system T is a (pathconnected) tree in the traditional sense; that is, if between any two distinct
∆1 , ∆2 ∈ T , there is a unique finite path between ∆1 and ∆2 without loops.
In this case, K is order-isomorphic to Z+ , Z− , Z or a finite totally ordered set. By
Proposition 6.4, each of these possibilities can be distinguished by sets of sentences
in the first-order language of G if (G, Ω) satisfies (†) and (††).
Corollary 8.4. Let (G, Ω) and (H, Λ) be abundant transitive ℓ-permutation groups
that satisfy (†) and (††) with (G, Ω) controlled. Assume further that TG and TH
are path-connected trees. If G ≡ H, then the totally ordered sets KG and KH are
order-isomorphic and the corresponding o-primitive components of G and H are
elementarily equivalent.
Hence we obtain
Q
Corollary 8.5. Let (Ω, 6) be the totally ordered set −∞
n=−1 R ordered lexicographically. Let (Λ, 6) be a totally ordered set with Aut(Λ, 6) transitive. If
Aut(Λ, 6) ≡ Aut(Ω, 6), then KAut(Λ,6) ≡ Z− and every o-primitive component
Aut(Λ, 6) is (Aut(R, 6), R). If, additionally, TAut(Λ,6) is path-connected, then
KAut(Λ,6) is order-isomorphic to Z− .
Acknowledgment. This research was begun when the second author was the
Leibniz Professor at the University of Leipzig. Both authors are most grateful
to the Research Academy, Leipzig and the Leibniz Program of the University of
Leipzig for funding a visit by the first author that made this research possible.

References
[1] A. M. W. Glass, Ordered Permutation Groups, London Math. Soc. Lecture
Notes Series 55, Cambridge University Press, Cambridge, 1981.
[2] A. M. W. Glass, Partially Ordered Groups, Series in Algebra 7, World Scientific Pub. Co., Singapore, 1999.
[3] A. M. W. Glass, Y. Gurevich, W. C. Holland, M. Jambu-Giraudet, Elementary theory of automorphisms of doubly homogeneous chains, in Logic Year
1979-80, University of Connecticut, (ed. M. Lerman, J. H. Schmerl, R. I.
Soare), Springer Lecture Notes 859, Heidelberg, 1981, pp. 67–82.

22

[4] A. M. W. Glass, H. Dugald Macpherson, Permutation groups without irreducible elements, (submitted).
[5] Y. Gurevich, Expanded theory of ordered abelian groups, Annals Math. Logic
12 (1977), 193–228.
[6] Y. Gurevich, W. C. Holland, Recognizing the real line, Trans. American Math.
Soc. 265 (1981) 527–534.
[7] W. C. Holland, S. H. McCleary, Wreath products of ordered permutation
groups, Pacific J. Math. 31 (1969), 703–716.
[8] S. H. McCleary, o-primitive ordered permutation groups I, Pacific J. Math. 40
(1972), 349–372; o-primitive ordered permutation groups II, ibid 49 (1973),
431–443.
[9] A. Robinson, E. Zakon, Elementary properties of ordered abelian groups,
Trans. American Math. Soc. 96 (1960), 222–236.
[10] V. Weispfenning, Model theory of abelian groups, in Lattice-ordered Groups:
Advances and Techniques, (ed. A. M. W. Glass, W. C. Holland), Kluwer Acad.
Pub., Dordrecht, 1989, pp. 41–79.
[11] J. S. Wilson, The first-order theory of branch groups, J. Austral. Math. Soc.,
to appear.
A. M. W. Glass,
QUEENS’ COLLEGE, CAMBRIDGE CB3 9ET, U.K.
E-mail: amwg@dpmms.cam.ac.uk
John S. Wilson,
MATHEMATICAL INSTITUTE, ANDREW WILES BUILDING, WOODSTOCK
ROAD, OXFORD OX2 6GG, ENGLAND
E-mail: John.Wilson@maths.ox.ac.uk

23

