---
title: Vdovin's Conjecture in Finite Group Theory
url: https://www.emergentmind.com/topics/vdovin-s-conjecture
type: topic
---

# Vdovin's Conjecture in Finite Group Theory

Vdovin’s Conjecture is not a single universally fixed statement in the literature, but a family of finite-group-theoretic conjectures attributed to Vdovin and centered on intersections of conjugate subgroups. The common theme is that subgroups with strong internal restrictions—solvable subgroups, nilpotent subgroups, or normalisers of maximal tori—should admit a small number of conjugates with very small intersection, often trivial intersection. In permutation-group language, these statements are naturally expressed in terms of base size for a coset action. Within the cited literature, the nilpotent-subgroup version for finite simple groups is proved in full, the five-conjugate solvable-subgroup version is established in major almost simple families, and the maximal-torus-normaliser version is resolved in a stronger modified form with a short exceptional list [1703.00124] [2207.09495] [2408.08510] [2508.03479].

## 1. Scope of the term in the literature

In the cited papers, “Vdovin’s conjecture” refers to several distinct statements rather than a single canonical formulation. The three principal versions are summarized below.

| Version | Statement | Setting |
|---|---|---|
| Five-conjugate conjecture | Five conjugates of a solvable subgroup should have trivial intersection | Finite groups with no nontrivial solvable normal subgroups |
| Nilpotent-subgroup conjecture | If \(G\) is simple and \(H\le G\) is nilpotent, then \(H\cap H^x=1\) for some \(x\in G\) | Finite non-abelian simple groups |
| Torus-normaliser conjecture | If \(G\neq L_3(2)\), then \(N\cap N^x\) is a \(p\)-group for some \(x\in G\) | Finite simple groups of Lie type, with \(N\) the normaliser of a maximal torus |

