We also assume that p > .5, since all prinitire groups Grh an orbitz! of length 2 or 3 have already beer1 determined. C. E. Praeger :I61 prored that, if G has a ...
This article was downloaded by: [Peking University] On: 01 May 2013, At: 16:48 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered office: Mortimer House, 37-41 Mortimer Street, London W1T 3JH, UK
Communications in Algebra Publication details, including instructions for authors and subscription information: http://www.tandfonline.com/loi/lagb20
Primitive permutation groups with a sharply 2-transitive subconstituen of prime degree Jie Wang
*
a
a
Department of Math, Peking University, Beijing, 100871People's Republic of China Published online: 05 Jul 2007.
To cite this article: Jie Wang (1992): Primitive permutation groups with a sharply *
2-transitive subconstituen of prime degree , Communications in Algebra, 20:3, 923-941 To link to this article: http://dx.doi.org/10.1080/00927879208824382
PLEASE SCROLL DOWN FOR ARTICLE Full terms and conditions of use: http://www.tandfonline.com/page/ terms-and-conditions This article may be used for research, teaching, and private study purposes. Any substantial or systematic reproduction, redistribution, reselling, loan, sub-licensing, systematic supply, or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to
Downloaded by [Peking University] at 16:48 01 May 2013
date. The accuracy of any instructions, formulae, and drug doses should be independently verified with primary sources. The publisher shall not be liable for any loss, actions, claims, proceedings, demand, or costs or damages whatsoever or howsoever caused arising directly or indirectly in connection with or arising out of the use of this material.
Downloaded by [Peking University] at 16:48 01 May 2013
COMMUNICATIONS IN ALGEBRA, 2 0 ( 3 ) ,
923-941 ( 1 9 9 2 )
In this paper we have d e t e r ~ i n e ddl lmiprirnitiv? permutation groups wkicf; have a stxpl:; 2-tiansitive subconstituent of prime degree.
$1. INTRODUCTION Let G tie a uniprimitive pernutation group acting on a Szite ser 2 , f o r a 5 0: suppose G, h r s an o-bit A(aj and the corresponding t;%nsitive constituent
~ , h is~sharp!:? ~ '
2-transitive. Then by 1111 Chm!!ary 3.9, '6,
'
d ( d - !)"or
d = iA(a)i. In this pa.per, ive c!as~ifi.all such polips provided d = p is a prime. All sharply ?-transitive permutatinn groups were determined by Zassenhaus (211.
It follows that G'e'atk Z,
: ZP-,
so!rable. W e also assume that p
if ( ~ ( a . j=; p . And by [20: 16.3, G, itseif is
> .5, since all prinitire groups G r h an orbitz!
of length 2 or 3 have already beer1 determined. C. E. Praeger :I61 prored that, if G has a doubly transirive subconstituem,
then either G is almost simple, or G has a unique minirna.1 regular normal s&,rrrcip Jf C: has a regular norma! sukgrcup 10. then
I t fo!!ows t h a r L! E [ 6 , 5 . 7 ] . Eler?.ertar:; caicuia:ion shcn~stha: on!;; d = 3 ar?d q = 1 or i are possible. T = P S L f 3 , 4 ) has been inc!uded io Tab!e 1 whi!e
P S L ( 3 , ; ) is exchded 5y
:.j:.
PEOOF:In this ease; ill has h r s n y e primp r. So
.?f is
2
s.:k;rc:1p
gf
a sector isomorphic .co
PSL id,yo) where
Q
=
qi
is not solvable except for d = 2 and qo = ? c~r3. Hellce
5:.3 r ?.:,:.?Y,
If .!f 5x5
3
~ e c t c riscmorphic ~c Zp : Zg-I.
t h e 2 r = p. This i r p l i ~ sthat Z, is a, direct fzctcr n f M , a contradirtion.
PP,.OOF:in this case: ,if = =Yc(Ei) for W = P 5 ~ ( d , ~PSI:(d:q)(q j, = r2) or Pi?jcl,q)(qodd). ff H is symp!eetic, ao so!sable
can be found, If f-I is
. A L a y , then ( d , y') = ( 3 : 41, (2: 4) or ( 2 , Q ) . Hcwever, PSL("4) 2
I,c..-
and
P S L ( 2 . o) r .A6 hzve been treated in section 2: while F S L ( 3 , 4 ) is exclvded by
.a ' . Fisz!i~,if H is orthogonal, ( 2 : ~ =) 'cl
Downloaded by [Peking University] at 16:48 01 May 2013
>
( 8 , 3 ) or j a ! i ) , both are excluded by
In this sulsec-,ion, suppose that T = P S p ( d , q ) ; ~ h e r id 2 1 is s e n . If d = 4 and q is wen: assume that G contains no g a p h automiorphisms. Moreover. !et I' be the d-dimensional s.;mpiectic q a c e over GF(q).
PgOOF:
In this case, M normalizes a schspace U of I', a n d either U is non-
degenerate
OF
t ~ t a l l yisotropic, In the former case, :V is unsolvafle. I n the
latter case? siippose t h a t dim(L7) =
PSL(r! q )
\:
c:ntradic:ion,
7.
T h e a M has a seceor i s o m ~ r p h i c-co
PSp(d - 2r! q ) , This implies that g = 2 , 3 a n d K(M)= f2:3 ) : a
Downloaded by [Peking University] at 16:48 01 May 2013
SHARPLY 2 - T R A N S I T I V E PERMUTATION GROUPS
935
PROOF:If +Li tf C;, then .ti = ,YG(X) for X f S y 1 2 ( T ) and , X = 2".
Let
3 .ri c:ll,isuch t h a ~33,q,iK 1 Zy_: 2,-;for sgme prime p L 5 , then X K I K 5 Z, :
ZPd1 is a norma! 2-subgrijuy, i: fo!!ows char -1-5 K aud
4 r^
so 2--
I t f ~ l i o w sthat (q - 1)' , ( q - - I ) . j. IT is easy co ~e;ifj: i h ~ jqi 1
hence ( q - 112 ' f. This
0
meam that (41
The same argument shows that
5
-
!I2
,p
- i.
!:j?
TLis
- i) = I
j for f 2 2, which is impossible.
= - 1 is also impossible.
If :ti f C2:r h e a M = !YG(-Y) for -'Y
%
Z4r+l. \Iembers of this class ar:?
nbta,ined by the fusion of the original Cs arid C8 ~ e ~ b e rwhich s , are isomorphic
Downloaded by [Peking University] at 16:48 01 May 2013
PROOF:T h e members of C2 contain PSC'(a.,q'')iS,, there%re r: 5 3 , ;::. r 5 4. If s > 1, then it is n o t difficuit to show thze r j M ) = {?:3). conrradicting the z.ssumptloc that M ha.s a sector isornorpkic t o 2, : Z,-l.
When r = 1. 'M (-?TI= q
+ 1 , buc jp
2 7 g ~ n l e xshoi::s
1)"
. 31
,
If s = I , chen r = 3 : 4 .
it follows ?h+t ,o am! he a cli~isorof
i.W. con~radiccingche facx that iMi i p j p - 1'1" The same
that iio coun:2r eszxple occ-ms xhen r = 4.
937
SHARPLY 2-TRANSITIVE PERMUTATLOW GROUPS
PROOF:In &is case, 3f has a sector isl~morphicco P ~ C ' j d ; ' f , ~fcr ? ' :some odd forces d = r . hence if C T Z Z, : Zd :%:here i: = prime r. i n e so!r.abIiity cf -7
r&. so $1
Suppose rhat q =
5 Z,
f: for some prime
: Zd.[S(d,q- 1: j l.Clear!:;
in Lemma 5.1.3 we can assume that
Downloaded by [Peking University] at 16:48 01 May 2013
IS (d, q
l)
= I.
:hen
i. then O u t ( T 1 = 2 i d . y
-
l j/
( d : q - 1) = 1 or d as d = r is prime. A s 3'0,
Downloaded by [Peking University] at 16:48 01 May 2013
PBOCF:If .9[ 5 Cj:
as .9f is s o l ~ . - a t l e , only :he 59!lo::-in.g
.t~~:c:cases haye
be
considered. '
( 1 ) T = PSC(3>?");r is an Paa prim* nuEber, and .!.ifiT G PGU(3,2?j. 1.
In this case, lOut(T\' = {3: 2* - 1 ) r . If there esists a normal subg-oup K such &at i\fjh'
1 2, : Z p - : , and
(2) T = PSC;;, q$), 51 fl T
M
'ii; p - I , chcn p = r, Meariivhile: _ti has a
nnr~t:~! subgroup 9'such tba; :'rP.'iY E Z,. This implies J d 'Ei 2 Z,
. . contrad!cr~c:n.
c
:, Z,-!.
a
PQ(d, where 4.0 is a n odd number. The snivr?bllit:;: cf ZI !.ads t o yfi = 3 and d = 3 or 4, 30th cases lead t o T(M)= I2.31. a contradiction.
I
2
Downloaded by [Peking University] at 16:48 01 May 2013
SHARPLY 2 - T R A N S I T I V E PERMUTATION GROUPS
939
PEOOP:It follows fioni ! I ] that xhe oniy solvable s u b g o u p in this class i.c Pfl'(4.3) x P R ( 3 , 3 ) in T = P S ( 1 2 . 3 ) . It is easy t o show thar T(M)= 12.9:.
Nest suppose that scc(G) = PR-(8! q ) and G contains a g ~ p aatorrxrpliism h
of order 3. In this case, all maximal subgroups o f @ are determined by K!eidnar: in : 7 : . Suppose that (G,.%f) is a cocntei. example t o Theorem 1.2: then by [ 7 ] ,
the mi: possibilities For M are
Downloaded by [Peking University] at 16:48 01 May 2013
940
WANG
. . l i , .tschbac5er. G . \I. Seitz. Izrolurions in Shevalieg groups over fieids of '2'
s:iSgr:tc2s of exreptiom! groups zf Lie t y p e : p r e p ~ i n t . :j:1,H.
Con-gag, R. T.C;:xis, S.P.Xcrror,; R. A . Parker and R. -1, R'ilson,
.4tlns c,f,?r:te croups. Clarendor. Prtss. Oxford, 1385.
:7: P.B. Kleidman: The maxlxai sabgmups of t h Enit: 8-dirnessionai orthog-
onal g a u p s PQZ (g) and of their automnqh'!sm groups, J . .2lgsbra 1 P O f l P 8 7 ~ , 153-212. S ] P. 5 , fi1e;Jidman.The maxima; subgroups of the Steinberg trialicy groups
3D4!a) mc! of their aztnrnorphism groaps. J. .4/geQ1a 115 (l988!, 182-lG9. [?; P. B, Iileidnan, X i , IY. Liebec!:,
.Isunre? of the maxima! s l i h g r o ~ pof~ ~ Z P
k i t e simple g - r o q x : G'eorn. Dedicsre 2 5 (!3513). 37.5- 3800.
gronvs.
Lond. \lath. % c . L e c t . Note Series 1?P. Canbridge Vniversitp Press,
Carr,5r;cI$i:, !W9.
941
Downloaded by [Peking University] at 16:48 01 May 2013
SHARPLY 2-TRANSITIVE PERMUTATION GROUPS
Received: Revised:
A p r i l 1991 July 1991