On orbital partitions and exceptionality of primitive permutation groups
Authors:
R. M. Guralnick, Cai Heng Li, Cheryl E. Praeger and J. Saxl
Translated by:
Journal:
Trans. Amer. Math. Soc. 356 (2004), 48574872
MSC (2000):
Primary 20B15, 20B30, 05C25
Published electronically:
January 13, 2004
MathSciNet review:
2084402
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: Let and be transitive permutation groups on a set such that is a normal subgroup of . The overgroup induces a natural action on the set of nontrivial orbitals of on . In the study of Galois groups of exceptional covers of curves, one is led to characterizing the triples where fixes no elements of ; such triples are called exceptional. In the study of homogeneous factorizations of complete graphs, one is led to characterizing quadruples where is a partition of such that is transitive on ; such a quadruple is called a TOD (transitive orbital decomposition). It follows easily that the triple in a TOD is exceptional; conversely if an exceptional triple is such that is cyclic of primepower order, then there exists a partition of such that is a TOD. This paper characterizes TODs such that is primitive and is cyclic of primepower order. An application is given to the classification of selfcomplementary vertextransitive graphs.
 [FKS81]
Burton
Fein, William
M. Kantor, and Murray
Schacher, Relative Brauer groups. II, J. Reine Angew. Math.
328 (1981), 39–57. MR 636194
(83a:12018)
 [FGS93]
Michael
D. Fried, Robert
Guralnick, and Jan
Saxl, Schur covers and Carlitz’s conjecture, Israel J.
Math. 82 (1993), no. 13, 157–225. MR 1239049
(94j:12007), http://dx.doi.org/10.1007/BF02808112
 [GO]
Daniel
Gorenstein, Finite simple groups, University Series in
Mathematics, Plenum Publishing Corp., New York, 1982. An introduction to
their classification. MR 698782
(84j:20002)
 [GL83]
Daniel
Gorenstein and Richard
Lyons, The local structure of finite groups of characteristic 2
type, Mem. Amer. Math. Soc. 42 (1983), no. 276,
vii+731. MR
690900 (84g:20025), http://dx.doi.org/10.1090/memo/0276
 [GMS01]
R. M. Guralnick, P. Müller, J. Saxl, The rational function analogue of a question of Schur and exceptionality of permutation representations, Mem. Amer. Math. Soc. 162 (2003), no. 773.
 [Li97]
Cai
Heng Li, On selfcomplementary vertextransitive graphs, Comm.
Algebra 25 (1997), no. 12, 3903–3908. MR 1481574
(98k:05119), http://dx.doi.org/10.1080/00927879708826094
 [LP00]
Cai
Heng Li and Cheryl
E. Praeger, Selfcomplementary vertextransitive graphs need not be
Cayley graphs, Bull. London Math. Soc. 33 (2001),
no. 6, 653–661. MR 1853775
(2002h:05085), http://dx.doi.org/10.1112/S0024609301008505
 [LP01]
C. H. Li, C. E. Praeger, On partitioning the orbitals of a transitive permutation group, Trans. Amer. Math. Soc. 355 (2003), No.2, 637653.
 [LPS00]
Martin
W. Liebeck, Cheryl
E. Praeger, and Jan
Saxl, Transitive subgroups of primitive permutation groups, J.
Algebra 234 (2000), no. 2, 291–361. Special
issue in honor of Helmut Wielandt. MR 1800730
(2001i:20003), http://dx.doi.org/10.1006/jabr.2000.8547
 [Muz99]
Mikhail
Muzychuk, On Sylow subgraphs of vertextransitive
selfcomplementary graphs, Bull. London Math. Soc. 31
(1999), no. 5, 531–533. MR 1703877
(2000i:05093), http://dx.doi.org/10.1112/S0024609399005925
 [Sac62]
Horst
Sachs, Über selbstkomplementäre Graphen, Publ. Math.
Debrecen 9 (1962), 270–288 (German). MR 0151953
(27 #1934)
 [FKS81]
 B. Fein, W. M. Kantor, M. Schacher, Relative Brauer groups. II, J. Reine Angew. Math. 328 (1981), 3957. MR 83a:12018
 [FGS93]
 M. Fried, R. Guralnick, J. Saxl, Schur covers and Carlitz's conjecture, Israel J. Math. 82 (1993), 157225. MR 94j:12007
 [GO]
 D. Gorenstein, Finite Simple Groups, 1982, Plenum Press, New York. MR 84j:20002
 [GL83]
 D. Gorenstein, R. Lyons, The local structure of finite groups of characteristic type, Mem. Amer. Math. Soc. 42 (1983), no. 276. MR 84g:20025
 [GMS01]
 R. M. Guralnick, P. Müller, J. Saxl, The rational function analogue of a question of Schur and exceptionality of permutation representations, Mem. Amer. Math. Soc. 162 (2003), no. 773.
 [Li97]
 C. H. Li, On selfcomplementary vertextransitive graphs, Comm. Algebra 25 (1997), 39033908. MR 98k:05119
 [LP00]
 C. H. Li, C. E. Praeger, Selfcomplementary vertextransitive graphs need not be Cayley graphs, Bull. London Math. Soc. 33 (2001), 653661. MR 2002h:05085
 [LP01]
 C. H. Li, C. E. Praeger, On partitioning the orbitals of a transitive permutation group, Trans. Amer. Math. Soc. 355 (2003), No.2, 637653.
 [LPS00]
 M. Liebeck, C. E. Praeger and J. Saxl, Transitive subgroups of primitive permutation groups, J. Algebra 234 (2000), no. 2, 291361. MR 2001i:20003
 [Muz99]
 M. Muzychuk, On Sylow's subgraphs of vertextransitive selfcomplementary graphs, Bull. London Math. Soc. 31 (1999), 531533. MR 2000i:05093
 [Sac62]
 H. Sachs, Über selbstcomplementäre Graphen, Publ. Math. Debrecen 9 (1962), 270288. MR 27:1934
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (2000):
20B15,
20B30,
05C25
Retrieve articles in all journals
with MSC (2000):
20B15,
20B30,
05C25
Additional Information
R. M. Guralnick
Affiliation:
Department of Mathematics, University of Southern California, Los Angeles, California 90089
Email:
guralnic@math.usc.edu
Cai Heng Li
Affiliation:
School of Mathematics and Statistics, The University of Western Australia, Crawley, Western Australia 6009, Australia
Email:
li@maths.uwa.edu.au
Cheryl E. Praeger
Affiliation:
School of Mathematics and Statistics, The University of Western Australia, Crawley, Western Australia 6009, Australia
Email:
praeger@maths.uwa.edu.au
J. Saxl
Affiliation:
Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, University of Cambridge, Wilberforce Road, Cambridge CB3 0WB, England
Email:
saxl@dpmms.cam.ac.uk
DOI:
http://dx.doi.org/10.1090/S0002994704033963
PII:
S 00029947(04)033963
Received by editor(s):
October 5, 2002
Received by editor(s) in revised form:
April 15, 2003
Published electronically:
January 13, 2004
Additional Notes:
This paper is part of a project funded by the Australian Research Council. The first author acknowledges support from NSF grant DMS 0140578, and the first and fourth authors acknowledge support by an EPSRC grant.
Article copyright:
© Copyright 2004 American Mathematical Society
