scholarly journals A note on extremely primitive affine groups

Author(s):  
Timothy C. Burness ◽  
Adam R. Thomas

Abstract Let G be a finite primitive permutation group on a set $$\Omega $$ Ω with non-trivial point stabilizer $$G_{\alpha }$$ G α . We say that G is extremely primitive if $$G_{\alpha }$$ G α acts primitively on each of its orbits in $$\Omega {\setminus } \{\alpha \}$$ Ω \ { α } . In earlier work, Mann, Praeger, and Seress have proved that every extremely primitive group is either almost simple or of affine type and they have classified the affine groups up to the possibility of at most finitely many exceptions. More recently, the almost simple extremely primitive groups have been completely determined. If one assumes Wall’s conjecture on the number of maximal subgroups of almost simple groups, then the results of Mann et al. show that it just remains to eliminate an explicit list of affine groups in order to complete the classification of the extremely primitive groups. Mann et al. have conjectured that none of these affine candidates are extremely primitive and our main result confirms this conjecture.

2015 ◽  
Vol 2015 ◽  
pp. 1-4
Author(s):  
Qian Cai ◽  
Hua Zhang

Primitive permutation groups of prime power degree are known to be affine type, almost simple type, and product action type. At the present stage finding an explicit classification of primitive groups of affine type seems untractable, while the product action type can usually be reduced to almost simple type. In this paper, we present a short survey of the development of primitive groups of prime power degree, together with a brief description on such groups.


2018 ◽  
Vol 167 (3) ◽  
pp. 417-435
Author(s):  
NICK GILL ◽  
FRANCIS HUNT ◽  
PABLO SPIGA

AbstractA permutation group G on a set Ω is said to be binary if, for every n ∈ ℕ and for every I, J ∈ Ωn, the n-tuples I and J are in the same G-orbit if and only if every pair of entries from I is in the same G-orbit to the corresponding pair from J. This notion arises from the investigation of the relational complexity of finite homogeneous structures.Cherlin has conjectured that the only finite primitive binary permutation groups are the symmetric groups Sym(n) with their natural action, the groups of prime order, and the affine groups V ⋊ O(V) where V is a vector space endowed with an anisotropic quadratic form.We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to PSL2(q), 2B2(q), 2G2(q) or PSU3(q). Our method uses the notion of a “strongly non-binary action”.


2020 ◽  
Vol 8 ◽  
Author(s):  
ANDREA LUCCHINI ◽  
CLAUDE MARION ◽  
GARETH TRACEY

For a finite group $G$ , let $d(G)$ denote the minimal number of elements required to generate $G$ . In this paper, we prove sharp upper bounds on $d(H)$ whenever $H$ is a maximal subgroup of a finite almost simple group. In particular, we show that $d(H)\leqslant 5$ and that $d(H)\geqslant 4$ if and only if $H$ occurs in a known list. This improves a result of Burness, Liebeck and Shalev. The method involves the theory of crowns in finite groups.


2019 ◽  
Vol 62 (4) ◽  
pp. 1137-1162
Author(s):  
Alexander Y. Chua ◽  
Michael Giudici ◽  
Luke Morgan

AbstractDolfi, Guralnick, Praeger and Spiga asked whether there exist infinitely many primitive groups of twisted wreath type with non-trivial coprime subdegrees. Here, we settle this question in the affirmative. We construct infinite families of primitive twisted wreath permutation groups with non-trivial coprime subdegrees. In particular, we define a primitive twisted wreath group G(m, q) constructed from the non-abelian simple group PSL(2, q) and a primitive permutation group of diagonal type with socle PSL(2, q)m, and determine many subdegrees for this group. A consequence is that we determine all values of m and q for which G(m, q) has non-trivial coprime subdegrees. In the case where m = 2 and $q\notin \{7,11,29\}$, we obtain a full classification of all pairs of non-trivial coprime subdegrees.


2010 ◽  
Vol 51 (1) ◽  
pp. 174-177
Author(s):  
T. V. Tikhonenko ◽  
V. N. Tyutyanov

1988 ◽  
Vol 103 (2) ◽  
pp. 213-238 ◽  
Author(s):  
John D. Dixon ◽  
Brian Mortimer

Our object is to describe all of the-primitive permutation groups of degree less than 1000 together with some of their significant properties. We think that such a list is of interest in illustrating in concrete form the kinds of primitive groups which arise, in suggesting conjectures about primitive groups, and in settling small exceptional cases which often occur in proofs of theorems about permutation groups. The range that we consider is large enough to allow examples of most of the types of primitive group to appear. Earlier lists (of varying completeness and accuracy) of primitive groups of degree d have been published by: C. Jordan (1872) [21] ford≤ 17, by W. Burnside (1897) [5] ford≤ 8, by Manning (1929) [34–38] ford≤ 15, by C. C. Sims (1970) [45] ford≤ 20, and by B. A. Pogorelev (1980) [42] ford≤ 50. Unpublished lists have also been prepared by C. C. Sims ford≤ 50 and by Mizutani[41] ford≤ 48. Using the classification of finite simple groups which was completed in 1981 we have been able to extend the list much further. Our task has been greatly simplified by the detailed information about many finite simple groups which is available in theAtlas of Finite Groupswhich we will refer to as theAtlas[8].


2020 ◽  
Vol 23 (6) ◽  
pp. 999-1016
Author(s):  
Anatoly S. Kondrat’ev ◽  
Natalia V. Maslova ◽  
Danila O. Revin

AbstractA subgroup H of a group G is said to be pronormal in G if H and {H^{g}} are conjugate in {\langle H,H^{g}\rangle} for every {g\in G}. In this paper, we determine the finite simple groups of type {E_{6}(q)} and {{}^{2}E_{6}(q)} in which all the subgroups of odd index are pronormal. Thus, we complete a classification of finite simple exceptional groups of Lie type in which all the subgroups of odd index are pronormal.


1997 ◽  
Vol 40 (2) ◽  
pp. 243-246
Author(s):  
Yanming Wang

A subgroup H is called c-normal in a group G if there exists a normal subgroup N of G such that HN = G and H∩N ≤ HG, where HG =: Core(H) = ∩g∈GHg is the maximal normal subgroup of G which is contained in H. We use a result on primitive groups and the c-normality of maximal subgroups of a finite group G to obtain results about the influence of the set of maximal subgroups on the structure of G.


2019 ◽  
Vol 12 (05) ◽  
pp. 1950081
Author(s):  
M. Jahandideh ◽  
R. Modabernia ◽  
S. Shokrolahi

Let [Formula: see text] be a non-abelian finite group and [Formula: see text] be the center of [Formula: see text]. The non-commuting graph, [Formula: see text], associated to [Formula: see text] is the graph whose vertex set is [Formula: see text] and two distinct vertices [Formula: see text] are adjacent if and only if [Formula: see text]. We conjecture that if [Formula: see text] is an almost simple group and [Formula: see text] is a non-abelian finite group such that [Formula: see text], then [Formula: see text]. Among other results, we prove that if [Formula: see text] is a certain almost simple group and [Formula: see text] is a non-abelian group with isomorphic non-commuting graphs, then [Formula: see text].


Sign in / Sign up

Export Citation Format

Share Document