arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.09368

Abelian composition factors of finite rational groups

Junying Guo·Yanjun Liu·Huan Xiong
View original source ↗Read source document ↗Export metadata ↓

Abstract

Motivated by an observation concerning the $S_3$-conjecture, we prove that every abelian composition factor of a finite rational group has order $2$, $3$, or $5$. Thompson previously restricted these orders to $\{2,3,5,7,11\}$; we exclude $7$ and $11$, establishing the bound that he proposed. Together with the work of Feit and Seitz on nonabelian composition factors, this completes the determination of the possible composition factors of finite rational groups.

Explore related subjects

math.GRmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Junying Guo, Yanjun Liu, Huan Xiong. 2026-10-07. Abelian composition factors of finite rational groups. https://arxiv.org/abs/2610.09368

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Locally approximating groups of homeomorphisms of manifolds

Let $M$ be a compact, connected manifold of positive dimension, and let $\mathcal G\leq\mathrm{Homeo}(M)$ be locally approximating. If $\mathrm{dim} M\geq 2$, we construct a uniform parameter-free interpretation of standard first-order arithmetic in $\mathcal G$. The same construction applies in dimension one under a component-selection hypothesis, which holds for the usual piecewise-linear and Thompson-group examples, as well as for full homeomorphism and diffeomorphism groups. We also define finite word evaluation and membership in finitely generated subgroups, and derive consequences for finite generation, prime models, and quasi-finite axiomatizability. In dimension one, we construct countable recursively saturated locally approximating groups of homeomorphisms of the interval and circle which do not interpret standard arithmetic, even with parameters. Finally, we prove an action rigidity result: if $M$ is closed and admits a combinatorial triangulation, $\mathcal G\leq\mathrm{Homeo}(M)$ is locally approximating, and $H\equiv\mathcal G$ admits a locally approximating action on a compact connected topological manifold $N$, then $N$ is homeomorphic to $M$.

math.GR↗
arXiv2026

On rational orbits in some prehomogeneous vector spaces

Let $k$ be a field with characteristic different from $2$. In this paper, we describe the $k$-rational orbit spaces in some irreducible prehomogeneous vector spaces $(G,V)$, where $G$ is a connected reductive algebraic group and $V$ is an irreducible rational representation of $G$ with a Zariski dense open orbit over the field $k$. We prove that all composition algebras over $k$ appear as orbit spaces in some of these representations associated to the group $Sp_{6}$. This leads to a parametric description of the reduced Freudenthal algebras of dimensions $6$ and $9$ over $k$ (if $\text{char}(k)\neq 2,3$). In this process, we provide a construction of the irreducible representation of $Sp_{6}$ with dimension $14$ from the split octonion algebra. We also get the orbit decomposition in the irreducible representation of dimension $7$ and the corresponding octonion algebra of any simple connected group of type $G_{2}$, and a parametrization of the isotopes of any Freudenthal algebra over $k$.

math.GR↗
arXiv2026

Resolving Thinness of Degree-Six Symplectic Hypergeometric Monodromy Groups

We prove arithmeticity for two degree-six symplectic hypergeometric monodromy groups and thinness for a third case. These are the three open cases called C-32, C-47, and C-55 in the paper [BDN25] by Bajpai--Dona--Nitsche. This hence settles thinness of primitive integral symplectic hypergeometric monodromy groups of degree-six, according to the tabulation by Bajpai--Dona--Singh--Singh [BDSS21]. The arithmeticity certificates were found with AlphaEvolve and the thinness certificate is a ping pong table found by a harness that was configured to run ChatGPT 5.5. These certificates are then independently verified with exact matrix arithmetic over Q using a computer. We also include illustrations of limit sets of several degree-six symplectic hypergeometric monodromy groups.

math.GR↗