Table of Contents
Fetching ...

On finite groups with soluble centralisers

Valentina Grazian, Carmine Monetta, Gareth Tracey

TL;DR

The paper addresses the problem of classifying finite groups whose non-central centralisers are soluble, with a primary focus on the case where all such centralisers are soluble and on reduction to the $\pi$-element setting. It develops a cohesive framework combining cohomology (vanishing results for $H^1$ and $H^2$), Frattini lifting, and embeddings of alternating groups into Lie-type and sporadic groups, along with computational verification. The main contributions include a complete description of $G/R(G)$ when all non-central centralisers are soluble, and a reduction theorem for the $\pi$-element case that constrains non-abelian composition factors to specific families and bounds their complexity (twisted rank in Lie types and finite alternating bounds). The results yield applications to groups with soluble involution centralisers and to non-commuting graphs, including a graph-theoretic reduction for minimal counterexamples and explicit thickness bounds for alternating sections. Overall, the work provides a unified, technically diverse approach that clarifies how local centraliser solubility imposes strong global restrictions on a group’s structure.

Abstract

We classify finite groups in which the centralisers of certain non-central elements are soluble. This includes a full structural description of groups whose non-central element centralisers are all soluble, and a reduction theorem for the case in which all non-central $π$-elements have soluble centralisers, for a suitable collection $π$ of primes. Our results yield further descriptions under mild local conditions and have applications to groups with soluble involution centralisers, as well as to questions concerning non-commuting graphs.

On finite groups with soluble centralisers

TL;DR

The paper addresses the problem of classifying finite groups whose non-central centralisers are soluble, with a primary focus on the case where all such centralisers are soluble and on reduction to the -element setting. It develops a cohesive framework combining cohomology (vanishing results for and ), Frattini lifting, and embeddings of alternating groups into Lie-type and sporadic groups, along with computational verification. The main contributions include a complete description of when all non-central centralisers are soluble, and a reduction theorem for the -element case that constrains non-abelian composition factors to specific families and bounds their complexity (twisted rank in Lie types and finite alternating bounds). The results yield applications to groups with soluble involution centralisers and to non-commuting graphs, including a graph-theoretic reduction for minimal counterexamples and explicit thickness bounds for alternating sections. Overall, the work provides a unified, technically diverse approach that clarifies how local centraliser solubility imposes strong global restrictions on a group’s structure.

Abstract

We classify finite groups in which the centralisers of certain non-central elements are soluble. This includes a full structural description of groups whose non-central element centralisers are all soluble, and a reduction theorem for the case in which all non-central -elements have soluble centralisers, for a suitable collection of primes. Our results yield further descriptions under mild local conditions and have applications to groups with soluble involution centralisers, as well as to questions concerning non-commuting graphs.

Paper Structure

This paper contains 5 sections, 22 theorems, 9 equations, 5 tables.

Key Result

Corollary 1

Let $G$ be a finite group, and let $\pi$ be a set of primes. Suppose that $C_G(x)$ is soluble for every non-central $\pi$-element $x$ in $G$, and let $d$ be the degree of the largest alternating section of $G$. Then $d\le p+4+2\delta_{2,p}$ for all $p\in\pi$.

Theorems & Definitions (47)

  • Conjecture
  • Definition
  • Corollary 1
  • Definition
  • Corollary 2
  • Corollary 3
  • Lemma 1
  • proof
  • Lemma 2
  • Lemma 3
  • ...and 37 more