BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Robert M. Guralnick

Robert M. Guralnick contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2023arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Topological generation of exceptional algebraic groups

Let $G$ be a simple algebraic group over an algebraically closed field $k$ and let $C_1, \ldots, C_t$ be non-central conjugacy classes in $G$. In this paper, we consider the problem of determining whether there exist $g_i \in C_i$ such that $\langle g_1, \ldots, g_t \rangle$ is Zariski dense in $G$. First we establish a general result, which shows that if $Ω$ is an irreducible subvariety of $G^t$, then the set of tuples in $Ω$ generating a dense subgroup of $G$ is either empty or dense in $Ω$. In the special case $Ω= C_1 \times \cdots \times C_t$, by considering the dimensions of fixed point spaces, we prove that this set is dense when $G$ is an exceptional algebraic group and $t \geqslant 5$, assuming $k$ is not algebraic over a finite field. In fact, for $G=G_2$ we only need $t \geqslant 4$ and both of these bounds are best possible. As an application, we show that many faithful representations of exceptional algebraic groups are generically free. We also establish new results on the topological generation of exceptional groups in the special case $t=2$, which have applications to random generation of finite exceptional groups of Lie type. In particular, we prove a conjecture of Liebeck and Shalev on the random $(r,s)$-generation of exceptional groups.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Generically free representations I: large representations

For a simple linear algebraic group $G$ acting faithfully on a vector space $V$ and under mild assumptions, we show: if $V$ is large enough, then the Lie algebra of $G$ acts generically freely on $V$. That is, the stabilizer in the Lie algebra of $G$ of a generic vector in $V$ is zero. The bound on $\dim V$ grows like $(\mathrm{rank} G)^2$ and holds with only mild hypotheses on the characteristic of the underlying field. The proof relies on results on generation of Lie algebras by conjugates of an element that may be of independent interest. We use the bound in subsequent works to determine which irreducible faithful representations are generically free, with no hypothesis on the characteristic of the field. This in turn has applications to the question of which representations have a stabilizer in general position as well as the determination of the invariants of the representation.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Generically free representations II: irreducible representations

We determine which faithful irreducible representations $V$ of a simple linear algebraic group $G$ are generically free for Lie($G$), i.e., which $V$ have an open subset consisting of vectors whose stabilizer in Lie($G$) is zero. This relies on bounds on $\dim V$ obtained in prior work (part I), which reduce the problem to a finite number of possibilities for $G$ and highest weights for $V$, but still infinitely many characteristics. The remaining cases are handled individually, some by computer calculation. These results were previously known for fields of characteristic zero, although new phenomena appear in prime characteristic; we provide a shorter proof that gives the result with very mild hypotheses on the characteristic. (The few characteristics not treated here are settled in part III.) These results are related to questions about invariants and the existence of a stabilizer in general position.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Generically free representations III: extremely bad characteristic

In parts I and II, we determined which faithful irreducible representations $V$ of a simple linear algebraic group $G$ are generically free for Lie($G$), i.e., which $V$ have an open subset consisting of vectors whose stabilizer in Lie($G$) is zero, with some assumptions on the characteristic of the field. This paper settles the remaining cases, which are of a different nature because Lie($G$) has a more complicated structure and there need not exist general dimension bounds of the sort that exist in good characteristic.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

A note on abelian subgroups of maximal order

In a recent paper of the first author and I. M. Isaacs it was shown that if m = m(G) is the maximal order of an abelian subgroup of the finite group G, then |G| divides m! ([AI18, Thm. 5.2]). The purpose of this brief note is to improve on the m! bound (see Theorem 2.1 below). We shall then take up the task of determining when the (implicit) inequality of our theorem becomes an equality. Despite, perhaps, first appearances this determination is not trivial. To accomplish it we shall establish a result (Theorem 2.3) of independent interest and we shall then see that Theorems 2.1 and 2.3 combine to further strengthen Theorem 2.1 (see Theorem 3.4).

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Character Levels and Character Bounds

We develop the concept of character level for the complex irreducible characters of finite, general or special, linear and unitary groups. We give characterizations of the level of a character in terms of its Lusztig's label and in terms of its degree. Then we prove explicit upper bounds for character values at elements with not-too-large centralizers and derive upper bounds on the covering number and mixing time of random walks corresponding to these conjugacy classes. We also characterize the level of the character in terms of certain dual pairs and prove explicit exponential character bounds for the character values, provided that the level is not too large.

0 citations0 reviewsNo code linkedOpen access