Searcharxiv⌕ Search

arXiv subjects

Robert M. Guralnick

Publications and source records attributed to Robert M. Guralnick.

At least 37 records · Page 2Linked to original sources
arXiv2024

Probabilistic Generation of Finite Almost Simple Groups

We prove that if G is a sufficiently large finite almost simple group of Lie type, then given a fixed nontrivial element x in G and a coset of G modulo its socle, the probability that x and a random element of the coset generate a subgroup containing the socle is uniformly bounded away from 0 (and goes to 1 if the field size goes to infinity). This is new even if G is simple. Together with results of Lucchini and Burness--Guralnick--Harper, this proves a conjecture of Lucchini and has an application to profinite groups. A key step in the proof is the determination of the limits for the proportion of elements in a classical group which fix no subspace of any bounded dimension.

math.GR↗
arXiv2024

On the maximal overgroups of Sylow subgroups of finite groups

In this paper, we determine the finite groups with a Sylow $r$-subgroup contained in a unique maximal subgroup. The proof involves a reduction to almost simple groups, and our main theorem extends earlier work of Aschbacher in the special case $r=2$. Several applications are presented. This includes some new results on weakly subnormal subgroups of finite groups, which can be used to study variations of the Baer-Suzuki theorem.

math.GR↗
arXiv2024

Weakly subnormal subgroups and variations of the Baer-Suzuki theorem

A subgroup $R$ of a finite group $G$ is weakly subnormal in $G$ if $R$ is not subnormal in $G$ but it is subnormal in every proper overgroup of $R$ in $G$. In this paper, we first classify all finite groups $G$ which contains a weakly subnormal $p$-subgroup for some prime $p$. We then determine all finite groups containing a cyclic weakly subnormal $p$-subgroup. As applications, we prove a number of variations of the Baer-Suzuki theorem using the orders of certain group elements.

math.GR↗
arXiv2023

Topological generation of simple algebraic groups

Let $G$ be a simple algebraic group over an algebraically closed field and let $X$ be an irreducible subvariety of $G^r$ with $r \geqslant 2$. In this paper, we consider the general problem of determining if there exists a tuple $(x_1, \ldots, x_r) \in X$ such that $\langle x_1, \ldots, x_r \rangle$ is Zariski dense in $G$. We are primarily interested in the case where $X = C_1 \times \cdots \times C_r$ and each $C_i$ is a conjugacy class of $G$ comprising elements of prime order modulo the center of $G$. In this setting, our main theorem gives a complete solution to the problem when $G$ is a symplectic or orthogonal group. By combining our results with earlier work on linear and exceptional groups, this gives a complete solution for all simple algebraic groups. We also present several applications. For example, we use our main theorem to show that many faithful representations of symplectic and orthogonal groups are generically free. We also establish new asymptotic results on the probabilistic generation of finite simple groups by pairs of prime order elements, completing a line of research initiated by Liebeck and Shalev over 25 years ago.

math.GR↗
arXiv2023

Finite groups can be generated by a pi-subgroup and a pi'-subgroup

Answering a question of Dan Haran and generalizing some results of Aschbacher-Guralnick and Suzuki, we prove that given a set of primes pi, any finite group can be generated by a pi-subgroup and a pi'-subgroup. This gives a free product description of a countably generated free profinite group.

math.GR↗
arXiv2023

Strongly base-two groups

Let $G$ be a finite group, let $H$ be a core-free subgroup and let $b(G,H)$ denote the base size for the action of $G$ on $G/H$. Let $α(G)$ be the number of conjugacy classes of core-free subgroups $H$ of $G$ with $b(G,H) \geqslant 3$. We say that $G$ is a strongly base-two group if $α(G) \leqslant 1$, which means that almost every faithful transitive permutation representation of $G$ has base size $2$. In this paper we study the strongly base-two finite groups with trivial Frattini subgroup.

math.GR↗
arXiv2022

Fixed point ratios for finite primitive groups and applications

Let $G$ be a finite primitive permutation group on a set $Ω$ and recall that the fixed point ratio of an element $x \in G$, denoted ${\rm fpr}(x)$, is the proportion of points in $Ω$ fixed by $x$. Fixed point ratios in this setting have been studied for many decades, finding a wide range of applications. In this paper, we are interested in comparing ${\rm fpr}(x)$ with the order of $x$. Our main theorem classifies the triples $(G,Ω,x)$ as above with the property that $x$ has prime order $r$ and ${\rm fpr}(x) > 1/(r+1)$. There are several applications. Firstly, we extend earlier work of Guralnick and Magaard by determining the primitive permutation groups of degree $m$ with minimal degree at most $2m/3$. Secondly, our main result plays a key role in recent work of the authors (together with Moretó and Navarro) on the commuting probability of $p$-elements in finite groups. Finally, we use our main theorem to investigate the minimal index of a primitive permutation group, which allows us to answer a question of Bhargava.

math.GR↗
arXiv2022

Criteria for solubility and nilpotency of finite groups with automorphisms

Let $G$ be a finite group admitting a coprime automorphism $α$. Let $J_G(α)$ denote the set of all commutators $[x,α]$, where $x$ belongs to an $α$-invariant Sylow subgroup of $G$. We show that $[G,α]$ is soluble or nilpotent if and only if any subgroup generated by a pair of elements of coprime orders from the set $J_G(α)$ is soluble or nilpotent, respectively.

math.GR↗
arXiv2022

On the commuting probability of p-elements in a finite group

