Groupes finis, probabilité de commutation et automorphismes premiers entre eux

Informations fondamentales

• ID de l'article : 2511.07597
• Titre : Finite groups, commuting probability, and coprime automorphisms
• Auteurs : Eloisa Detomi, Robert M. Guralnick, Marta Morigi, Pavel Shumyatsky
• Classification : math.GR (Théorie des groupes)
• Date de soumission : 10 novembre 2025 sur arXiv
• Lien de l'article : https://arxiv.org/abs/2511.07597

Résumé

Cet article étudie le problème de la probabilité de commutation des éléments de sous-groupes dans les groupes finis. Pour deux sous-groupes $H, K$ d'un groupe fini $G$, on note $\Pr(H,K)$ la probabilité qu'une paire d'éléments choisis aléatoirement dans $H$ et $K$ commutent. Les principaux résultats incluent :

1. Théorème 1.2 : Soit $G$ un groupe fini admettant un groupe d'automorphismes $A$ premiers entre eux, et soit $\epsilon > 0$. Si pour tous les nombres premiers distincts $p, q \in \pi(G)$, il existe un $A$-invariant Sylow $p$-sous-groupe $P$ et un $A$-invariant Sylow $q$-sous-groupe $Q$ tels que $\Pr([P,A], [Q,A]) \geq \epsilon$, alors l'indice de $F_2([G,A])$ dans $[G,A]$ est $\epsilon$-borné.
2. Théorème 1.4 : Si $G = [G,A]$ et pour chaque nombre premier $p | |G|$, il existe un $A$-invariant Sylow $p$-sous-groupe $P$ tel que pour tous les $x \in G$ on ait $\Pr([P,A], [P,A]^x) \geq \epsilon$, alors $G$ est borné-par-abélien-par-borné (bounded-by-abelian-by-bounded).

Contexte et motivation de la recherche

Contexte du problème

1. Résultats classiques sur la probabilité de commutation :
   • Théorème de P. M. Neumann : Si un groupe fini $G$ satisfait $\Pr(G,G) \geq \epsilon$, alors $G$ possède un sous-groupe normal $R$ tel que l'indice $|G:R|$ et l'ordre du groupe dérivé $[R,R]$ sont tous deux $\epsilon$-bornés
   • Pour les groupes non-abéliens, $\Pr(G,G) \leq 5/8$ est une borne supérieure connue
2. Commutativité des sous-groupes de Sylow :
   • Un groupe fini est nilpotent si et seulement si deux Sylow sous-groupes d'ordres premiers entre eux commutent
   • Théorème 1.1 (référence 12) : Si pour tous les nombres premiers distincts $p, q$, il existe un Sylow $p$-sous-groupe $P$ et un Sylow $q$-sous-groupe $Q$ tels que $\Pr(P,Q) \geq \epsilon$, alors $F_2(G)$ a un indice $\epsilon$-borné dans $G$

Motivation de la recherche

Cet article généralise les résultats classiques ci-dessus au cas de l'action d'automorphismes premiers entre eux :

• Un automorphisme premier entre eux est un automorphisme dont l'ordre est premier avec l'ordre du groupe
• Étude de la structure de $[G,A]$ (le sous-groupe engendré par tous les $g^{-1}g^\alpha$)
• Il s'agit d'une recherche interdisciplinaire entre la théorie des automorphismes et la théorie de la probabilité de commutation en théorie des groupes

Importance

1. Les automorphismes premiers entre eux occupent une place spéciale dans la théorie des groupes finis, leur action préservant de nombreuses bonnes propriétés
2. L'introduction de méthodes probabilistes dans l'étude des groupes d'automorphismes fournit de nouveaux outils de caractérisation structurelle
3. Les résultats dépendent du théorème de classification des groupes simples finis, illustrant les connexions profondes de la théorie des groupes moderne

Contributions principales

