Finite simple permutation groups acting with fixity 4

Barbara Baumeister,Paula Hähndel,Kay Magaard,Patrick Salfeld,Rebecca Waldecker

2023-12-14

Abstract:Motivated by the theory of Riemann surfaces and specifically the significance of Weierstrass points, we classify all finite simple groups that have a faithful transitive action with fixity 4, along with details about all possible such actions.

Group Theory

What problem does this paper attempt to address?

Finite simple groups acting with fixity 4 and their occurrence as groups of automorphisms of Riemann surfaces

Patrick Salfeld,Rebecca Waldecker

2024-12-09

Abstract:In previous work, all finite simple groups that act with fixity 4 have been classified. In this article we investigate which ones of these groups act faithfully on a compact Riemann surface of genus at least 2 with fixity four in total and in such a way that fixity 4 is exhibited on at least one orbit.

Group Theory
Transitive permutation groups with trivial four point stabilizers

Kay Magaard,Rebecca Waldecker

DOI: https://doi.org/10.48550/arXiv.1411.7575

2014-11-27

Abstract:In this paper we analyze the structure of transitive permutation groups that have trivial four point stabilizers, but some nontrivial three point stabilizer. In particular we give a complete, detailed classification when the group is simple or quasisimple. This paper is motivated by questions concerning the relationship between fixed points of automorphisms of Riemann surfaces and Weierstrass points and is a continuation of the authors' earlier work.

Group Theory
Fixers and derangements of finite permutation groups

Hong Yi Huang,Cai Heng Li,Yi Lin Xie

2024-07-31

Abstract:Let $G\leqslant\mathrm{Sym}(\Omega)$ be a finite transitive permutation group with point stabiliser $H$. We say that a subgroup $K$ of $G$ is a fixer if every element of $K$ has fixed points, and we say that $K$ is large if $|K| \geqslant |H|$. There is a special interest in studying large fixers due to connections with Erdős-Ko-Rado type problems. In this paper, we classify up to conjugacy the large fixers of the almost simple primitive groups with socle $\mathrm{PSL}_2(q)$, and we use this result to verify a special case of a conjecture of Spiga on permutation characters. We also present some results on large fixers of almost simple primitive groups with socle an alternating or sporadic group.

Group Theory,Combinatorics
On finite permutation groups of rank three

Hong Yi Huang,Cai Heng Li,Yan Zhou Zhu

2024-07-31

Abstract:The classification of the finite primitive permutation groups of rank $3$ was completed in the 1980s and this landmark achievement has found a wide range of applications. In the general transitive setting, a classical result of Higman shows that every finite imprimitive rank $3$ permutation group $G$ has a unique non-trivial block system $\mathcal{B}$ and this provides a natural way to partition the analysis of these groups. Indeed, the induced permutation group $G^{\mathcal{B}}$ is $2$-transitive and one can also show that the action induced on each block in $\mathcal{B}$ is also $2$-transitive (and so both induced groups are either affine or almost simple). In this paper, we make progress towards a classification of the rank $3$ imprimitive groups by studying the case where the induced action of $G$ on a block in $\mathcal{B}$ is of affine type. Our main theorem divides these rank $3$ groups into four classes, which are defined in terms of the kernel of the action of $G$ on $\mathcal{B}$. In particular, we completely determine the rank $3$ semiprimitive groups for which $G^{\mathcal{B}}$ is almost simple, extending recent work of Baykalov, Devillers and Praeger. We also prove that if $G$ is rank $3$ semiprimitive and $G^{\mathcal{B}}$ is affine, then $G$ has a regular normal subgroup which is a special $p$-group for some prime $p$.

Group Theory
Finite semiprimitive permutation groups of rank $3$

Cai Heng Li,Hanyue Yi,Yan Zhou Zhu

2024-12-04

Abstract:A transitive permutation group is said to be semiprimitive if each of its normal subgroups is either semiregular or <a class="link-external link-http" href="http://transitive.The" rel="external noopener nofollow">this http URL</a> class of semiprimitive groups properly contains primitive groups, quasiprimitive groups and innately transitive <a class="link-external link-http" href="http://groups.The" rel="external noopener nofollow">this http URL</a> latter three classes of groups of rank $3$ have been classified, forming significant progresses on the long-standing problem of classifying permutation groups of rank $3$.In this paper, a complete classification is given of finite semiprimitive groups of rank $3$ that are not innately transitive, examples of which are certain Schur coverings of certain almost simple $2$-transitive groups, and three exceptional small groups.