Let $G$ be a finite group, let $p$ be a prime and let ${\rm Pr}_p(G)$ be the probability that two random $p$-elements of $G$ commute. In this paper we prove that ${\rm Pr}_p(G) > (p^2+p-1)/p^3$ if and only if $G$ has a normal and abelian Sylow $p$-subgroup, which generalizes previous results on the widely studied commuting probability of a finite group. This bound is best possible in the sense that for each prime $p$ there are groups with ${\rm Pr}_p(G) = (p^2+p-1)/p^3$ and we classify all such groups. Our proof is based on bounding the proportion of $p$-elements in $G$ that commute with a fixed $p$-element in $G \setminus \textbf{O}_p(G)$, which in turn relies on recent work of the first two authors on fixed point ratios for finite primitive permutation groups.

math.GR↗
arXiv2022

On the generation of simple groups by Sylow subgroups

Let $G$ be a finite simple group of Lie type and let $P$ be a Sylow $2$-subgroup of $G$. In this paper, we prove that for any nontrivial element $x \in G$, there exists $g \in G$ such that $G = \langle P, x^g \rangle$. By combining this result with recent work of Breuer and Guralnick, we deduce that if $G$ is a finite nonabelian simple group and $r$ is any prime divisor of $|G|$, then $G$ is generated by a Sylow $2$-subgroup and a Sylow $r$-subgroup.

math.GR↗
arXiv2022

Coprime automorphisms of finite groups

Let $G$ be a finite group admitting a coprime automorphism $α$ of order $e$. Denote by $I_G(α)$ the set of commutators $g^{-1}g^α$, where $g\in G$, and by $[G,α]$ the subgroup generated by $I_G(α)$. We study the impact of $I_G(α)$ on the structure of $[G,α]$. Suppose that each subgroup generated by a subset of $I_G(α)$ can be generated by at most $r$ elements. We show that the rank of $[G,α]$ is $(e,r)$-bounded. Along the way, we establish several results of independent interest. In particular, we prove that if every element of $I_G(α)$ has odd order, then $[G,α]$ has odd order too. Further, if every pair of elements from $I_G(α)$ generates a soluble, or nilpotent, subgroup, then $[G,α]$ is soluble, or respectively nilpotent.

math.GR↗
arXiv2021

Generic stabilizers for simple algebraic groups

We prove a myriad of results related to the stabilizer in an algebraic group $G$ of a generic vector in a representation $V$ of $G$ over an algebraically closed field $k$. Our results are on the level of group schemes, which carries more information than considering both the Lie algebra of $G$ and the group $G(k)$ of $k$-points. For $G$ simple and $V$ faithful and irreducible, we prove the existence of a stabilizer in general position, sometimes called a principal orbit type. We determine those $G$ and $V$ for which the stabilizer in general position is smooth, or $\dim V/G < \dim G$, or there is a $v \in V$ whose stabilizer in $G$ is trivial.

math.RT↗
arXiv2021

The spread of a finite group

A group $G$ is said to be $\frac{3}{2}$-generated if every nontrivial element belongs to a generating pair. It is easy to see that if $G$ has this property then every proper quotient of $G$ is cyclic. In this paper we prove that the converse is true for finite groups, which settles a conjecture of Breuer, Guralnick and Kantor from 2008. In fact, we prove a much stronger result, which solves a problem posed by Brenner and Wiegold in 1975. Namely, if $G$ is a finite group and every proper quotient of $G$ is cyclic, then for any pair of nontrivial elements $x_1,x_2 \in G$, there exists $y \in G$ such that $G = \langle x_1, y \rangle = \langle x_2, y \rangle$. In other words, $s(G) \geqslant 2$, where $s(G)$ is the spread of $G$. Moreover, if $u(G)$ denotes the more restrictive uniform spread of $G$, then we can completely characterise the finite groups $G$ with $u(G) = 0$ and $u(G)=1$. To prove these results, we first establish a reduction to almost simple groups. For simple groups, the result was proved by Guralnick and Kantor in 2000 using probabilistic methods and since then the almost simple groups have been the subject of several papers. By combining our reduction theorem and this earlier work, it remains to handle the groups whose socles are exceptional groups of Lie type and this is the case we treat in this paper.

math.GR↗
arXiv2020

On the singular value decomposition over finite fields and orbits of GU x GU

The singular value decomposition of a complex matrix is a fundamental concept in linear algebra and has proved extremely useful in many subjects. It is less clear what the situation is over a finite field. In this paper, we classify the orbits of GU(m,q) x GU(n,q) on n by n matrices (which is the analog of the singular value decomposition). The proof involves Kronecker's theory of pencils and the Lang-Steinberg theorem for algebraic groups. Besides the motivation mentioned above, this problem came up in a recent paper of Guralnick, Larsen and Tiep where a concept of character level for the complex irreducible characters of finite, general or special, linear and unitary groups was studied and bounds on the number of orbits was needed. A consequence of this work determines possible pairs of Jordan forms for nilpotent matrices of the form AB where B is either the transpose of A or the conjugate transpose.

math.GR↗
arXiv2020

Sectional rank and Cohomology II

We investigate bounds on the dimension of cohomology groups for finite groups acting on an irreducible kG-module for G a finite group of bound sectional p-rank and k an algebraically closed field of characteristic p.

math.GR↗
arXiv2020

On the generalized Fitting height and insoluble length of finite groups

We prove two conjectures of E. Khukhro and P. Shumyatsky concerning the Fitting height and insoluble length of finite groups. As a by-product of our methods, we also prove a generalization of a result of Flavell, which itself generalizes Wielandt's Zipper Lemma and provides a characterization of subgroups contained in a unique maximal subgroup. We also derive a number of consequences of our theorems, including some applications to the set of odd order elements of a finite group inverted by an involutory automorphism.

math.GR↗