1. Preuve du théorème 1.2 : Sous l'action d'automorphismes premiers entre eux, déduction de la bornitude de $F_2([G,A])$ à partir de la probabilité de commutation des Sylow sous-groupes, ce qui est une généralisation non-triviale du théorème 1.1 au cas des automorphismes
2. Établissement du théorème 1.3 : Pour les transformations conjuguées d'un seul Sylow sous-groupe, obtention de la bornitude de l'ordre de $[P,A]$ modulo $O_p(G)$
3. Caractérisation complète du théorème 1.4 : Lorsque la condition est satisfaite en toutes les positions premières, preuve que $G$ possède une structure de type Neumann
4. Innovations techniques :
   • Développement de techniques raffinées pour traiter les groupes de Lie et les automorphismes premiers entre eux (section 5)
   • Établissement d'un cadre de raisonnement inductif pour le cas des groupes résolubles (section 4)
   • Preuve de théorèmes de structure pour le cas des groupes semi-simples (section 6)
5. Construction de contre-exemples : Démonstration que l'indice de $F([G,A])$ peut être arbitrairement grand (exemple section 4), illustrant l'optimalité du théorème

Explication détaillée des méthodes

Concepts fondamentaux et notations

1. Probabilité de commutation : $\Pr(X,Y) = \frac{|\{(x,y) \in X \times Y \mid xy = yx\}|}{|X||Y|}$
2. Action première entre elle : Un groupe $A$ agit sur $G$ si $(|G|, |A|) = 1$
3. Groupe des commutateurs : $[G,A] = \langle g^{-1}g^\alpha \mid g \in G, \alpha \in A \rangle$
4. Série de Fitting supérieure : $F_i(G)$ est le $i$-ème terme de la série de Fitting supérieure de $G$

Stratégie générale de preuve

L'article adopte une stratégie de classification inductive, traitant les différents cas selon la structure du groupe :

Étape 1 : Cas des groupes résolubles (section 4)

Lemme clé 4.3 : Si $G = PQ$ ($P$ normal, $Q$ est un $\alpha$-invariant Sylow sous-groupe, $Q = [Q,\alpha]$), et satisfait l'hypothèse 4.1, alors $|G : F(G)| \leq m$ (où $m$ est $\epsilon$-borné).

Idée de preuve :

1. Réduction au cas où $F(G) = P$ est abélien
2. Application de la proposition 3.4 utilisant $\Pr([P,\alpha], Q) \geq \epsilon$
3. Obtention d'un sous-groupe normal $U$ et $P_0 \leq [P,\alpha]$ tels que l'ordre de $[P_0, U]^G$ soit borné
4. Achèvement par les propriétés du sous-groupe de Fitting

Lemme 4.6 (théorème principal pour le cas résoluble) : Sous l'hypothèse 4.1, si $G$ est résoluble et $G = [G,\alpha]$, alors $|G : F_2(G)|$ est $\epsilon$-borné.

Points clés de la preuve :

• Lemme 4.5 : Pour un nombre premier suffisamment grand $q > m$, on a $[Q,\alpha] \leq F(G)$
• Utilisation de la bornitude de la hauteur de Fitting (théorie de Hall-Higman)
• Lemme 2.10 : Contrôle de $|I_{F(G)}(\alpha)|$ pour borner $|G|$

Étape 2 : Cas des groupes simples (section 5)

Lemme 5.2 : Si $G$ est un groupe de Lie de caractéristique $p$, et $P$ est un $\alpha$-invariant Sylow $p$-sous-groupe, alors $[P,\alpha]$ contient un élément unipotent régulier $x$ avec $C_G(x) \leq P$.

Techniques de preuve :

• Pour les groupes non tordus : construction de $x = \prod_{r \in \Pi} x_r(t^\alpha - t)$
• Pour les groupes tordus : utilisation de la structure des classes d'équivalence pour construire un élément régulier
• Utilisation de la formule de commutateur de Chevalley (remarque 5.1)

