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), 4857-4872

MSC (2000):
Primary 20B15, 20B30, 05C25

DOI:
https://doi.org/10.1090/S0002-9947-04-03396-3

Published electronically:
January 13, 2004

MathSciNet review:
2084402

Full-text 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 non-trivial 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 prime-power order, then there exists a partition of such that is a TOD. This paper characterizes TODs such that is primitive and is cyclic of prime-power order. An application is given to the classification of self-complementary vertex-transitive graphs.

**[FKS81]**Burton Fein, William M. Kantor, and Murray Schacher,*Relative Brauer groups. II*, J. Reine Angew. Math.**328**(1981), 39–57. MR**636194****[FGS93]**Michael D. Fried, Robert Guralnick, and Jan Saxl,*Schur covers and Carlitz’s conjecture*, Israel J. Math.**82**(1993), no. 1-3, 157–225. MR**1239049**, https://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****[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**, https://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 self-complementary vertex-transitive graphs*, Comm. Algebra**25**(1997), no. 12, 3903–3908. MR**1481574**, https://doi.org/10.1080/00927879708826094**[LP00]**Cai Heng Li and Cheryl E. Praeger,*Self-complementary vertex-transitive graphs need not be Cayley graphs*, Bull. London Math. Soc.**33**(2001), no. 6, 653–661. MR**1853775**, https://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, 637-653.**[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**, https://doi.org/10.1006/jabr.2000.8547**[Muz99]**Mikhail Muzychuk,*On Sylow subgraphs of vertex-transitive self-complementary graphs*, Bull. London Math. Soc.**31**(1999), no. 5, 531–533. MR**1703877**, https://doi.org/10.1112/S0024609399005925**[Sac62]**Horst Sachs,*Über selbstkomplementäre Graphen*, Publ. Math. Debrecen**9**(1962), 270–288 (German). MR**0151953**

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:
https://doi.org/10.1090/S0002-9947-04-03396-3

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