Journal of Algebra 215, 229᎐234Ž. 1999 Article ID jabr.1998.7685, available online at http:rrwww.idealibrary.com on

Sylow Which Are Maximal in the Universal Locally Finite of Philip Hall

Marianna Dalle Molle View metadata, citation and similar papers at .ac.uk brought to you by CORE ¨ ¨ ¨ Dipartimento di Matematica Pura ed Applicata, Uni ersita´ di Pado a, ia Belzoni 7, provided by Elsevier - Publisher Connector 35131 Padua, Italy E-mail: [email protected]

Communicated by Peter M. Neumann

Received November 18, 1997

For every prime p, we construct a of Philip Hall’s universal locally which is both maximal and a p-group. This provides an example of a simple locally finite group with a maximal subgroup which is locally nilpotent. ᮊ 1999 Academic Press

1. INTRODUCTION

In this paper we prove that for each prime p, P. Hall’s universal countable locally finite groupŽ seewx 4. has a maximal subgroup that is a p-group, thus providing an example of an infinite locally finite simple group that contains maximal, locally nilpotent p-subgroups. Therefore, Thompson’s theorem stating that a finite group which contains a maximal nilpotent subgroup of odd is solvableŽ seewx 5, Theorem 10.4.2 . cannot be extended to prove the local solvability of locally finite groups containing maximal, locally nilpotent subgroups. One generalization of Thompson’s result to linear groups was given by Wehrfritz inw 6, Theorem 12.8x : a periodic G with a maximal locally nilpotent subgroup M is solvable provided the Sylow subgroups of M fulfill certain conditions. wx r In 1 these conditions were relaxed to require that either M coreGŽ.M is not a 2-group or it is nilpotent of class at most 2. The simple group PSLŽ. 2, 17 , which has a dihedral group of order 16 and nilpotency class 3 as maximal subgroup, shows that the restrictions are necessary in the case r wx that M coreGŽ.M is a 2-group. Bruno and Schuur in 2 extended this theme to a locally finite group G, finding among other things that G is

229 0021-8693r99 $30.00 Copyright ᮊ 1999 by Academic Press All rights of reproduction in any form reserved. 230 MARIANNA DALLE MOLLE solvable if it contains a maximal subgroup M satisfying one of the following conditions: r Ž.i M is nilpotent and M coreGŽ.M is not a p-group for any prime p, Ž.ii M is nilpotent of class at most 2, Ž.iii M is nilpotent and has min-p for the odd primes p involved in M, and the Sylow 2-subgroup of M has nilpotency class at most 2. The main result of this paper is the following:

THEOREM 1.1. The countable uni¨ersal locally finite group U constructed by Philip HallŽ see wx4 . contains, for each prime p, a maximal subgroup that is ap-group.

We recall the definition of the universal group U. Let G1 be the symmetric group on 3 elements. Define a sequence of groups Gn and ␦ ª embeddings nn: G G nq1 inductively in the following way: Gnq1 is the ␦ symmetric group on the set Gnnand is the right regular representation of G into SymŽ.G . We define U to be the direct limit lim Ä4G , ␦ . nn ª nn ␦ Generally, we will identify Gnnwith the subgroup Ž.Gnof Gnq1, so that U can be thought of as the union of all groups Gn.

2. REDUCTION

For the remainder of the paper, let p be a fixed prime. Note 2.1. Clearly the definition of U is not affected if we omit finitely many terms of the series Ä4Gn . So, for technical reasons, we may assume s that the first term of the series Ä4Gn defined above is G1 SymŽ.k , where ) X k 5p. Consider now the series ÄGn4 of derived subgroupsŽ recall that the X s D X Gnnare alternating groups. . Then U Gn, since U is simple. Moreover, ␦ X g Gnnis embedded via in the alternating group Gnq1, since for all x Gn < < ␦ the index Gnn: ²:x is even and so Ž.x is the product of an even number of cycles of length <²:x <.