Lemme 5.4 : Sous l'hypothèse 4.1, si $G$ est un groupe simple, alors la caractéristique $p$ est $\epsilon$-bornée.

Proposition 5.5 (résultat principal pour le cas des groupes simples) : Sous l'hypothèse 4.1, si $G$ est un groupe simple, alors $|G|$ est $\epsilon$-borné.

Stratégie de preuve :

1. Utilisation d'un nombre premier de Zsigmondy $r$ (pour $(p, f|\alpha|e)$)
2. Preuve que $r \geq f|\alpha|e$ et $r$ ne divise pas $|C_G(\alpha)|$
3. Si $R$ est un $\alpha$-invariant Sylow $r$-sous-groupe, alors $[R,\alpha] = R$
4. Déduction de la bornitude de $|R|$ ou $|[P,\alpha]|$ en utilisant $\Pr([P,\alpha], R) \geq \epsilon$
5. Application du lemme 2.2 pour achever la preuve

Étape 3 : Cas des groupes semi-simples (section 6)

Lemme 6.3 : Sous l'hypothèse 4.1, si $G$ est semi-simple et n'a pas de sous-groupe normal $\alpha$-invariant non-trivial propre, alors $|G|$ est $\epsilon$-borné.

Lemme 6.4 : Sous l'hypothèse 4.1, si $G$ est semi-simple et $G = [G,\alpha]$, alors $|G|$ est $\epsilon$-borné.

Idée de preuve :

• Écriture de $G = T_1 \times \cdots \times T_s$ (où $T_i$ sont les sous-groupes normaux $\alpha$-invariants minimaux)
• L'ordre de chaque $T_i$ est $\epsilon$-borné (lemme 6.3)
• Point clé : preuve que $s$ est $\epsilon$-borné
• Utilisation du lemme 3.2 : si $[P,Q] \neq 1$, alors $\Pr(P,Q) \leq 3/4$
• Obtention de $s$ borné par l'inégalité de probabilité $\epsilon \leq \prod_{i=1}^s \Pr([P_i,\alpha], [Q_i,\alpha]) \leq (3/4)^s$

Étape 4 : Cas général (section 7)

Lemme 7.1 : Si $|[G,a]| \leq m$ pour tous les $a \in A$, alors $|[G,A]|$ est $m$-borné.

Preuve du théorème 1.2 :

1. Pour chaque $\alpha \in A$, $[G,\alpha]$ satisfait les conditions du théorème 6.6
2. Par le théorème 6.6, $|[G,\alpha] : F_2([G,\alpha])|$ est $\epsilon$-borné
3. Remarque que $F_2([G,\alpha]) \leq F_2(G)$
4. Modulo $F_2(G)$, l'ordre de chaque $[G,\alpha]$ est borné
5. Application du lemme 7.1 pour obtenir que $[G,A]$ modulo $F_2(G)$ est borné

Points d'innovation technique

1. Combinaison de méthodes probabilistes et théorie structurelle :
   • Lemme 3.3 : Déduction de l'existence de sous-groupes normaux à partir de la probabilité de commutation
   • Proposition 3.4 : Établissement du lien entre probabilité de commutation et ordre du groupe des commutateurs
2. Analyse raffinée des groupes de Lie :
   • Utilisation de la structure des sous-groupes radicaux et de la formule de Chevalley
   • Traitement unifié des cas tordus et non tordus
   • Application cruciale des nombres premiers de Zsigmondy
3. Conception soignée des raisonnements inductifs :
   • Utilisation du sous-groupe de Fitting et de la hauteur de Fitting dans les groupes résolubles
   • Utilisation de la décomposition en produit direct et de la multiplicativité des probabilités dans les groupes semi-simples
   • Lemme 2.8 : Contrôle de l'ordre de $\gamma_\infty(G)$

Configuration expérimentale

Cet article est un article de mathématiques pures théoriques et ne comporte pas d'expériences ou de calculs numériques. Tous les résultats sont des preuves mathématiques rigoureuses.

