Recognizing the real line
A. M. W. Glass and John S. Wilson
Abstract
Let (Ω,⩽) be a totally ordered set. We prove that if Aut(Ω,⩽) is transitive and satisfies the same first-order sentences as Aut(R,⩽) (in the language of groups) then Ω and R are isomorphic ordered sets. This improvement of a theorem of Gurevich and Holland is obtained as a consequence of a study of centralizers associated with certain transitive subgroups of Aut(Ω,⩽).
††2010 AMS Classification: 20B07, 06F15, 03C60, 05C05.
Keywords: Transitive group, o-primitive, convex congruence, o-block, covering convex congruence.
1 Introduction
In 1981, Gurevich and Holland [4] proved the following result.
Theorem 1.1**.**
Suppose that (Ω,⩽) is a totally ordered set such that Aut(Ω,⩽) acts transitively on pairs (α,β) with α<β.
If Aut(Ω,⩽) and Aut(R,⩽) satisfy the same first-order sentences, then Ω is isomorphic to R as an ordered set.
Other results of a similar kind were obtained in [2]. Theorem 1.1 required first-order sentences in the language of ℓ-groups, which is richer than the language of groups, but a slight extension shows that in fact only sentences in the language of groups are needed (see [1, Theorem 2B*]):
Corollary 1.1**.**
Suppose that (Ω,⩽) is a totally ordered set such that Aut(Ω,⩽) acts transitively on pairs (α,β) with α<β.
If Aut(Ω,⩽) and Aut(R,⩽) satisfy the same first-order sentences in the language of groups, then Ω is isomorphic to R as an ordered set.
Here we establish the following improvement to Theorem 1.1.
Theorem A**.**
Suppose that (Ω,⩽) is a totally ordered set on which Aut(Ω,⩽) acts transitively,
and that Aut(Ω,⩽) and Aut(R,⩽) satisfy the same first-order sentences in the language of 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,⩽) is isomorphic to Aut(R,⩽).
Similar arguments allow us to strengthen other known results.
Theorem B**.**
Suppose that (Ω,⩽) is a totally ordered set on which Aut(Ω,⩽) acts transitively. If Aut(Ω,⩽) and Aut(Q,⩽) satisfy the same first-order sentences in the language of groups then Ω is isomorphic as an ordered set to Q or R∖Q.
The corresponding result with the stronger hypothesis that
Aut(Ω,⩽) acts o-2 transitively on Ω, i.e., transitively on pairs (α,β) with α<β, is a slight extension of a result of
Gurevich and Holland [4] (cf. [1, Theorem 2C*]).
The breakthrough in this work comes from employing a technique in [6]: we use double centralizers of certain subsets of groups of order-preserving automorphisms of totally ordered sets Ω to give first-order expressibility of certain convex subsets of Ω. The ideas have implications for a large family of subgroups of the groups Aut(Ω,⩽) (see [3]).
2 Preliminaries and a reduction
We write X⊂Y for X⊆Y and X=Y. Our notation for conjugates and commutators is in accordance with our use of right actions: we write gf for f−1gf and [f,g] for f−1g−1fg.
Automorphism groups Aut(Ω,⩽) of totally ordered sets (Ω,⩽) are closed under taking the pointwise maximum f∨g and pointwise minimum f∧g
of elements f,g defined, respectively, by
[TABLE]
An ℓ-permutation group (G,Ω) is a subgroup of Aut(Ω,⩽) closed under the binary operations ∨ and ∧.
Transitive ℓ-permutation groups are of particular interest, and all groups studied in this paper will be assumed to be transitive.
Let (G,Ω) be a transitive ℓ-permutation group. A G-congruence on the set Ω is an equivalence relation C on Ω such that (αg)C(βg) whenever αCβ and g∈G (α,β∈Ω). 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 κ(Δ).
Proposition 2.1**.**
([1, Theorem 3.A]) The set of convex congruences of a transitive ℓ-permutation group is totally ordered by inclusion.
If C and D are convex congruences with C⊂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.
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. Clearly, U(α,β) is covered by V(α,β). Let
[TABLE]
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:
[TABLE]
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 Δ as follows:
[TABLE]
where supp(g):={α∈Ω∣αg=α}.
So st(Δ) and rst(Δ) are convex sublattice subgroups of G and rst(Δ)⊆st(Δ).
Each g∈st(Δ) induces an automorphism gΔ of the ordered set π(Δ) given by
[TABLE]
Let
[TABLE]
Note that (G(Δ),π(Δ)) is transitive and o-primitive. Furthermore, if K∈K and Δ,Δ′ are both K-classes, then (G(Δ),π(Δ)) and
(G(Δ′),π(Δ′)) are isomorphic, an isomorphism being induced by conjugation by any f∈G with Δf=Δ′ since (Γf)(f−1gf)=(Γg)f for all g∈rst(Δ),Γ∈π(Δ).
It is customary to write (GK,ΩK) for any of these ℓ-permutation groups; they are independent of the o-block Δ of K to within ℓ-permutation isomorphism.
For each g∈G and each subset Λ of Ω that is a union of
convex g-invariant subsets of Ω, write
dep(g,Λ) for the element of Aut(Ω,⩽) that
agrees with
g on Λ and with the identity elsewhere.
We say that (G,Ω) is fully depressible if
dep(g,Λ)∈G for all g∈G and all such Λ⊆Ω.
In particular, if (G,Ω) is fully depressible, Δ∈T and
g∈st(Δ), then dep(g,Λ)∈rst(Δ)⊆G.
Moreover, the action of {gΔ∣g∈rst(Δ)} on
π(Δ) is equal to (G(Δ),π(Δ)) in this case for
every Δ∈T. Clearly Aut(Ω,⩽) itself is fully
depressible.
If G is transitive on all n-tuples (α1,…,αn)∈Ωn with α1<⋯<αn, we say that (G,Ω) is o-n transitive.
We shall need the following result (see [1, Lemma 1.10.1]):
Lemma 2.2**.**
Every o-2 transitive ℓ-permutation group (G,Ω) is o-n transitive for all integers n⩾2.
We also need an immediate consequence of McCleary’s Trichotomy [5]:
Proposition 2.3**.**
Let (G,Ω) be a transitive fully depressible ℓ-permutation group. Then (G,Ω) is o-primitive if and only if either
- (I)
(Ω,⩽)* is order-isomorphic to a subgroup of the reals and the action of G on Ω is the right regular representation**;** or*
2. (II)
(G,Ω)* is o-2 transitive**.***
Transitive o-primitive ℓ-permutation groups of type (II) are non-abelian.
For each h∈G, let
[TABLE]
The sets Xh, Wh are evidently definable in the first-order language of group theory.
For any subset S of G, we write CG2(S) as shorthand for CG(CG(S)), the double centralizer of S in G. If S is definable in G in the first-order language of group theory then so is CG2(S).
Proposition 2.4**.**
Let (G,Ω) be a transitive fully depressible ℓ-permutation group.
Then (G,Ω) is o-primitive if and only if CG2(Wg)=G for all g∈G∖{1}.
This result has the following immediate consequence.
Corollary 2.5**.**
If (G1,Ω1), (G2,Ω2) are transitive fully depressible l-groups that satisfy the same first-order sentences in the language of group theory,
and one of these groups is o-primitive, then so is the other.
We can now deduce Theorems A and B.
Let Λ=R or Λ=Q.
Then Aut(Λ,⩽) acts o-2-transitively on Λ and so it is o-primitive and non-abelian. Thus if (G,Ω) is a transitive fully depressible ℓ-permutation group satisfying the same first-order sentences (in the language of groups) as Aut(Λ,⩽), then (G,Ω) is non-abelian and G acts o-primitively on Ω by Proposition 2.4. Hence G acts o-2-transitively by Proposition 2.3. Theorems A and B now follow directly from
Corollary 1.1 and the result [1, Theorem 2C*] cited in the Introduction.
It remains now to prove Proposition 2.4. This will be an easy consequence of results in Sections 4 and 5.
3 A technical lemma
Lemma 3.1**.**
Let (G,Ω) be o-2 transitive and g,h∈G with supp(h)∩supp(hg)=∅ and h=1.
Then there are elements f,k∈G such that
[TABLE]
Proof.
Since supp(h)∩supp(hg)=∅, after interchanging h and hg if necessary,
we may assume that there are supporting intervals Δ1,Δ2:=Δ1g of h and hg, respectively, such that
δ1<δ2 for all δi∈Δi (i=1,2).
Without loss of generality, δ1h>δ1 for all δ1∈Δ1 (and so δ2hg>δ2 for all δ2∈Δ2).
Let γ,δ,λ,μ∈Δ2 with
[TABLE]
The six elements
[TABLE]
constitute a strictly increasing sequence in Δ1. Choose ξ−1,ξ0∈Δ1 with ξ−1<ξ0, and elements ξ1,ξ2∈Δ2 with
[TABLE]
Then the six elements
[TABLE]
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−1hgk=ξ−1hgk=ξ−1k=γ. This and other similar easy calculations show that
[TABLE]
Now choose α∈Δ1⊆supp(h) and β∈(αh−1,α), and choose
ζ1,…,ζ4∈supp(h) such that the eight elements
[TABLE]
form a strictly increasing sequence.
Since supp(h)<supp(hg), the eight elements
[TABLE]
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
[TABLE]
Let
[TABLE]
Further simple calculations show that
[TABLE]
Moreover,
[TABLE]
Hence
[TABLE]
∎
4 Centralizers: the non-minimal case
Throughout this section and the next, we assume that (G,Ω) is a fully depressible transitive ℓ-permutation group, and write T, K
for its root system and spine.
For each h∈G, define Xh, Wh as in Section 2.
For each Δ∈T, let
[TABLE]
As (G,Ω) is transitive and fully depressible, we have QΔ=∅.
Since (rst(Δ))g=rst(Δg) commutes with rst(Δ) for g∈/st(Δ), we also have
[TABLE]
We will use the following observation.
Remark 4.1**.**
Let (Λ,⩽) be a totally ordered set and S be a finite set of pairwise disjoint convex subsets of Λ. If f∈Aut(Λ,⩽) and Sf=S, then Sf=S for all S∈S.**
For the rest of this section we assume that K* has no minimal element*.
Lemma 4.2**.**
Let Δ∈T and h∈QΔ.
- (a)
Let Δ′∈T with Δ′⊂Δ and Δ′h=Δ′, and let g∈rst(Δ′) with g=1.
- (i)
Then [h−1,hg]=1. In particular, Xh=1.
2. (ii)
If f∈G and [[h−1,hg],f]=1, then Δ′f=Δ′. In particular,
if f∈CG(Xh) then Δ′f=Δ′.
2. (b)
If β∈supp(h) and f∈G, then either βf=β or
[[h−1,hg],f]=1 for some g∈rst(Δ).
Proof.
(a) The elements gh−1,g,gh have disjoint supports contained in Δ′h−1,Δ′ and Δ′h respectively, and so the restrictions of [h−1,hg]=g−h−1gg−hg 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−1f,Δ′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=β. By Proposition 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=Δ′.
Let g∈QΔ′; then g∈rst(Δ′) and from (a)(ii) we have [[h−1,hg],f]=1.
∎
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).*
2. (b)
[TABLE]
3. (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=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=Δ, then rst(Δ)∩rst(Δg)=1 and the elements of Xh and Xhg have disjoint support. Thus [Xh,Xhg]=1. Hence
[TABLE]
Now let g∈st(Δ) and k=hg. So k∈QΔ.
First suppose that there is some
Γ∈π(Δ) with Γh=Γ and
Γk=Γ.
Choose β∈Γ and Δ′∈T with β∈Δ′⊂Γ.
We claim that there is an element y∈QΔ′
with βy=β. Choose β′∈Δ′ such that β, β′ belong to different π(Δ′)-classes. By transitivity there
is an element y′∈G with βy′=β′. Evidently Δ′y′=Δ′, and the element y:=dep(y′,Δ′) has the required properties.
Choose Δ′′∈T with β∈Δ′′⊂Δ′ and Δ′′=Δ′′y. Arguing as above we can find x∈QΔ′′ with β∈supp(x).
Write a:=[k−1,kx]=x−k−1xx−kx. Thus
[TABLE]
and the unions above are disjoint unions since Δ′⊂Γ and Γk=Γ. On the classes
Δ′′k−1,Δ′′,Δ′′k the element a agrees with
x−k−1,x2,x−k respectively, none of which is the identity since x=1.
Therefore
[TABLE]
Since [h−1,hy]=y−h−1yy−hy we also have
[TABLE]
Since supp(x)⊆Δ′′ which is disjoint from Δ′′y2, for any δ′′∈supp(x) we have
[TABLE]
But [h−1,hy]∈Xh and a∈Xk.
Hence [Xh,Xk]=1 and Xk⊆Wh.
Now suppose instead that Γk=Γ or Γh=Γ for all Γ∈π(Δ). Then (G(Δ),π(Δ)) cannot be abelian and so is of type (II) in Lemma 2.3. Lemma 3.1 gives elements of Xh and Xk whose images in (GΔ,π(Δ)) fail to commute, and 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) fixes each point of supp(hg) and so fixes δ. Since CG(Wh)⊆CG(Xhg) by (b), we conclude that
CG(Wh) fixes δ. The assertion follows. ∎
Proposition 4.4**.**
Let Δ∈T. Then CG2(Wh)=rst(Δ) for each h∈QΔ. In particular, CG2(Wh) is independent of the choice of h∈QΔ:
[TABLE]
Proof.
By Lemma 4.3(c) the subgroups rst(Δ) and CG(Wh) commute and so rst(Δ)⊆CG2(Wh). We must prove that CG2(Wh)⊆rst(Δ).
Suppose that z∈G with Δz=Δ. So Δz∩Δ=∅.
Since (G,Ω) is fully depressible, rst(Δ) contains an element x=1; then xz∈rst(Δz) and so [x,z]=1. Thus z∈CG2(Wh) by Lemma 4.3(c). It follows that CG2(Wh)⊆st(Δ).
Hence if
g∈CG2(Wh), then the element g0:=dep(g,Δ) of rst(Δ) is defined. From above, rst(Δ)⊆CG2(Wh)
and so f:=gg0−1∈CG2(Wh). Suppose that f=1. Let α∈supp(f) and Δ′∈T be the o-block of V(α,αf) with α∈Δ′. Let Δ′′⊂Δ′ with α∈Δ′′ and Δ′′f=Δ′′, and let y∈QΔ′′. Since supp(y)⊆Δ′′ but supp(yf)⊆Δ′′f we have
[y,f]=1. However y∈CG(Wh) and f∈CG2(Wh), and we have a contradiction.
Hence f=1 and g=g0∈rst(Δ).
∎
5 Centralizers: the minimal case
Again let (G,Ω) be a fully depressible transitive ℓ-permutation group with spine K.
For the case when the spine K of (G,Ω) has a minimal element we need an extra condition.
We say that a transitive ℓ-permutation group (G,Ω) is locally abelian if its spine K has a minimal element K0 and the o-primitive ℓ-permutation group (G(Δ),π(Δ)) is abelian for each o-block
Δ of K0.
For the rest of this section we assume that the spine K of G has a minimal element and that (G,Ω) is not locally abelian.
The results in the previous section can all be recovered under the above hypotheses on (G,Ω).
This follows from the following observation, in which we write f⩽g
for f∨g=g and H+ for {g∈G∣g>1}:
Remark 5.1**.**
Let (H,Λ) be an o-2 transitive ℓ-permutation group, and
μ1,μ2∈Λ with
μ1<μ2.
Let γ1,γ2∈Λ with μ1<γ1<γ2<μ2.
By o-3 transitivity, there is f∈H with γ1f=γ2 and μif=μi for i=1,2.
So μ1=μ1fn<γ1fn<μ2fn=μ2 for all n∈Z.
Let Ξ be the smallest convex subset of Λ containing {γ1fn∣n∈Z}.
Then Ξf=Ξ. Let g:=dep(f,Ξ). Then g∈Aut(Λ,⩽)+ with supp(g)⊆(μ1,μ2) and γ1g=γ2.
**
The next three results extend the corresponding results (Lemmata 4.2 and 4.3 and Proposition 4.4) of Section 4.
Lemma 5.2**.**
Let Δ∈T and h∈QΔ.
Let g∈rst(Δ)+ and suppose that there is α∈supp(h) such that supp(g)⊆(α,αh) if α<αh or
supp(g)⊆(αh,α) if αh<α.
-
(a)
-
(i)
[h−1,hg]=1;* in particular Xh=1.*
2. (ii)
If f∈G and [[h−1,hg],f]=1, then supp(ghi)f=supp(ghi) for i=0,±1.
2. (b)
If f∈G, then either βf=β for all β∈supp(h) or
[[h−1,hg],f]=1 for some g∈rst(Δ)+.
Proof.
(a) We assume that α<αh, the proof when αh<α being similar.
Write c:=[h−1,hg]=g−h−1gg−hg. For i=0,±1 we have supp(ghi)⊆(αhi,αhi+1). These intervals are pairwise disjoint and supp(c) lies in their union. Since supp(c) may not be convex and the intervals may not be mapped to themselves by f, we cannot apply Remark 4.1. This is where we use that g>1. The restriction of c to (α,αh) is g2>1 and
c is strictly positive only on supp(g).
Moreover, if [c,f]=1, then (c∨1)f=cf∨1f=c∨1, so f must conjugate g2=c∨1∈G to itself,
and c−1∨1 to itself.
Since f is order-preserving and supp(gh−1)<supp(g)<supp(gh) and supp(g2)=supp(g),
we must have supp(ghi)f=supp(ghi) for i=±1.
(b) Suppose that βf=β for some β∈supp(h) and that [h−1,hg] and f commute for all g∈rst(Δ)+.
Let K0 be the minimal element of K and
Λ be the K0 o-block with β∈Λ⊆Δ. Then
(G(Λ),π(Λ)) is o-primitive and o-2 transitive
since (G,Ω) is not locally abelian.
Now βf and βh are distinct from β and so there is an
interval (β1,β2) containing β and disjoint from (β1f,β2f) and (β1h,β2h)∪(β1h−1,β2h−1).
By Remark 5.1 with μ1=β1 and μ2=β2, there is g∈G+ with β∈supp(g)⊆(β1,β2). Thus the sets supp(ghi) for i∈{0,±1} are pairwise disjoint and since [h−1,hg]=g−h−1gg−hg
we obtain that β[h−1,hg]f=βg2f>βf. Since [h−1,hg], f commute, it follows that
[TABLE]
Thus βf∈supp([h−1,hg])⊆supp(g)∪supp(gh)∪supp(gh−1).
Since supp(g)⊆(β1,β2) and βf∈(β1f,β2f) we have βf∈/supp(g), whereas if
βf∈supp(gh) then βf[h−1,hg]=βfg−h<βf,
and if βf∈supp(gh−1), then βf[h−1,hg]=βfg−(h−1)<βf. A contradiction ensues and the lemma is proved.
∎
Lemma 5.3**.**
Let Δ∈T and h∈QΔ.
- (a)
CG(Xh)* contains the pointwise stabilizer of Δ and is contained in the pointwise stabilizer of supp(h).*
2. (b)
[TABLE]
3. (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) in the case when there are Δ′′,Δ′∈T with Δ′′⊂Δ′⊂Δ.
It remains to consider the cases when Δ is minimal in T or covers a minimal element of T.
First assume that Δ is minimal in T.
Let g∈G.
If Δg=Δ, then rst(Δ)∩rst(Δg)=1 and the elements of Xh and Xhg have disjoint support. Thus [Xh,Xhg]=1. Hence
[TABLE]
Now let g∈st(Δ) and k=hg. So k∈QΔ.
First suppose that there is some
δ∈Δ with δ∈supp(h)∩supp(k).
Assume that δh>δ and δk>δ, the other three cases being similar.
Choose λ1<δ<min{λ1h,λ1k} and λ2∈(δ,min{λ1h,λ1k}).
So (λ1,λ2)h=(λ1h,λ2h)⊆(λ2,λ2h) since λ2<λ1h; and (λ1,λ2)h−1=(λ1h−1,λ2h−1)⊆(λ1h−1,λ1) since λ2h−1<λ1hh−1=λ1.
Similarly (λ1,λ2)k⊆(λ2,λ2k) and (λ1,λ2)k−1⊆(λ1k−1,λ1).
Since (G,Ω) is fully depressible, by Remark 5.1 applied for μ1=λ1 and μ2=λ2 there is y∈rst(Δ)+ with δ∈supp(y) and supp(y)⊆(λ1,λ2). Define b:=[h−1,hy]=y−h−1yy−hy.
By the previous paragraph, supp(yhi)∩(λ1,λ2)=∅ for i∈{−1,1} and so λb−1=λy−2 for all λ∈(λ1,λ2).
By Remark 5.1 (this time applied for
μ1=δ and μ2=δy), we can find x∈G+ and β∈supp(y) with β∈supp(x)⊆(δ,δy). Define
a:=[k−1,kx]=x−k−1xx−kx. From above, the sets supp(xki)⊆(δ,δy)ki⊆(λ1,λ2)ki for i∈{0,±1} are disjoint
and so (λ1,λ2)∩supp(a)=(λ1,λ2)∩supp(x). Moreover
λa=λx2∈(λ1,λ2) for all λ∈(λ1,λ2) and
βa=βx2=β.
Since β∈(δ,δy) we have βy−2∈(δy−2,δy−1)⊆(λ1,λ2).
But (δy−2,δy−1)∩supp(a)=(δy−2,δy−1)∩supp(x)=∅; therefore a fixes βy−2=βb−1 and ab fixes β.
Thus βab=βa and so ab=a. However, a∈Xk and b∈Xh. Hence [Xh,Xk]=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. ∎
Proposition 5.4**.**
For every Δ∈T and h∈QΔ,
CG2(Wh)=rst(Δ). Thus
if β∈Δ and h′∈rst(Δ) with V(β,βh′)=κ(Δ), then
[TABLE]
In particular,
[TABLE]
Proof.
By Lemma 5.3(c) we have rst(Δ)⊆CG2(Wh), and the argument at the corresponding point in the proof of Lemma 4.4 shows that
CG2(Wh)⊆st(Δ).
Let g∈CG2(Wh) and g0:=dep(g,Δ)∈rst(Δ)⊆CG2(Wh).
Thus f:=gg0−1∈CG2(Wh) and supp(f)∩Δ=∅.
If f=1, let α∈supp(f) and Δ′ be the minimal o-block in T with α∈Δ′. We assume that αf>α, the other case being similar.
Since (G(Δ′),π(Δ′)) is o-primitive (and so o-2 transitive) and since (G,Ω) is fully depressible, Remark 5.1 (with β1=α,β2=αf) yields a non-trivial element y∈rst(Δ′) with supp(y)⊆(α,αf)⊆supp(f). Since supp(f)∩Δ=∅, we have δy=δ for all δ∈Δ and thus y∈CG(Wh) by Lemma 5.3(c).
But yf=y since supp(yf)⊆(αf,αf2).
This contradicts that y∈CG(Wh) and f∈CG2(Wh).
Hence f=1 and every element of CG2(Wh) lies in rst(Δ).
∎
6 Proof of Proposition 2.4
Proof.
Let (G,Ω) be a transitive fully depressible ℓ-permutation group. If (G,Ω) is o-primitive
then T={Ω};
if (G,Ω) is also abelian, then Xg={1} for all g∈G∖{1} and so CG2(Wg)=CG(G)=G, whereas if (G,Ω) is non-abelian and g∈G∖{1},
then g∈QΩ and CG2(Wg)=G by Proposition 5.4.
Now suppose that (G,Ω) is not o-primitive and choose Δ∈T with Δ=Ω. By full depressibility there is an element g∈QΔ, and by transitivity Δf∩Δ=∅ for some f∈G. Since gf∈QΔf we have [g,f]=1, and G is not abelian.
If (G,Ω) is not locally abelian, then CG2(Wg)=rst(Δ) is disjoint from rst(Δf)=CG2(Wf−1gf) by
Propositions 4.4 and 5.4;
so CG2(Wg)=G.
If instead (G,Ω) is locally abelian, let Δ∈T be minimal and g∈QΔ. Then supp(g)=Δ and for any f∈G either Δf∩Δ=∅ or supp(gf)=Δ. In each case, [g−1,gf]=1. Thus Wg=∅ and CG2(Wg)=CG(G)=G, and the proposition is established.
∎
The proof of Proposition 2.4 completes the proof of Theorems A and B.
Acknowledgment. This research was begun when the second author was the Leibniz Professor at the University of Leipzig. The 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.