Source author record

Tomasz Popiel

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.GR math.AG

Catalog footprint

Research overview

7works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

$\text{M}$ , $\text{B}$ and $\text{Co}_1$ are recognisable by their prime graphs

The prime graph, or Gruenberg--Kegel graph, of a finite group $G$ is the graph $Γ(G)$ whose vertices are the prime divisors of $|G|$ , and whose edges are the pairs $\{p,q\}$ for which $G$ contains an element of order $pq$ . A finite group $G$ is recognisable by its prime graph if every finite group $H$ with $Γ(H)=Γ(G)$ is isomorphic to $G$ . By a result of Cameron and Maslova, every such group must be almost simple, so one natural case to investigate is that in which $G$ is one of the $26$ sporadic simple groups. Existing work of various authors answers the question of recognisability by prime graph for all but three of these groups, namely the Monster, $\text{M}$ , the Baby Monster, $\text{B}$ , and the first Conway group, $\text{Co}_1$ . We prove that these three groups are recognisable by their prime graphs.

preprint2020arXiv

Nets of conics of rank one in PG(2,q), q odd

We classify nets of conics in Desarguesian projective planes over finite fields of odd order, namely, two-dimensional linear systems of conics containing a repeated line. Our proof is geometric in the sense that we solve the equivalent problem of classifying the orbits of planes in $\text{PG}(5,q)$ which meet the quadric Veronesean in at least one point, under the action of $\text{PGL}(3,q) \leqslant \text{PGL}(6,q)$ (for $q$ odd). Our results complete a partial classification of nets of conics of rank one obtained by A. H. Wilson in the article "The canonical types of nets of modular conics", American Journal of Mathematics 36 (1914) 187-210.

preprint2016arXiv

Point-primitive, line-transitive generalised quadrangles of holomorph type

Let $G$ be a group of collineations of a finite thick generalised quadrangle $Γ$ . Suppose that $G$ acts primitively on the point set $\mathcal{P}$ of $Γ$ , and transitively on the lines of $Γ$ . We show that the primitive action of $G$ on $\mathcal{P}$ cannot be of holomorph simple or holomorph compound type. In joint work with Glasby, we have previously classified the examples $Γ$ for which the action of $G$ on $\mathcal{P}$ is of affine type. The problem of classifying generalised quadrangles with a point-primitive, line-transitive collineation group is therefore reduced to the case where there is a unique minimal normal subgroup $M$ and $M$ is non-Abelian.

preprint2015arXiv

Generalised polygons admitting a point-primitive almost simple group of Suzuki or Ree type

Let $G$ be a collineation group of a thick finite generalised hexagon or generalised octagon $Γ$ . If $G$ acts primitively on the points of $Γ$ , then a recent result of Bamberg et al. shows that $G$ must be an almost simple group of Lie type. We show that, furthermore, the minimal normal subgroup $S$ of $G$ cannot be a Suzuki group or a Ree group of type $^2\text{G}_2$ , and that if $S$ is a Ree group of type $^2\text{F}_4$ , then $Γ$ is (up to point--line duality) the classical Ree--Tits generalised octagon.

preprint2014arXiv

Generalised quadrangles and transitive pseudo-hyperovals

A pseudo-hyperoval of a projective space $\PG(3n-1,q)$, $q$ even, is a set of $q^n+2$ subspaces of dimension $n-1$ such that any three span the whole space. We prove that a pseudo-hyperoval with an irreducible transitive stabiliser is elementary. We then deduce from this result a classification of the thick generalised quadrangles $\mathcal{Q}$ that admit a point-primitive, line-transitive automorphism group with a point-regular abelian normal subgroup. Specifically, we show that $\mathcal{Q}$ is flag-transitive and isomorphic to $T_2^*(\mathcal{H})$ , where $\mathcal{H}$ is either the regular hyperoval of $\PG(2,4)$ or the Lunelli--Sce hyperoval of $\PG(2,16)$.

preprint2014arXiv

Point-primitive generalised hexagons and octagons

In 2008, Schneider and Van Maldeghem proved that if a group acts flag-transitively, point-primitively, and line-primitively on a generalised hexagon or generalised octagon, then it is an almost simple group of Lie type. We show that point-primitivity is sufficient for the same conclusion, regardless of the action on lines or flags. This result narrows the search for generalised hexagons or octagons with point- or line-primitive collineation groups beyond the classical examples, namely the two generalised hexagons and one generalised octagon admitting the Lie type groups $\mathsf{G}_2(q)$ , $\,^3\mathsf{D}_4(q)$ , and $\,^2\mathsf{F}_4(q)$ , respectively.

preprint2012arXiv

Abundant p-singular elements in finite classical groups

In 1995, Isaacs, Kantor and Spaltenstein proved that for a finite simple classical group G defined over a field with q elements, and for a prime divisor p of |G| distinct from the characteristic, the proportion of p-singular elements in G (elements with order divisible by p) is at least a constant multiple of (1 - 1/p)/e, where e is the order of q modulo p. Motivated by algorithmic applications, we define a subfamily of p-singular elements, called p-abundant elements, which leave invariant certain "large" subspaces of the natural G-module. We find explicit upper and lower bounds for the proportion of p-abundant elements in G, and prove that it approaches a (positive) limiting value as the dimension of G tends to infinity. It turns out that the limiting proportion of p-abundant elements is at least a constant multiple of the Isaacs-Kantor-Spaltenstein lower bound for the proportion of all p-singular elements.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Tomasz Popiel

Research overview

Is this your work?

7 publications

$\text{M}$ , $\text{B}$ and $\text{Co}_1$ are recognisable by their prime graphs

Nets of conics of rank one in PG(2,q), q odd

Point-primitive, line-transitive generalised quadrangles of holomorph type

Generalised polygons admitting a point-primitive almost simple group of Suzuki or Ree type

Generalised quadrangles and transitive pseudo-hyperovals

Point-primitive generalised hexagons and octagons

Abundant p-singular elements in finite classical groups

See the researcher in context

Building this map preview

Tomasz Popiel

Research overview

Is this your work?

7 publications

M\text{M}M, B\text{B}B and Co1\text{Co}_1Co1​ are recognisable by their prime graphs

Nets of conics of rank one in PG(2,q), q odd

Point-primitive, line-transitive generalised quadrangles of holomorph type

Generalised polygons admitting a point-primitive almost simple group of Suzuki or Ree type

Generalised quadrangles and transitive pseudo-hyperovals

Point-primitive generalised hexagons and octagons

Abundant p-singular elements in finite classical groups

See the researcher in context

Building this map preview

$\text{M}$ , $\text{B}$ and $\text{Co}_1$ are recognisable by their prime graphs