Résultats expérimentaux

Théorèmes principaux

Théorème 1.2 : Soit $\epsilon > 0$, et soit $G$ un groupe fini admettant un groupe d'automorphismes $A$ premiers entre eux. Si pour tous les nombres premiers distincts $p, q \in \pi(G)$, il existe un $A$-invariant Sylow $p$-sous-groupe $P$ et un $A$-invariant Sylow $q$-sous-groupe $Q$ tels que $\Pr([P,A], [Q,A]) \geq \epsilon$, alors $F_2([G,A])$ a un indice $\epsilon$-borné dans $[G,A]$.

Théorème 1.3 : Soit $G$ un groupe fini admettant un groupe d'automorphismes $A$ premiers entre eux, et soit $P$ un $A$-invariant Sylow $p$-sous-groupe. Si pour tous les $x \in G$ on a $\Pr([P,A], [P,A]^x) \geq \epsilon$, alors l'ordre de $[P,A]$ modulo $O_p(G)$ est $\epsilon$-borné.

Théorème 1.4 : Soit $G$ un groupe fini admettant un groupe d'automorphismes $A$ premiers entre eux, avec $G = [G,A]$. Si pour chaque nombre premier $p | |G|$, il existe un $A$-invariant Sylow $p$-sous-groupe $P$ tel que pour tous les $x \in G$ on ait $\Pr([P,A], [P,A]^x) \geq \epsilon$, alors $G$ est borné-par-abélien-par-borné.

Contre-exemples et optimalité

Exemple de la section 4 : Construction de groupes satisfaisant les hypothèses du théorème 1.2 mais pour lesquels $|[G,\alpha] : F([G,\alpha])|$ peut être arbitrairement grand :

• Prise de $C$ comme groupe cyclique d'ordre 3, $\alpha$ comme automorphisme d'ordre 2
• Pour les nombres premiers $p_1, \ldots, p_s > 3$, construction de produits en couronne $H_{p_i}$
• $G = \prod_{i=1}^s H_{p_i}$ satisfait les conditions mais $|G : F(G)| = 3^s$

Ceci montre que $F_2$ dans le théorème 1.2 est optimal et ne peut pas être amélioré en $F$.

Application des lemmes clés

1. Lemme 2.2 : Contrôle de l'ordre des groupes de Lie simples
   • Si $|[P,\alpha]| \leq C$, alors $|G|$ est $C$-borné
   • Utilisation de $|[P,\alpha]| \geq |P|^{1/2}$ et $|G| \leq |P|^3$
2. Lemme 2.10 : Contrôle de l'ordre des groupes résolubles
   • Si $|I_{F(G)}(\alpha)| \leq n$, alors $|G|$ est $n$-borné
   • Utilisation de la hauteur de Fitting et du théorème de Kaluzhnin
3. Lemme 8.2 : Structure du produit de sous-groupes normaux
   • Si $G = A_1 \cdots A_k$ et $\Pr(A_i, A_j) \geq \epsilon$
   • Alors il existe un sous-groupe normal $D$ tel que $|G:D|$ et $|D'|$ sont tous deux $(\epsilon,k)$-bornés

Travaux connexes

Résultats classiques sur la probabilité de commutation

1. P. M. Neumann 26 : $\Pr(G,G) \geq \epsilon$ implique que $G$ est borné-par-abélien-par-borné
   • Le théorème 1.4 de cet article est une généralisation de ce résultat au cas des automorphismes
2. Guralnick-Robinson 18 : Propriétés fondamentales et bornes de la probabilité de commutation
3. Detomi-Lucchini-Morigi-Shumyatsky 12 : Théorème 1.1
   • Le théorème 1.2 de cet article est une généralisation de ce résultat au cas des automorphismes premiers entre eux

Théorie des automorphismes premiers entre eux