Starting from the chain of groups Gn described in Note 2.1, we will find a chain Ä4Pnn, where P is a Sylow p-subgroup of Gn, such that the D p-subgroup nnP is a maximal subgroup of U. The key for the construc- tion of the groups Pn lies in the following proposition whose proof is given in Sections 3 and 4. ¨ PROPOSITION 2.2. For any natural number n, gi en a Sylow p-subgroup Pn g _ of Gnn and x G Pn, there exists a Sylow p-subgroup Pnq1 of Gnq1 such - G X that PnnPq1 and²: x, Pnq1 Gnq1. SYLOW SUBGROUPS 231

Obser¨ation 2.3. Proposition 2.2 implies Theorem 1.1. g ގ Proof. Let k and Pkkbe a Sylow p-subgroup of G . Then there is a s G q - - иии - natural number m fkŽ. k 1 and a sequence PkkP q1 - F F Pmy1 Pmj, where P is a Sylow p-subgroup of Gjfor k j m, such that G X g _ _ s ²:x, PmG mfor all x GkkP : for, let GkkP Ä4x12, x ,..., x s . Us- ing Proposition 2.2, choose Pkq1, a Sylow p-subgroup of Gkq1, such that - G X g _ PkkP q11and ²:x , Pkq1 Gkq12. Since x Gkq1 Pkq1, again by g - Proposition 2.2, we can choose Pkq2 Syl pkŽ.G q2 such that Pkq1 Pkq2 G X and ²:x2 , Pkq2 Gkq2 . Repeat the construction and get that Pkqi is a - G X Sylow p-subgroup of Gkqiksuch that P qiy1 Pkqiikand ²:x , P qikG qi for all i s 1,...,s. Set m s fkŽ.s k q s. For i s 1,...,s, we have X X ²:²x , P G x , P q , P :²G G q , P :²G x , P :G G , since x is in im ikimX kim sm mX s Gkkwhich is embedded in G q1 Ž.see Note 2.1 and so also in Gkqi. Now, fix s s a Sylow p-subgroup P11of G , set m 01 and mttfmŽ.y1 , and consider - the sequence of Sylow p-subgroups Pjjof G as constructed above: P12P - иии - P - P q - иии - P - иии - P - иии . By construction mm11X 1 mm2 t ²:x, P G G for all t and x g G _ P . Set M s D P . We claim mmtt mmty1 ty1 ii that M is a maximal subgroup of U.Sofor x g U _ M and g g U we have to prove that g g ²:x, M . Since x g U and x f M, there exists a natural number l such that x g G _ P for all h G l. By Note 2.1, since g g U, hh X there is a natural number k such that m y G l and g g G . Then X k 1 m k x g G _ P and so ²:x, P G G . It follows that g g ²:x, M . mmky 1 ky1 mkk m A theorem of JordanŽ seewx 3, Theorem 3.3E. states that a primitive permutation group of degree n ) p q 2 containing a p-cycle is either alternating or symmetricŽ. the condition p a prime is necessary . Thus, X since any Sylow p-subgroup of Gnq1 contains a p-cycle and Gnq1 is an alternating group, in order to prove Proposition 2.2 it is enough to find for g _ each x GnnP a Sylow p-subgroup Pnq1 of Gnq1 such that ²:x, Pnq1 is transitive and primitive on Gn. The remainder of the paper is devoted to the proof of the existence of a Sylow p-subgroup Pnq1 of Gnq1 with the desired properties.

3. CRITERION

Let G be a group acting on a set ⍀. Recall that ⌳ : ⍀ is a Jordan set for G on ⍀ if <<⌳ ) 1 and there exists a subgroup of G acting transitively on ⌳ and trivially on ⍀ _ ⌳.

LEMMA 3.1wx 3, Lemma 7.4B . Suppose that a group G acts transiti¨ely and imprimiti¨ely on a set ⍀. Let ⌳ be a Jordan subset on ⍀ and let B be a nontri¨ial block for G such that B l ⌳ / л. Then either B : ⌳ or ⌳ : B. 232 MARIANNA DALLE MOLLE

