R ENDICONTI
del
S EMINARIO M ATEMATICO
della
U NIVERSITÀ DI P ADOVA
B. H ARTLEY
M. J. T OMKINSON
Carter subgroups and injectors in a class of locally finite groups
Rendiconti del Seminario Matematico della Università di Padova, tome 79 (1988), p. 203-212
<http://www.numdam.org/item?id=RSMUP_1988__79__203_0>
© Rendiconti del Seminario Matematico della Università di Padova, 1988, tous droits réservés.
L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions).
Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
Carter Subgroups and Injectors in
aClass
of Locally Finite Groups.
B. HARTLEY - M. J. TOMKINSON
(*)
1. Introduction.
The class of ’l1 of
locally
finite groups was introduced in[4],
wherea
theory
of saturated formations wasdeveloped
in anarbitrary
sub-class of
’B1,
closed undersubgroups
andhomomorphic images. Many
other results from the
theory
of finite soluble groups have since been extended to’l1,
and our main aim here is todevelop
the basictheory
of
Fitting
classes and their associatedinjectors.
The class ’l1 was
originally
defined as thelargest subgroup
closedclass of
locally
finite groupssatisfying
the conditions:( U1 ) If
then G has a series withlocally nilpotent factors,
( U2 ) I f
is any setof primes,
then theSylow (that
ismaximal) n-subgroups of
G areconjugate
in G.It was shown in
[7]
that the first condition isredundant,
as it isimplied by
the second. In fact a muchstronger
result was obtainedLemma 4.2. of
[7]
shows that(*) Indirizzo
degli
AA.: B. HARTLEY:Department
of Mathematics, Uni-versity
of Manchester, Manchester M13 9PL,England;
M. J. TOMKINSON:Department
of Mathematics,University
ofGlasgow, Glasgow
G12 8QW,Scotland.
LEMMA 1.1.
If
G E’l1,
then G has a seriesof
normalsubgroups
with N
locally nilpotent, A/N
abelianof f inite rank, BIA
abelian withf inite primary components,
andG/B finite.
In
particular, GIN
ishyperfinite,
in the sense that it has anascending
series
of
normalsubgroups
withfinite factors.
We shall need to consider more
general
series. Let S2 be atotally
ordered set. A series
of type
S~ of a group G is a set( ZTa,
a EQ)
of
pairs
ofsubgroups
ofG,
indexedby S2,
such thatSuch a series is called a normal series of G if the
subgroups Ua, Ya
are all normal in G. If the index set Q is well
ordered,
then can betaken to be a set of ordinals and the above reduces to the usual
concept
of an
ascending series,
withUa
=and,
for limit ordinals (J,A
subgroup H
of G is said to be serial in G(written
H serG)
if His a member of some series of
G,
and ascendant in G(written
.H~ ascG)
if .H~ is a member of some
ascending
series of G. If .H’ is serial in alocally
finite group G andNaG,
then HN ser G(see [6],
and also[5, Corollary E1] ).
This makes it easy to see that a serialsubgroup
of ahyperfinite locally
finite group isascendant,
y and hence that if G islocally finite, GIN
ishyperfinite
and H serG,
then HN asc G.This remark will be crucial in the
proof
of our main result on in-jectors.
For our results on
injectors
we work within anarbitrary
but fixedsubclass K of U
satisfying
(Kl)
K is closed undertaking sicbgrou,ps.
(.g2 ) If
G e K andcyclic
groupof prime
order p, then G XCp
E K.(Classes
of groups, asusual,
are taken to be closed underisomorphisms
and to contain the trivial
groups.)
It follows that K contains allcyclic
groups of
prime
order. From nowon, X
denotes a classsatisfying
205
these conditions.
Among
the manypossibilities
for K are the classof all finite soluble groups, y the class of all
periodic locally
solublegroups
having
alocally nilpotent subgroup
of finiteindex,
the classof
periodic
soluble linear groups, the class of solubleCernikov
groups, yand ’11 itself. A
Fitting
class ofK-groups (or
aK-Fitting class)
is asubclass of K such that
Every
serialsubgroup of
anbelongs
to X.(F2) Every generated by
serialbelongs
to X.When K is the class of all finite soluble groups this coincides with the usual definition as
given
in[3],
and for the class of soluble~ernikov
groups it agrees with
[1].
Examples
ofsubgroup-closed Fitting
classes areeasily
obtainedfrom
Fitting
classes of finite soluble groups.LEMMA 1.2. Let X be a
subgroup-closed Fitting
classof finite
solublegroups. Then the class .L~
of
alllocally-X
groups in K is aFitting
class
of K-groups.
PROOF. The class ZX r) K is
clearly
closed undertaking
serialsubgroups.
Let G be aK-group generated by
serial ZX nK-subgroups Hi
If F is a finitesubgroup
ofG,
thenF (Fi,
... ,-F,,,)
=.L,
where
F,
is a finitesubgroup
ofH;, (1 c r c n).
Thus=
L
n ..., .L n Each L nB’ir
is a subnormalI-subgroup
of
L,
whence and F E ~.’
In
particular,
we have theFitting
class(LN)k n K
ofK-groups
of
locally nilpotent length
at most 7~. Forexamples
ofFitting
classesthat are not
subgroup-closed (working
relative to the class of solubleCernikov groups)
see[1].
If I is any
Fitting
class ofK-groups,
andG E Jt,
thejoin Gx
ofall serial
X-subgroups
of G is a characteristicX-subgroup Gx,
the X-radical of G. A routine
argument gives
LEMMA 1.3.
I f
3C is aclass,
G and H serG,
thenHx = H n Gx.
If X is any class of groups, then an
X-injector
of the group G isan
X-subgroup
V of G such that V n H is a maximalX-subgroup
of .8’ whenever .g ser G. This agrees with the definition used for soluble
Cernikov
groups in[1],
and inparticular
is consistent with the finite case. Our main result isbe a
Fitting
classof K-groups.
Then every X- group G hasX-injectors,
and any twoX-injectors of
G areconjugate.
The
proof
isroughly
similar to the finite case[3],
but several tech- nical difficulties have to be overcome. Theproof
in the finite casedepends
on theconjugacy
of theself-normalizing nilpotent (or Carter) subgroups
of a finite soluble group, and thisresult,
a version of which is known for91-groups,
must first be recast into theappropriate
form.2. Carter
subgroups.
If X is any class of groups, then an
X-projector
of a group G is anI-subgroup
X of G such that XK = H wheneverXH G,
K«Hand E 3C.
Though
the Cartersubgroups
of a finite soluble groupwere
originally
defined as theself-normalizing nilpotent subgroups [2], they
are of course now known to be thenilpotent projectors.
In[4],
the Carter
subgroups
of a91-group
G were defined as itslocally
nil-potent projectors. They
were shown to exist and form aconjugacy class,
and it was shown[4,
Lemma5.8]
thatthey
are theself-normalizing locally nilpotent sugbroups
ofG, provided
that thelocally nilpotent subgroups
of G are allhypercentral.
Howeverthey
do not have thisdescription
ingeneral,
since alocally nilpotent
group may possess properself-normalizing subgroups.
To
remedy this,
let us say that asubgroup
H of G isself-serializing
in
G,
if is theonly subgroup
of Gcontaining
H as a serialsubgroup.
Then the Carter
subgroups
of a’B1-group
G have thefollowing
charac-terization,
which isimportant
for us.THEOREM 2.1. The Carter
subgroups of
a G areprecisely
its
self- serializing locally nilpotent subgroups.
PROOF. Let C be a Carter
subgroup
of G and suppose thatC ser K G.
If then we havesubgroups C c V’ C U K
withFo U.
By ( U1 ),
we can choose W withV
TT andW/ Y locally nilpotent, contradicting
the fact that C is alocally nilpotent projector
°
of G. Thus C = g and C is
self-serializing.
Conversely,
let C be aself-serializing locally nilpotent subgroup
of G. We prove that C is a Carter
subgroup
of Gby
induction on thelocally nilpotent length
of G. If G islocally nilpotent,
the result is207
clear,
since everysubgroup
of alocally nilpotent
group is serial. We need to considerseparately
the case G E In this case, let R be thelocally nilpotent
radical ofG,
so thatG~R
islocally nilpotent.
If R = and C = are the
unique Sylow
bases of R and Crespectively,
then C is contained in the basis normalizer D of theSylow
basis of RC.However,
C is then serial inD,
and soC = D.
By
Lemma1.1,
ishyperfinite
and sohypercentral,
andso if OR
G,
we have CR N =N~:(C.R). Using
theconjugacy
ofthe basis normalizers of CR and the Frattini
argument,
we haveN = But C is
certainly self -normalizing,
whence N = CR.This contradiction shows that OR =
G,
and hence C is a Carter sub- group of G[4,
Theorem5.1].
Now let G E
(LJY’)k,
wherek > 3,
andagain
let .R be the LN-radical of G.Suppose
that ser Then lies in thelocally nilpotent
radical of Since C is aself-serializing locally nilpotent subgroup
of the(L.V) 2-group .g,
C is a Cartersubgroup
of .K as we have seen.
By
the Frattiniargument,
H =.KN$(C)
= K.Thus C is a Carter
subgroup
of .gand,
as islocally nilpotent,
H = CR. This shows that is a
self-serializing locally nilpotent subgroup
of and a Cartersubgroup
ofby
induction. As C is also a Cartersubgroup
ofCR,
the « Gaschütz Lemma »[4,
Lemma5.3]
shows that C is a Carter
subgroup
of G.This characterization of Carter
subgroups
enables us to provean
appropriate
form of the main lemma of[3].
LEMMA 2.2. Let X be a
Fitting
classof K-groups. Let
G c- K and N be a normalsubgroup of
G such thatGIN
islocally nilpotent. I f U,
Vare maximal
of
G such that U r1 N = V r1N,
then Uand V are
conjugate
in G.PROOF. We may
clearly
assume that G= ~ U, V>,
so thatV r1 Let bars denote
homomorphic images
inGi U n N,
let M =
Ng(U),
and let ,S be aSylow
basis _of .lVl_. Thenis a
Sylow
basis ofU, and,
for[U r1 8p,
U r1 N =_ 1. Hence U
normalizes S
and so U is contained in a Cartersubgroup
C =O/(U
r1N)
of lVI[4,
Theorem5.9].
If C is serial in somesubgroup
.H~ ofG,
then U is serial in .g’ and soBy
the max-imality
ofU,
we have U == and soHM,
and since C isself-serializing
inlVl,
we have C = H. Thus C is aself-serializing locally nilpotent subgroup
of0,
thatis, by
Theorem2.1,
a Cartersubgroup
ofG.
Similarly,
we have a Cartersubgroup
D =D/ U
of C withThe
subgroups
C and D areconjugate,
and soU,
for some x E G. But U and V-- are serial
X-subgroups
ofC,
whichbelongs
toX,
and soTI, VZ)
e ~.Finally,
themaximality
of II andYx
gives
U =U, Vx>
= Vo.COROLLARY 2.3. Let I be a
Fitting
classof
and G E ~.Let
N,
if be normalsubgroups of
G such that N M andG/N
islocally nilpotent,
and assume that eachof
M and N has aunique conjugacy
class
of I-injectors.
Let U be anX-injector of
N and let V be any max- imalof
Gcontaining
U. Then V r’1 M is anX-injector of
M.PROOF. The
hypotheses imply easily
that U is contained in anX-injector TYo
of M. Now if we form any tower ofX-subgroups
of Gcontaining yYo,
its union isgenerated by
serialX-subgroups
and sobelongs
to ~.Hence, by
Zorn’sLemma, Wo
is contained in a maximalX-subgroup
W of G. Now and soby
Lemma2.2,
V = Wx for some x E G. Therefore as
required.
COROLLARY 2.4.
If
X is aFitting
classof
and Gthen any two
X-injectors of
G areconjugate
in G.PROOF. This follows
by using
Lemma 2.2 and induction on theLJY’-length, exactly
as in the finite case[3].
3.
Injectors.
Let 3C be a
Fitting
class ofK-groups.
ThenC(X),
the characteristic of3C,
is defined to be the set ofprimes
p such that X contains acyclic
group of order p. Standard
arguments
show that ifC(~) _
a, then everyX-group
is a n-group, and contains everylocally nilpotent
n-group in K. Details of these
arguments
can be found in[1]. They
are similar to the finite case, and it is for them that
(.g2 )
is needed.In the rest of the
paper, 3C
denotes aFitting
class ofK-groups,
and
By
the aboveremarks,
sois a and
GIBGX
ishyperfinite, by
Lemma 1.1.By
the remarks in theintroduction,
if H serG,
thenHRGX,
ascG,
and much of our
proof
of the main theorem will consist of an inductionargument
on anascending
series from to G. Limit ordinals aredealt with
by
thefollowing,
in whichflL-group properties
are notinvolved.
209
LEMMA 3.1. Let G be the union
of
a setof
serial sub- groupsG~, (A
E11 ) .
Then V is anof
Gif
andonly if
V r1G~,
is an
of for
each A E A.PROOF. If V is an
X-injector
ofG,
the definition shows that V r1GJ.
is an
X-injector
ofGA,
for each A E ll.Conversely,
suppose V’ r1Gi
is anI-injector
ofGA,
for each A EA,
and let H ser G. Then H r1
Gi
ser and so V r1 H r1Ga
is maximal among theI-subgroups
of If V r1 and WEX,
thenW n
Gi
E whence we find ’V~ n .H~ n W nGz,
and W =Hence V n H is a maximal group of H.
The
following
is useful indealing
with serialsubgroups
not con-taining
LEmmA 3.2.
I f
W is anof
the serialsubgroup
Hof
Gand then EX.
PROOF. Let
( U6,
EQ)
be a series from H to G. SinceThus, intersecting
withgives
a series from .g r~WGx ==
= = = W to Therefore W is a serial
X-subgroup
of and hence E X.The main lemma is as follows.
LEMMA 3.3. Let M be a normal
subgroup of finite
indexof
G con-taining If
has anX-injector,
then G has ana;-injector.
PROOF.
By
induction onIGIMI,
we may assume that .M hasprime
index p.
Taking
account ofCorollary 2.4,
ourhypothesis implies
thatevery serial
subgroup
of M has aunique conjugacy
class ofI-injectors.
Let U be an
X-injector
of M and V be maximal among the X-subgroups
of Gcontaining
U. Since U has index at most p in anyX-subgroup
of Gcontaining it,
the existence of V is clear. We shall show that V is anX-injector
of G. If .H~ serG,
thencertainly
V r’1 the
problem
is to show that Y’ n H is a maximal I-sub- group of H. Since V r1 M =U,
anX-injector
ofM,
we have thatan
X-injector
of H n M.CASE
(i)
= G. Let W be anX-subgroup
of Hcontaining
Now since we have and so
by
Lemma 1.3.By
Lemma3.2, w’Gx
E X.But V and so,
by
themaximality
ofV,
wededuce that
w’Gx
= V. Hence asrequired.
CASE
(ii)
= G. Recall that n = and is aLet ~S be a
Sylow a-subgroup
of Gcontaining
TT. Thenis a
Sylow 7r-subgroup
of since thissubgroup
is se-rial
[5,
TheoremE],
and since is theproduct
ofHGx/Gx
andthe normal
n’-subgroup GXR/GX,
it follows that S is alsoa
Sylow n-subgroup
ofG/Gx .
Thisgives
Now we needonly apply
Case(i)
toCASE
(iii)
G.By
the remarks in theintroduction,
thereis an
ascending
seriesand after
refining
if necessary, we may assume that each factor is finite abelian. Let 2 be minimal such that V is a maximal ~-subgroup
ofHa.
If~==0,
then is a maximal X-sub-group of
containing
theX-injector
of .M r1n
By
Case(ii) applied
to we obtain that V n H is amaximal
X-subgroup
of H.Thus we may assume that A >
0,
so that V is a maximalI-subgroup
of lq’ while V n Ha is not a maximalX-subgroup
of ~if a A.
CASE 1 exist. Put L = r1
M,
and note thatHalL
is finite abelian. We have V n E = U r1 which is a maximal
X-subgroup
of L. LetWo
be a maximalX-subgroup
ofcontaining
U r1
&’a,_1,
and W be a maximalI-subxoup
ofcontaining Wo .
Then and so
by
Lemma2.2,
W isconjugate
to inHa :
Therefore V nH).-1
= ~’x r1Ha,_1
forsome
contrary
to the fact that is not a maximalI-subgroup
ofCASE limit ordinals. Now U r1
.H~o
iscertainly
not amaximal
X-subgroup
of.8’0,
but it is a maximalX-subgroup
ofHo n M,
so we have U n
.H’o Wo
for some maximalX-subgroup W’o
of211
We now construct
subgroups yYa (a c ~,)
such that forand
yYa
is a maximalX-subgroup
ofHa . Having
obtainedWa,
wecan obtain since
Ha+l/Ha
isfinite,
or as inCorollary
2.3.If f3
is a limit ordinal and the
previous
Wa have beenobtained,
weput Wo
=U Wa,
which is thejoin
of ascendantX-subgroups
and soaB
belongs
to3C,
and isclearly
a maximalX-subgroup
ofHo.
Now weshow
by
induction thatW a
r1 .M- is anX-injector
oflVl,
for eacha c ~,.
Since ~II =M,
the case a = 0 is clear.Lemma 3.1. deals with the passage to limit ordinals. i.f 1JI is known to be an
X-injector
of Ha r1.lVl,
thenCorollary
2.3 shows thatWa+1
r1 lVl is anI-injector
ofHa+1 n
.M.Finally,
we find thatWa
r1 Mis an
I-injector
of lVl. ThereforeWA n
M =( U
===
(V
nHA)x
r1 M for some x EHi
r1M,
since this group hasconjugate X-injectors. By
Lemma2.2, Wi
and areconjugate
inHz.
But
Wi
containsWo,
so whileY r1 Ha, = U ( Y r1 .Ha ) .
aA
Since V r1
Ha
is not a maximalX-subgroup
ofHa
if «A,
and]
is either 1 or p, we haveTherefore and a contradiction.
This
completes
theproof
that V is anX-injector
of G.PROOF OF MAIN THEOREM. The
conjugacy
ofX-injectors
isgiven
in
Corollary
2.4. For theexistence,
we first note thatG~
is theunique X-injector
of For Lemma 3.2 shows that if H ser thenH r’1
GX
is a maximalX-subgroup
of H. Nowby
the remarks in theintroduction,
we have anascending
series(Ga :
of G with finite abelian factors and such thatGo =
We showby
induction on (Xthat
Ga (and
hence all its serialsubgroups)
has anI-injector.
Fora = 0 this has been remarked. The
step
from a to a+
1 follows from Lemma 3.3. The limit ordinalstep
is madeby forming
a tower of in-jectors
andusing
Lemma 3.1.The
following
results can be deducedexactly
as in the finite case[3].
THEOREM 3.4
(i)..Let
1 = G be a seriesof
Gwith
locally nilpotent factors
and Then V is anX-injector of
Gif
andif
V r1Gi
is a maximala;-subgroup of Gi f or
i =0, 1,
... , n.(ii) If
V is anI-injector of
G and then V is an X-injector of
.L.(iii)
TheX-injectors of
G arepronormal
in G.REFERENCES
[1] J. C. BEIDLEMAN - M. J. KARBE - M. J. TOMKINSON,
Fitting
classesof S1-groups,
I, to appear.[2] R. W. CARTER,
Nilpotent self-normalizing subgroups of
soluble groups, Math. Z., 75(1961),
pp. 136-139.[3] B. FISCHER - W. GASCHÜTZ - B. HARTLEY,
Injektoren
endlicherauflösbarer Gruppen,
Math. Z., 102 (1967), pp. 337-339.[4] A. D. GARDINER - B. HARTLEY - M. J. TOMKINSON, Saturated
formations
and
Sylow
structure inlocally finite
groups, J.Algebra, 17
(1971), pp. 177-211.[5] C. J. GRADDON - B. HARTLEY, Basis normalizers and Carter
subgroups
ina class
of locally finite
groups, Proc.Cambridge
Philos. Soc., 71(1972),
pp. 189-198.
[6] B. HARTLEY, Serial
subgroups of locally finite
groups, Proc.Cambridge
Philos. Soc., 71 (1972), pp. 199-201.
[7] B. HARTLEY,
Sylow theory
inlocally finite
groups,Compositio
Math., 25 (1972), pp. 263-280.Manoscritto