4. Acciarri-Guralnick-Shumyatsky 2,3 : Propriétés fondamentales des automorphismes premiers entre eux
   • Critères de résolubilité et nilpotence
   • Cet article utilise les lemmes techniques de ces références
5. Hartley-Isaacs 20 : Lemme 2.5 concernant l'estimation de la multiplicité des représentations modulaires
6. Hall-Higman 21 : Théorie de la bornitude de la hauteur de Fitting

Commutativité des sous-groupes de Sylow

7. Detomi-Guralnick-Morigi-Shumyatsky 11 :
   • Si $\Pr(P, P^x) \geq \epsilon$ pour tous les $x \in G$, alors $[P : O_p(G)]$ est borné
   • Le théorème 1.3 de cet article est la version automorphisme de ce résultat

Application de la classification des groupes simples finis

8. Gorenstein-Lyons-Solomon 15,16 : Classification des groupes simples finis
   • Dépendance clé de cet article : les groupes simples sous l'action d'automorphismes premiers entre eux sont nécessairement de type Lie
   • Les automorphismes sont nécessairement des automorphismes de corps
9. Carter 9,10 : Théorie structurelle des groupes de Lie
   • Propriétés des sous-groupes radicaux, sous-groupes de Borel, éléments réguliers

Conclusion et discussion

Conclusions principales