Proof. Suppose B ­ ⌳, and let b be an element in B _ ⌳ and ␭ g B l ⌳. Since ⌳ is a Jordan set, there is a subgroup H of G that fixes all elements of ⍀ _ ⌳ and is transitive on ⌳. Hence, for each h g H, we have bh s b g B l Bh, and therefore B s Bh. The transitivity of H on ⌳ implies ⌳ s ␭H, and so ⌳ ; B. The Sylow p-subgroups of the symmetric groups will play a fundamental part in the following proofs. So we recall their structure and properties. For more details seewx 3, Example 2.6.1 . Note 3.2. We first describe the structure of the Sylow p-subgroups of a symmetric group SymŽ.⍀ over a finite set ⍀ of order p s with s G 1. Under this assumption a Sylow p-subgroup Q of SymŽ.⍀ is isomorphic to иии the iterated wreath product Cppwr C wr wr C pwith s factors. Since the wreath product of two transitive permutation groups is transitive on the cartesian product of their supports, the group Q is transitive on ⍀ by <<⍀ s a ¦ s ␣ induction. Consider now the case mp where p m, and let m 0 q ␣ q иии q␣ r F ␣ - 1 p rip be the p-adic expansion of m; here, 0 p for all ␣ / ␣ s ␣ q ␣ q иии q␣ i and r 0. Define 01 r . A Sylow p-subgroup Q of ⍀ s = = иии = SymŽ.is the direct product Q Q12Q Q␣ , where each Qi is isomorphic to a Sylow p-subgroup of the symmetric group over its support ⌺ ⌺ F F ␣ ii. The sets are all the Q-orbits and, for 0 k r, there are k orbits aqk ⍀ _ ⌺ of Q of cardinality p . Moreover, since Qiiacts trivially on , the ⌺ ⍀ <<⌺ ) set iiis a Jordan set for Q on as long as 1. In our situation ⍀ is a group, which we identify with its image in SymŽ.⍀ via the right regular representation. Suppose that Q contains a Sylow p-subgroup P of ⍀. The orbits of P on ⍀ are its left cosets and, since P F Q, each Q-orbit is a union of P-orbits. In the following lemma we give a criterion for the transitivity and primitivity of a subgroup of SymŽ.G containing a Sylow p-subgroup of SymŽ.G , where G is a finite group.

LEMMA 3.3. Let G be a finite group with<< G s mpa, where p ¦ m, m ) 1, and a / 0. Let P be a Sylow p-subgroup of G and let x g G _ P. Suppose that Q is a Sylow p-subgroup of SymŽ.G containing P and let ⌺ ⌺ ⌺ ⌺ 12, ,..., ␣ be the Q-orbits on G, with 1 of maximal cardinality. Then ¨ ¨ ¨ ⌫ s ²:x, Q is transiti e and primiti e on G if there exists a trans ersal 1 ⌺ Ä4g12, g ,..., gs for the P-orbits in 1 such that: G ␣ g ⌺ F F ␣ Ž.i s and gii x for 1 i ,

Ž.ii Q has a p-cycle whose support contains g12 and g . / <<⌺ ) F F ␣ Proof. Notice first that a 0 forces i 1, for 1 i . Thus each Q-orbit is a Jordan set for ²:x, Q on G. Since Q is transitive on its orbits, SYLOW SUBGROUPS 233

Ž.i implies that ²x, Q : is transitive on G. Suppose, in order to get a contradiction, that ²:x, Q is imprimitive and let B be a nontrivial ²:x, Q - block containing g1. The support S of the p-cycle described in condition Ž.ii is a Jordan set for ²x, Q :. Thus, by Lemma 3.1, either B : S or S : B. : s << g But B S implies B S, since S is a prime. Hence g2 B and g ⌺ gx12, gx Bx. Applying Lemma 3.1 to 1and Bx, we have that either : ⌺ ⌺ : g l ⌺ ⌺ l ⌺ s л Bx 11or Bx. But gx 2Bx 2and 12contradict : ⌺ ⌺ ; g l s Bx 111. It follows that Bx, and so g B Bx, that implies B Bx. ⌫ ; g l ⌺ ⌺ ; ⌺ l ⌺ s л Thus 1 B and gxiiBx for all i. Since 11Bx and i ⌺ ; for all i, again by Lemma 3.1 we have i Bx for all i. This implies Bx s ⍀, a contradiction.