The five-conjugate formulation appears as Kourovka Notebook Problem 17.41(b): if \(H\) is a solvable subgroup of a finite group \(G\) with no nontrivial solvable normal subgroups, must there always exist five conjugates of \(H\) whose intersection is trivial? The nilpotent formulation is stated as a 2002 conjecture: if \(G\) is a finite simple group and \(H\le G\) is nilpotent, then there exists \(x\in G\) such that \(H\cap H^x=1\). The Lie-type torus-normaliser version asks, for \(G = O^{p'}(\bar G^F)\) and \(N=N_G(T)\), whether \(N\cap N^x\) is a \(p\)-group for some \(x\in G\), with the explicit exception \(G=L_3(2)\) in the original statement [1703.00124] [2207.09495] [2508.03479].

A separate differential-algebra paper, “The Dimension Conjecture Implies The Jacobi Bound Conjecture,” explicitly states that Vdovin’s Conjecture is not mentioned there at all and that no implication involving a conjecture attributed to Vdovin is established. This is relevant because it excludes a direct connection between Vdovin’s Conjecture and the Dimension/Jacobi-bound framework [2603.17992].

## 2. The five-conjugate formulation and its base-size interpretation

The 2010 conjecture is most naturally phrased in terms of base size. If \(G\) acts on the cosets of a solvable subgroup \(H\), and
\[
H_G=\bigcap_{g\in G} H^g,
\]
then the statement that five conjugates of \(H\) have trivial intersection is equivalent to
\[
b_H(G)\le 5,
\]
where \(b_H(G)\) is the base size of the faithful action of \(G/H_G\) on \(G/H\). In the transitive permutation-group formulation used later, if the point stabiliser \(S\) is solvable and the solvable radical of \(G\) is trivial, then Vdovin’s conjecture becomes the assertion
\[
b_S(G)\le 5.
\]
This formulation is connected to the Babai–Goodman–Pyber conjecture: if a finite group \(G\) has a solvable subgroup of index \(n\), then a positive answer would imply that \(G\) has a solvable normal subgroup of index at most \(n^5\) [1703.00124] [2408.08510].

The same literature emphasizes that the bound \(5\) is optimal. One explicit example is
\[
G=\Sym(8), \qquad S=\Sym(4)\wr \Sym(2),
\]
for which \(b_S(G)=5\). Thus the conjecture is not merely qualitative; it proposes a sharp universal upper bound in the radical-free solvable-stabiliser setting [2408.08510].

A further strengthening used in proofs is the regular-orbit condition \(Reg_H(G,5)\ge 5\). Both the 2017 and 2024 works exploit the lemma
\[
b_H(G)\le 4 \implies Reg_H(G,5)\ge 5,
\]
so the strong form can often be deduced once a four-point base is available. This regular-orbit viewpoint is especially useful in reductions to almost simple groups [1703.00124] [2408.08510].

## 3. Progress for almost simple linear, unitary, and symplectic groups

A major step was the verification of the five-conjugate conjecture for almost simple groups with classical socle of type \(A\) or \(C\). For a finite almost simple group \(G\) with socle
\[
PSL_n(q), \qquad PSU_n(q), \qquad \text{or} \qquad PSp_n(q)',
\]
the 2017 paper proves that if \(S\le G\) is solvable, then
\[
Reg_S(G,5)\ge 5,
\]
and hence
\[
b_S(G)\le 5.
\]
This gives a positive answer to Vdovin’s problem for those almost simple groups [1703.00124].

The proof architecture is structural rather than purely probabilistic. It proceeds by reducing to maximal solvable subgroups and then treating the linear, unitary, and symplectic families separately. The tools highlighted in the paper include primitive and quasi-primitive solvable linear groups, Aschbacher-type decompositions, Singer cycles and their normalizers, fixed point ratio estimates, and explicit conjugating matrices that force successive intersections down to diagonal subgroups, scalar subgroups, or the center. For irreducible maximal solvable subgroups of \(GU_n(q)\), the paper proves
\[
b_S(S\cdot SU_n(q))\le 3,
\]
except for \((n,q)=(4,2)\), where the exceptional subgroup \(MU_4(2)\) has base size \(4\). For irreducible maximal solvable subgroups of \(GSp_n(q)\), it proves
\[
b_S(S\cdot Sp_n(q))\le 3,
\]
except for a small low-rank situation \(n=4\), \(q\in\{2,3\}\) [1703.00124].

The 2024 paper then establishes the strong form of the conjecture for all almost simple groups with socle \(\PSL_n(q)\). Its main theorem states that if \(G\le \Sym(\Omega)\) is transitive, almost simple, its socle is isomorphic to \(\PSL_n(q)\), and the point stabiliser \(S\) is solvable, then
\[
Reg_S(G,5)\ge 5,
\]
hence
\[
b_S(G)\le 5.
\]
It further proves that for \(n\ge 3\), if \(S\) is a maximal solvable subgroup of
\[
\L_n(q)\rtimes \langle \iota\rangle
\]
not contained in \(\L_n(q)\), then either \(b_S(S\cdot \L_n(q))\le 4\), or \(n=4\), \(q\in\{2,3\}\), \(S\) is the normaliser of the stabiliser of a \(2\)-dimensional subspace, and
\[
b_S(S\cdot \L_n(q))=5,\qquad Reg_S(S\cdot \L_n(q),5)\ge 5.
\]
This places the full linear case within the affirmative range of the conjecture [2408.08510].

## 4. The nilpotent-subgroup conjecture for finite simple groups

A different and older statement, attributed to Vdovin in 2002, concerns nilpotent rather than solvable subgroups and restricts to finite simple groups. Its formulation is:
\[
\text{If }G\text{ is a finite simple group and }H\le G\text{ is nilpotent, then } \exists x\in G \text{ such that } H\cap H^x=1.
\]
When \(H\) is core-free and \(G\) acts on \(G/H\), this is equivalent to the assertion that the corresponding base size is \(2\) [2508.03479].

The 2025 paper situates this conjecture within a stronger Sylow-subgroup framework. Let \(\pi(G)=\{p_1,\dots,p_k\}\), and for each \(p_i\) let \(H_{p_i}\) be a Sylow \(p_i\)-subgroup. The Lisi–Sabatini conjecture asks for an element \(x\in G\) such that each \(H_{p_i}\cap H_{p_i}^x\) is inclusion-minimal in the set \(\{H_{p_i}\cap H_{p_i}^g : g\in G\}\). For a finite simple group, a theorem of Mazurov and Zenkov implies that for every prime \(p\) and every Sylow \(p\)-subgroup \(H_p\), there exists \(x\in G\) with
\[
H_p\cap H_p^x=1.
\]
Since every nilpotent subgroup is the direct product of its Sylow subgroups, the simultaneous trivial-intersection statement for all primes implies Vdovin’s conjecture [2508.03479].

The paper proves precisely that simultaneous statement for all finite non-alternating simple groups:
\[
\text{If }G\text{ is a finite non-alternating simple group, then there exists }x\in G \text{ such that }H_p\cap H_p^x=1 \text{ for all }p\in \pi(G).
\]
Combining this with Kurmazov’s earlier result for alternating groups yields the corollary that Vdovin’s conjecture is true for all finite simple groups. The same paper also proves a stronger theorem for groups of Lie type:
\[
\text{If }G\text{ is a simple group of Lie type and }A,B\le G\text{ are nilpotent, then } \exists x\in G:\; A\cap B^x=1,
\]
and, using earlier work of Zenkov on alternating and sporadic groups, extends this stronger two-subgroup statement to all finite simple groups. As consequences, every nontrivial nilpotent subgroup \(H\) of a simple group has base size \(b(G,H)=2\) and subgroup depth \(d_G(H)=3\) [2508.03479].

## 5. Normalisers of maximal tori in finite simple groups of Lie type

Another conjecture due to Vdovin concerns torus normalisers in finite simple groups of Lie type. Here
\[
G = O^{p'}(\bar G^F)
\]
is a finite simple group of Lie type over \(\mathbb F_q\) of characteristic \(p\), \(\bar T\) is an \(F\)-stable maximal torus, \(T=G\cap \bar T\), and
\[
N=N_G(T).
\]
The conjecture is stated as follows: if \(G\neq L_3(2)\), then \(N\cap N^x\) is a \(p\)-group for some \(x\in G\). The exception \(L_3(2)\) is genuine: if \(N\) is the normaliser of a Singer cycle, then \(|N\cap N^x|=3\) for all \(x\in G\setminus N\) [2207.09495].

This problem is recast in terms of the action of \(G\) on
\[
\Omega = G/N.
\]
The base size \(b(G,N)\) is the minimum size of a subset of \(\Omega\) whose pointwise stabiliser in \(G\) is trivial, equivalently the smallest number of conjugates of \(N\) whose intersection is trivial. In particular,
\[
b(G,N)=2 \iff N\cap N^x=1 \text{ for some }x\in G.
\]
The paper further notes that if
\[
p\nmid |N_G(T)/T|,
\]
then
\[
N\cap N^x \text{ is a } p\text{-group for some }x\in G \iff b(G,N)=2.
\]
Thus the conjecture becomes a base-size problem except when a nontrivial \(p\)-part in the Weyl-group component obstructs this equivalence [2207.09495].

The main theorem classifies all cases where the base size is not \(2\): either
\[
b(G,N)=2,
\]
or \((G,N,b(G,N))\) appears in Table 1 of the paper. The exceptional pairs listed there are
\[
(L_2(q), D_{2(q+1)}) \text{ with } q\ge 4 \text{ even},
\]
\[
(L_3(2), 7{:}3),\quad (U_3(3), 4^2{:}S_3),\quad (U_4(2), 3^3{:}S_4),\quad (U_5(2), 3^4{:}S_5),
\]
\[
(Sp_6(2), 3^3{:}(S_2\wr S_3)),\quad (P\Omega_8^+(2), 3^4{:}(2^3{:}S_4)),\quad (U_6(2), 3^4{:}S_6),
\]
and in these cases \(b(G,N)\ge 3\). From this, the authors derive a modified form of the conjecture: there exists \(x\in G\) such that \(N\cap N^x\) is a \(p\)-group if and only if \((G,N)\) is not one of
\[
(L_3(2), 7{:}3),\qquad (U_4(2), 3^3{:}S_4),\qquad (U_5(2), 3^4{:}S_5).
\]
Accordingly, the original exception \(L_3(2)\) must be supplemented by two additional small unitary exceptions in the modified theorem [2207.09495].

## 6. Methods, structural themes, and current status

Across these formulations, base size acts as the common organizing invariant. In the torus-normaliser problem, the probabilistic analysis is built on
\[
Q(G,N,2)\;<\; \sum_{i=1}^m |x_i^G|\cdot \operatorname{fpr}(x_i,G/N)^2,
\qquad
\operatorname{fpr}(x,G/N)=\frac{|x^G\cap N|}{|x^G|},
\]
with the conclusion that \(Q(G,N,2)<1\) forces \(b(G,N)=2\). In the nilpotent-subgroup problem, one defines
\[
Q_p(G)=\frac{|\{x\in G : H_p\cap H_p^x\neq 1\}|}{|G|},
\]
and if
\[
\sum_{p\in\pi(G)} Q_p(G)<1,
\]
then there exists a single \(x\in G\) such that \(H_p\cap H_p^x=1\) for all \(p\). The same paper strengthens this via
\[
Q_p(G)\le \widehat Q_p(G) :=\sum_{i=1}^k \frac{|x_i^G\cap H_p|^2}{|x_i^G|},
\]
reducing the argument to class-size estimates and counts of prime-order elements in Sylow subgroups [2207.09495] [2508.03479].

The five-conjugate program for almost simple classical groups combines this probabilistic framework with explicit subgroup structure. The cited proofs use primitive and quasi-primitive solvable linear groups, Aschbacher-type decompositions, block-upper-triangular forms, Singer cycles and their normalizers, fixed point ratio estimates, explicit conjugating matrices, and computational verification in small cases with \({\sf GAP}\), \({\sc Magma}\), or MAGMA. In the 2024 linear-group paper, the function
\[
\eta_G(t)=\sum_{C\in \mathscr C}|C|^{-t}
\]
and the invariant
\[
\nu(x)=\min\{\dim[\overline V,\lambda \hat x]:\lambda\in K^*\}
\]
are used to convert bounds on conjugacy-class sizes into base-size bounds. This is characteristic of the broader methodology: structural decomposition reduces to irreducible or primitive configurations, and probabilistic class-sum inequalities eliminate most remaining cases [1703.00124] [2408.08510].

The present status is therefore differentiated by formulation. The 2002 nilpotent-subgroup conjecture for finite simple groups is proved, indeed in the stronger form that for any two nilpotent subgroups \(A,B\le G\) of a finite simple group there exists \(x\in G\) with \(A\cap B^x=1\). The 2010 five-conjugate conjecture is established for the classical almost simple families explicitly treated in the cited papers, including the full linear case \(\PSL_n(q)\), and earlier positive results for unitary and symplectic socles. The maximal-torus-normaliser conjecture is essentially correct but only after the modification that adds \((U_4(2),3^3{:}S_4)\) and \((U_5(2),3^4{:}S_5)\) to the original exception \(L_3(2)\). A recurrent source of confusion is to conflate these three statements under one name; the cited literature instead shows that “Vdovin’s Conjecture” is a label for several related, but mathematically distinct, intersection problems in finite group theory [2207.09495] [2408.08510] [2508.03479].

Source: https://www.emergentmind.com/topics/vdovin-s-conjecture