Group Theory
Permutation Groups with a Cyclic Two-Orbits Subgroup and Monodromy Groups of Siegel Functions

Peter Mueller

DOI: https://doi.org/10.48550/arXiv.math/0110060

2001-10-05

Abstract:We classify the finite primitive permutation groups which have a cyclic subgroup with two orbits. This extends classical topics in permutation group theory, and has arithmetic consequences. By a theorem of C. L. Siegel, affine algebraic curves with infinitely many integral points are parametrized by rational functions whose monodromy groups have this property. We classify the possibilities of these monodromy groups, and give an application to Hilbert's irreducibility theorem.

Group Theory,Number Theory
Finite quasiprimitive permutation groups with a metacyclic transitive subgroup

Cai Heng Li,Jiangmin Pan,Binzhou Xia

DOI: https://doi.org/10.1016/j.jalgebra.2021.08.023

IF: 0.908

2021-12-01

Journal of Algebra

Abstract:In this paper, we classify finite quasiprimitive permutation groups with a metacyclic transitive subgroup, solving a problem initiated by Wielandt in 1949. It also involves the classification of factorizations of almost simple groups with a metacyclic factor.

mathematics
Finite Groups with ℋ -Permutable Subgroups

Wenbin Guo,Chenchen Cao,Alexander N. Skiba,Darya A. Sinitsa

DOI: https://doi.org/10.1007/s40304-017-0101-1

2017-01-01

Communications in Mathematics and Statistics

Abstract:Let σ ={σ _i | i∈ I} be some partition of the set ℙ of all primes and G a finite group. A set ℋ of subgroups of G is said to be a complete Hall σ -set of G if every member 1 of ℋ is a Hall σ _i -subgroup of G for some i∈ I and ℋ contains exactly one Hall σ _i -subgroup of G for every i such that σ _i∩π (G)∅ . A subgroup A of G is said to be ℋ -permutable if A permutes with all members of the complete Hall σ -set ℋ of G . In this paper, we study the structure of G under the assuming that some subgroups of G are ℋ -permutable.
Classifying primitive solvable permutation groups of rank 5 and 6

Anakin Dey,Kolton O'Neal,Duc Van Khanh Tran,Camron Upshur,Yong Yang

DOI: https://doi.org/10.1515/jgth-2023-0205

2024-04-30

Journal of Group Theory

Abstract:Let G be a finite solvable permutation group acting faithfully and primitively on a finite set Ω. Let G 0 be the stabilizer of a point α in Ω. The rank of G is defined as the number of orbits of G 0 in Ω, including the trivial orbit { α } . In this paper, we completely classify the cases where G has rank 5 and 6, continuing the previous works on classifying groups of rank 4 or lower.

mathematics
Group factorisations, uniform automorphisms, and permutation groups of simple diagonal type

Cheryl E. Praeger,Csaba Schneider

DOI: https://doi.org/10.48550/arXiv.1611.01103

2017-05-31

Abstract:We present a new proof, which is independent of the finite simple group classification and applies also to infinite groups, that quasiprimitive permutation groups of simple diagonal type cannot be embedded into wreath products in product action. The proof uses several deep results that concern factorisations of direct products involving subdirect subgroups. We find that such factorisations are controlled by the existence of uniform automorphisms.

Group Theory
Minimal operations over permutation groups

Paolo Marimon,Michael Pinsker

2024-10-29

Abstract:We classify the possible types of minimal operations above an arbitrary permutation group. Above the trivial group, a theorem of Rosenberg yields that there are five types of minimal operations. We show that above any non-trivial permutation group there are at most four such types. Indeed, except above Boolean groups acting freely on a set, there are only three. In particular, this is the case for oligomorphic permutation groups, for which we improve a result of Bodirsky and Chen by showing one of the types in their classification does not exist. Building on these results, we answer three questions of Bodirsky that were previously open.

Rings and Algebras,Group Theory,Logic
Finite Groups with $${{{\mathcal {H}}}}$$ H -Permutable Subgroups

Wenbin Guo,Chenchen Cao,Alexander N. Skiba,Darya A. Sinitsa

DOI: https://doi.org/10.1007/s40304-017-0101-1

2017-01-01

Communications in Mathematics and Statistics