1. Signification du théorème 1.2 :
   • Généralisation de la théorie structurelle de la probabilité de commutation des Sylow sous-groupes au cas des automorphismes premiers entre eux
   • $F_2([G,A])$ est optimal (les contre-exemples montrent qu'on ne peut pas améliorer en $F([G,A])$)
   • Fourniture d'une nouvelle voie pour déduire la structure globale à partir d'informations locales (Sylow sous-groupes)
2. Signification du théorème 1.4 :
   • Lorsque la condition est satisfaite en toutes les positions premières, obtention de la même conclusion que le théorème de Neumann
   • Démonstration que les conditions de probabilité de commutation sont tout aussi puissantes dans le cas des automorphismes
3. Contribution technique :
   • Développement d'une méthode systématique pour traiter les groupes de Lie simples et les automorphismes premiers entre eux
   • Établissement d'un cadre d'application des méthodes probabilistes en théorie des groupes d'automorphismes

Limitations

1. Dépendance à la classification des groupes simples finis :
   • Tous les résultats principaux dépendent du CFSG (Classification of Finite Simple Groups)
   • Ceci est inévitable car il faut analyser tous les groupes simples possibles
2. Non-effectivité des constantes bornées :
   • Les preuves donnent des constantes $\epsilon$-bornées d'existence, sans expressions explicites
   • Le calcul réel de ces constantes pourrait être extrêmement difficile
3. Nécessité des conditions :
   • Le théorème 1.2 exige que la probabilité de commutation soit minorée pour toutes les paires de nombres premiers distincts
   • Il reste à clarifier si on peut affaiblir cette condition à certaines paires de nombres premiers
4. Possibilités de généralisation :
   • Peut-on généraliser aux automorphismes non premiers entre eux ?
   • Peut-on généraliser à certaines classes de groupes infinis ?

Directions futures

1. Calcul de bornes explicites :
   • Obtention d'expressions explicites pour les constantes $\epsilon$-bornées
   • Étude du comportement asymptotique des bornes optimales
2. Autres types d'automorphismes :
   • Étude du cas des automorphismes non premiers entre eux
   • Considération de types spéciaux d'automorphismes (automorphismes intérieurs, automorphismes de graphe)
3. Affaiblissement des conditions de probabilité :
   • Étude de la possibilité de ne demander la condition que pour certaines paires de nombres premiers
   • Considération d'autres types de conditions de probabilité
4. Applications :
   • Application des résultats à la théorie des représentations des groupes
   • Application à des problèmes en combinatoire algébrique

Évaluation approfondie

Points forts

1. Profondeur théorique :
   • Combinaison ingénieuse de la probabilité de commutation, théorie de Sylow, automorphismes premiers entre eux et classification des groupes simples finis
   • Techniques de preuve raffinées, utilisation complète des résultats profonds de chaque branche
2. Optimalité des résultats :
   • Preuve par contre-exemples que $F_2$ dans le théorème 1.2 ne peut pas être amélioré en $F$
   • Indication d'une compréhension très approfondie du problème par les auteurs
3. Systématicité :
   • Traitement stratifié des groupes résolubles aux groupes simples puis aux groupes généraux
   • Chaque étape est soutenue par des lemmes clés
4. Innovation technique :
   • Le lemme 5.2 concernant la construction d'éléments unipotents réguliers est très ingénieux
   • L'idée du lemme 6.4 utilisant la multiplicativité des probabilités pour contrôler le nombre de facteurs directs est novatrice
5. Clarté de la rédaction :
   • Structure claire, logique rigoureuse
   • Remarques et exemples appropriés facilitant la compréhension

Insuffisances

1. Lisibilité :
   • Nécessite une vaste connaissance de base en théorie des groupes (série de Fitting, théorie de Hall-Higman, groupes de Lie)
   • Difficile à comprendre pour les non-spécialistes
2. Complexité computationnelle :
   • Pas de discussion sur comment vérifier pratiquement les conditions
   • Non-effectivité des constantes bornées limitant les applications
3. Généralité :
   • Les résultats dépendent fortement de l'hypothèse de primalité relative
   • Le cas des automorphismes généraux n'est pas abordé
4. Exemples d'application :
   • Absence d'exemples concrets d'application
   • Manque de connexions avec d'autres branches des mathématiques

Influence

1. Contribution théorique :
   • Avancement de l'application de la théorie de la probabilité de commutation en théorie des groupes d'automorphismes
   • Fourniture d'outils et de méthodes importants pour les recherches ultérieures
2. Contribution méthodologique :
   • Exemple de combinaison de méthodes probabilistes et théorie structurelle
   • Les techniques de traitement des groupes de Lie peuvent s'appliquer à d'autres problèmes
3. Problèmes ouverts :
   • Stimulation de recherches sur d'autres types d'automorphismes
   • Les questions concernant les bornes optimales méritent une exploration plus approfondie

Domaines d'application

1. Recherche en théorie des groupes :
   • Étude de la structure et classification des groupes finis
   • Analyse de l'action des groupes d'automorphismes
2. Algèbre :
   • Applications en théorie des représentations des groupes
   • Problèmes connexes concernant les groupes algébriques
3. Informatique théorique :
   • Analyse de la complexité des algorithmes de groupes
   • Problèmes de théorie des groupes en cryptographie

Références

Cet article cite 28 références importantes, incluant principalement :

1. 26 P. M. Neumann (1989) : Travail fondateur sur la probabilité de commutation
2. 12 Detomi et al. (2024) : Résultats récents sur la probabilité de commutation des Sylow sous-groupes
3. 21 Hall-Higman (1956) : Théorie de la $p$-longueur des groupes résolubles
4. 9,10 Carter (1972, 1985) : Références standard pour la théorie structurelle des groupes de Lie
5. 15,16 Gorenstein-Lyons-Solomon (1994, 1998) : Classification des groupes simples finis
6. 2,3 Acciarri-Guralnick-Shumyatsky (2022, 2023) : Travaux récents sur les automorphismes premiers entre eux

Évaluation globale : Ceci est un article de recherche de haute qualité en théorie des groupes, appliquant avec succès les méthodes de probabilité de commutation à la théorie des automorphismes premiers entre eux, obtenant des résultats profonds et optimaux. Les techniques de preuve sont raffinées, démontrant pleinement la puissance de la théorie moderne des groupes finis. Bien que hautement spécialisé, il fournit aux chercheurs du domaine des outils théoriques importants et des inspirations méthodologiques.