4. EXISTENCE

The next result proves Proposition 2.2 which implies Theorem 1.1Ž see Observation 2.3. . Notice that the condition m ) p5 in the statement of the next theorem is not truly restrictive since in the application of this result we have <

THEOREM 4.1. Let G be a group of order n s p am, where a / 0, m ) p5, and p ¦ m. If P is a Sylow p-subgroup of G and x g G _ P, then there exists a Sylow p-subgroup Q of SymŽ.G such that P - Q and ² x, Q :G Alt Ž.G . s ␣ q ␣ q иии q␣ r Proof. Let m 01p r p be the p-adic expansion of m ␣ s ␣ q ␣ q иии q␣ ␣ F q y and define 01 r . Certainly Ž.Ž.r 1 p 1 . Now r G 5 since m ) p5, and it follows that Ž.Ž.r q 1 p y 1 - p rr4. Thus ␣ - rr - r p 4 m 4. Now let Ä4g123, g , g ,..., gs be a subset of G maxi- mal with respect to the condition that no two elements of S s

Ä4g12, g ,..., gs, gx12, gx,..., gxs lie in the same P-coset. By the maximal- ity of s, for all g g G, either g g SP or gx g SP. Thus G s SP j SPxy1. Hence mpa s n F 2 и <<

s = = иии = ⌫ ⌫ R R12R R␣ is a Sylow p-subgroup of SymŽ., and the sets i are its orbits. View R as a subgroup of SymŽ.G by making its elements act trivially on G _ ⌫. The conjugates of R by elements of P have disjoint supports and generate their direct product, so ²:P, R is the wreath product R wr P. In particular, ²:P, R is a p-subgroup of Sym Ž.G and its ⌫и <<<<⌫и orbits are unions of P-cosets of the form iiP of order P . Hence ␣ aqi F F ²:P, R has i orbits of cardinality p , for 0 i r. Let Q be a Sylow ⌫и p-subgroup of SymŽ.G that contains ²P, R :. By Note 3.2, the sets i P are the orbits of Q and the hypotheses of Lemma 3.3 are satisfied. Thus ²:x, Q is transitive and primitive on G. Since Q contains a p-cycle, by Jordan’s theorem ²:x, Q G Alt Ž.G .

ACKNOWLEDGMENTS

The author wrote this paper during her stay as visiting scholar at the Department of Mathematics at the Michigan State University and thanks in particular P. Hewitt, U. Meierfrankenfeld, R. E. Phillips, and S. Schuur for their suggestions and advice. She also thanks B. Bruno for her contribution to the paper and the referee whose comments allowed her to sharpen the analysis and shorten the paper considerably.

REFERENCES

1. B. Bruno and M. Dalle Molle, On local-solvability of groups containing a locally nilpotent maximal subgroup, Arch. Math. 67 Ž.1996 , 441᎐447. 2. B. Bruno and S. E. Schuur, On locally finite groups with a locally nilpotent maximal subgroup, Arch. Math. 61 Ž.1993 , 215᎐220. 3. J. D. Dixon and B. Mortimer, ‘‘Permutation Groups,’’ Springer-Verlag, Berlin, 1996. 4. P. Hall, Some constructions for locally finite groups, J. London Math. Soc. 34 Ž.1959 , 305᎐319. 5. D. J. S. Robinson, ‘‘A Course in the Theory of Groups,’’ Springer-Verlag, Berlin, 1982. 6. B. A. F. Wehrfritz, ‘‘Infinite Linear Groups,’’ Springer-Verlag, Berlin, 1973.