Abstract:Let $\sigma =\{\sigma _{i}\ |\ i\in I\}$ be some partition of the set $\mathbb {P}$ of all primes and G a finite group. A set ${{{\mathcal {H}}}}$ of subgroups of G is said to be a complete Hall $\sigma $ -set of G if every member $\ne 1$ of ${{{\mathcal {H}}}}$ is a Hall $\sigma _{i}$-subgroup of G for some $i\in I$ and ${{\mathcal {H}}}$ contains exactly one Hall $\sigma _{i}$-subgroup of G for every i such that $\sigma _{i}\cap \pi (G)\ne \emptyset $. A subgroup A of G is said to be ${{\mathcal {H}}}$-permutable if A permutes with all members of the complete Hall $\sigma $-set ${{{\mathcal {H}}}}$ of G. In this paper, we study the structure of G under the assuming that some subgroups of G are ${{\mathcal {H}}}$-permutable.
Finite Groups in Which Maximal Subgroups of Sylow -Subgroups are -Permutable

Gao, Z.

DOI: https://doi.org/10.1134/s0001434624070277

2024-10-22

Mathematical Notes

Abstract:In this paper, we investigate the structure of finite groups and obtain the classification of nonabelian chief factors by considering -permutable maximal subgroups of Sylow -subgroups. We also consider the application of such formations in the theory of finite groups.

mathematics
On the involution fixity of simple groups

Timothy C. Burness,Elisa Covato

DOI: https://doi.org/10.48550/arXiv.2007.01354

2021-05-10

Abstract:Let $G$ be a finite permutation group of degree $n$ and let ${\rm ifix}(G)$ be the involution fixity of $G$, which is the maximum number of fixed points of an involution. In this paper we study the involution fixity of almost simple primitive groups whose socle $T$ is an alternating or sporadic group; our main result classifies the groups of this form with ${\rm ifix}(T) \leqslant n^{4/9}$. This builds on earlier work of Burness and Thomas, who studied the case where $T$ is an exceptional group of Lie type, and it strengthens the bound ${\rm ifix}(T) > n^{1/6}$ (with prescribed exceptions), which was proved by Liebeck and Shalev in 2015. A similar result for classical groups will be established in a sequel.

Group Theory
Finite Σ-Soluble Groups in Which Σ-Permutability is a Transitive Relation

Xiaoxing Zhu,Chenchen Cao,Wenbin Guo

DOI: https://doi.org/10.1142/s0219498819500646

2019-01-01

Journal of Algebra and Its Applications

Abstract:Let [Formula: see text] be some partition of the set of all primes [Formula: see text], [Formula: see text] a finite group and [Formula: see text]. A set [Formula: see text] of subgroups of [Formula: see text] is said to be a complete Hall[Formula: see text]-set of [Formula: see text] if every member [Formula: see text] of [Formula: see text] is a Hall [Formula: see text]-subgroup of [Formula: see text] for some [Formula: see text] and [Formula: see text] contains exactly one Hall [Formula: see text]-subgroup of [Formula: see text] for every [Formula: see text]. A subgroup [Formula: see text] of [Formula: see text] is said to be [Formula: see text]-quasinormal or [Formula: see text]-permutable in [Formula: see text] provided there is a complete Hall [Formula: see text]-set [Formula: see text] of [Formula: see text] such that [Formula: see text] for all [Formula: see text] and all [Formula: see text]. In this paper, we study the structure of some generalized soluble groups [Formula: see text] in which [Formula: see text]-permutability is a transitive relation in [Formula: see text].
Primitive permutation groups and strongly factorizable transformation semigroups

João Araújo,Wolfram Bentz,Peter J. Cameron

DOI: https://doi.org/10.1016/j.jalgebra.2020.05.023

IF: 0.908

2021-01-01

Journal of Algebra

Abstract:Let Ω be a finite set and T(Ω) be the full transformation monoid on Ω. The rank of a transformation t∈T(Ω) is the natural number |Ωt|. Given A⊆T(Ω), denote by 〈A〉 the semigroup generated by A. Let k be a fixed natural number such that 2≤k≤|Ω|. In the first part of this paper we (almost) classify the permutation groups G on Ω such that for all rank k transformations t∈T(Ω), every element in St:=〈G,t〉 can be written as a product eg, where e2=e∈St and g∈G. In the second part we prove, among other results, that if S≤T(Ω) and G is the normalizer of S in the symmetric group on Ω, then the semigroup SG is regular if and only if S is regular. (Recall that a semigroup S is regular if for all s∈S there exists s′∈S such that s=ss′s.) The paper ends with a list of problems.

mathematics
Automorphism groups of finite posets II

Jonathan A. Barmak

DOI: https://doi.org/10.48550/arXiv.2008.04997

2020-08-12

Abstract:We prove that every finite group $G$ can be realized as the automorphism group of a poset with $4|G|$ points. We also provide bounds for the minimum number of points of a poset with cyclic automorphism group of a given prime power order.

Combinatorics
The structure of primitive permutation groups with finite suborbits and t.d.l.c. groups admitting a compact open subgroup that is maximal

Simon M. Smith

DOI: https://doi.org/10.48550/arXiv.1910.13624

2019-10-31

Abstract:This paper is about the structure of infinite primitive permutation groups and totally disconnected locally compact groups ("tdlc groups'"). The permutation groups we investigate are subdegree-finite (i.e. all orbits of point stabilisers are finite). Automorphism groups of connected, locally finite graphs are examples of subdegree-finite permutation groups. The tdlc groups we investigate all have a maximal subgroup that is compact and open. Tdlc groups with few open subgroups (recently studied by Pierre-Emmanuel Caprace and Timothée Marquis) are examples of such groups. We prove a classification result, and use it to show that every closed, subdegree-finite primitive group is a primitive subgroup of a product H Wr F_1 [X] F_2 Wr ... [X] F_{m-1} Wr F_m, where H is a closed, subdegree-finite and primitive group that is either finite or one-ended and almost topologically simple. The groups F_i are transitive and finite and m is finite. The product [X] here denotes the recently discovered box product, and all wreath products here act via their product action. We apply this permutational result to tdlc groups. If G is a tdlc group then it contains a compact open subgroup V. The permutation group induced by the action of G on the coset space G/V is called the Schlichting completion of the pair (G,V), and is denoted G//V. Knowledge of this action of G on G/V underpins many recent influential results in tdlc theory. We show that if V is a maximal subgroup of G, and G is non-compact, then G//V is subject to a topological interpretation of our result for primitive groups. We use this to show that in this case, if G//V is nondiscrete, preserves no nontrivial homogenous cartesian decomposition on G/V, and does not split nontrivially over a compact open subgroup, then the monolith of G//V is a nondiscrete, one-ended, topologically simple, compactly generated tdlc group.

Group Theory
Finite Groups Acting 2-Transitively on Their Sylow Subgroups

Caiheng Li,Jie Wang

DOI: https://doi.org/10.1007/s10114-999-0064-6

1998-01-01

Acta Mathematica Sinica English Series

Abstract:In this paper we have completely determined: (1) all almost simple groups which act 2-transitively on one of their sets of Sylow p -subgroups. (2) all non-abelian simple groups T whose automorphism group acts 2-transitively on one of the sets of Sylow p -subgroups of T . (3) all finite groups which are 2-transitive on all their sets of Sylow subgroups.
Fixed point sets for permutation modules

Peter Collings

DOI: https://doi.org/10.48550/arXiv.0901.4378

2009-01-28

Abstract:We investigate the representation of the symmetric group afforded by the action on its conjugacy class of fixed point free involutions, over an algebraically closed field of finite characteristic p. We discuss the general form of the set of involutions fixed by an arbitrary vertex of an irreducible component of the module afforded by the action, and show how such a set is composed of certain basic fixed point sets which we can enumerate in the case p = 2. The Broué correspondence allows us to pass from the fixed point sets to the vertices.

Representation Theory

Finite simple permutation groups acting with fixity 4

Finite simple groups acting with fixity 4 and their occurrence as groups of automorphisms of Riemann surfaces

Transitive permutation groups with trivial four point stabilizers

Fixers and derangements of finite permutation groups

On finite permutation groups of rank three

Finite semiprimitive permutation groups of rank $3$

Permutation Groups with a Cyclic Two-Orbits Subgroup and Monodromy Groups of Siegel Functions

Finite quasiprimitive permutation groups with a metacyclic transitive subgroup

Finite Groups with ℋ -Permutable Subgroups

Classifying primitive solvable permutation groups of rank 5 and 6

Group factorisations, uniform automorphisms, and permutation groups of simple diagonal type

Minimal operations over permutation groups

Finite Groups with $${{{\mathcal {H}}}}$$ H -Permutable Subgroups

Finite Groups in Which Maximal Subgroups of Sylow -Subgroups are -Permutable

On the involution fixity of simple groups

Finite Σ-Soluble Groups in Which Σ-Permutability is a Transitive Relation

Primitive permutation groups and strongly factorizable transformation semigroups

Automorphism groups of finite posets II

The structure of primitive permutation groups with finite suborbits and t.d.l.c. groups admitting a compact open subgroup that is maximal

Finite Groups Acting 2-Transitively on Their Sylow Subgroups

Fixed point sets for permutation modules