2025-11-17T12:46:13.293944

Finite groups, commuting probability, and coprime automorphisms

Detomi, Guralnick, Morigi et al.

Given two subgroups $H,K$ of a finite group $G$, the probability that a pair of random elements from $H$ and $K$ commutes is denoted by $Pr(H,K)$. Suppose that a finite group $G$ admits a group of coprime automorphisms $A$ and let $Îµ>0$. We show that, if for any distinct primes $p,q\inÏ(G)$ there is an $A$-invariant Sylow $p$-subgroup $P$ and an $A$-invariant Sylow $q$-subgroup $Q$ of $G$ for which $Pr([P,A],[Q,A])\geÎµ$, then $F_2([G,A])$ has $Îµ$-bounded index in $[G,A]$ (Theorem 1.2). Here $F_2(K)$ stands for the second term of the upper Fitting seris of a group $K$. We also show that, if $G=[G,A]$ and for any prime $p$ dividing the order of $G$ there is an $A$-invariant Sylow $p$-subgroup $P$ such that $\Pr([P,A], [P,A]^x)\geqÎµ$ for all $x\in G$, then $G$ is bounded-by-abelian-by-bounded (Theorem 1.4).

academic

有限群、交換確率、および互いに素な自己同型

基本情報

論文ID: 2511.07597
タイトル: Finite groups, commuting probability, and coprime automorphisms
著者: Eloisa Detomi, Robert M. Guralnick, Marta Morigi, Pavel Shumyatsky
分類: math.GR（群論）
提出日時: 2025年11月10日にarXivに提出
論文リンク: https://arxiv.org/abs/2511.07597

要約

本論文は有限群における部分群の元の交換確率問題を研究している。有限群 $G$ の2つの部分群 $H, K$ に対して、 $\Pr(H,K)$ を $H$ と $K$ からランダムに選んだ元の対が交換する確率とする。主な結果は以下の通りである：

定理1.2：有限群 $G$ が互いに素な自己同型群 $A$ を許容し、 $\epsilon > 0$ とする。任意の異なる素数 $p, q \in \pi(G)$ に対して、 $A$ -不変Sylow $p$ -部分群 $P$ と $A$ -不変Sylow $q$ -部分群 $Q$ が存在して $\Pr([P,A], [Q,A]) \geq \epsilon$ を満たすならば、 $F_2([G,A])$ の $[G,A]$ における指数は $\epsilon$ -有界である。
定理1.4： $G = [G,A]$ であり、各素数 $p | |G|$ に対して、 $A$ -不変Sylow $p$ -部分群 $P$ が存在して、すべての $x \in G$ に対して $\Pr([P,A], [P,A]^x) \geq \epsilon$ を満たすならば、 $G$ は有界-可換-有界（bounded-by-abelian-by-bounded）である。

研究背景と動機

問題の背景

交換確率の古典的結果：
- P. M. Neumannの定理：有限群 $G$ が $\Pr(G,G) \geq \epsilon$ を満たすならば、 $G$ は正規部分群 $R$ を持ち、指数 $|G:R|$ と交換子群 $[R,R]$ の位数の両方が $\epsilon$ -有界である
- 非可換群に対して、 $\Pr(G,G) \leq 5/8$ が既知の上界である
Sylow部分群の交換性：
- 有限群が冪零であることと、任意の互いに素な位数を持つ任意の2つのSylow部分群が交換することは同値である
- 定理1.1（文献12）：任意の異なる素数 $p, q$ に対して、Sylow $p$ -部分群 $P$ とSylow $q$ -部分群 $Q$ が存在して $\Pr(P,Q) \geq \epsilon$ を満たすならば、 $F_2(G)$ は $G$ において $\epsilon$ -有界指数を持つ

研究の動機

本論文は上記の古典的結果を互いに素な自己同型作用の場合に一般化する：

互いに素な自己同型とは、自己同型の位数が群の位数と互いに素である自己同型である
$[G,A]$ （すべての $g^{-1}g^\alpha$ で生成される部分群）の構造を研究する
これは群論における自己同型理論と交換確率理論の交差研究である

重要性

互いに素な自己同型は有限群論において特別な地位を持ち、その作用は多くの良好な性質を保持する
確率的方法を自己同型群の研究に導入し、新しい構造刻画ツールを提供する
結果は有限単純群の分類定理に依存し、現代群論の深い関連性を示している

核心的貢献

定理1.2の証明：互いに素な自己同型作用の下で、Sylow部分群の交換確率から $F_2([G,A])$ の有界性を導出し、これは定理1.1の自己同型の場合への非自明な一般化である
定理1.3の確立：単一のSylow部分群の共役変換に対して、 $[P,A]$ を $O_p(G)$ で割った位数の有界性を与える
定理1.4の完全な刻画：すべての素数位置で条件を満たす場合、 $G$ がNeumann型構造を持つことを証明する
技術的革新：
- Lie型単純群と互いに素な自己同型を扱うための精密な技術を開発（第5節）
- 可解群の場合の帰納的論証フレームワークを確立（第4節）
- 半単純群の場合の構造定理を証明（第6節）
反例の構成： $F([G,A])$ の指数が任意に大きくなりうることを示し（第4節の例）、定理の最適性を説明する

方法の詳細説明

核心的概念と記号

交換確率： $\Pr(X,Y) = \frac{|\{(x,y) \in X \times Y \mid xy = yx\}|}{|X||Y|}$
互いに素な作用：群 $A$ が $G$ に作用し、 $(|G|, |A|) = 1$ である場合
交換子群： $[G,A] = \langle g^{-1}g^\alpha \mid g \in G, \alpha \in A \rangle$
上Fitting級数： $F_i(G)$ は $G$ の第 $i$ 項上Fitting級数である

全体的な証明戦略

論文は分類帰納法の戦略を採用し、群の構造に応じて場合分けして処理する：

段階1：可解群の場合（第4節）

重要補題4.3： $G = PQ$ （ $P$ は正規、 $Q$ は $\alpha$ -不変Sylow部分群、 $Q = [Q,\alpha]$ ）で、仮定4.1を満たすならば、 $|G : F(G)| \leq m$ （ $m$ は $\epsilon$ -有界）である。

証明の思路：

$F(G) = P$ が可換である場合に帰約する
$\Pr([P,\alpha], Q) \geq \epsilon$ を利用して命題3.4を適用する
正規部分群 $U$ と $P_0 \leq [P,\alpha]$ を得て、 $[P_0, U]^G$ の位数が有界であることを示す
Fitting部分群の性質を通じて証明を完成させる

補題4.6（可解群の場合の主定理）：仮定4.1の下で、 $G$ が可解で $G = [G,\alpha]$ ならば、 $|G : F_2(G)|$ は $\epsilon$ -有界である。

証明の要点：

補題4.5：十分に大きい素数 $q > m$ に対して、 $[Q,\alpha] \leq F(G)$ を持つ
Fitting高さの有界性を利用（Hall-Higman理論）
補題2.10： $|I_{F(G)}(\alpha)|$ を制御して $|G|$ を界定する

段階2：単純群の場合（第5節）

補題5.2： $G$ が特性 $p$ のLie型群で、 $P$ が $\alpha$ -不変Sylow $p$ -部分群ならば、 $[P,\alpha]$ は正則冪零元 $x$ を含み、 $C_G(x) \leq P$ である。

証明技術：

非扭曲群の場合： $x = \prod_{r \in \Pi} x_r(t^\alpha - t)$ を構成する
扭曲群の場合：同値類構造を利用して正則元を構成する
Chevalley交換子公式を使用（注記5.1）

補題5.4：仮定4.1の下で、 $G$ が単純群ならば、特性 $p$ は $\epsilon$ -有界である。

命題5.5（単純群の場合の主結果）：仮定4.1の下で、 $G$ が単純群ならば、 $|G|$ は $\epsilon$ -有界である。

証明戦略：

Zsigmondy素数 $r$ （ $(p, f|\alpha|e)$ に対して）を利用する
$r \geq f|\alpha|e$ を証明し、 $r$ が $|C_G(\alpha)|$ を割らないことを示す
$R$ が $\alpha$ -不変Sylow $r$ -部分群ならば、 $[R,\alpha] = R$ である
$\Pr([P,\alpha], R) \geq \epsilon$ を利用して $|R|$ または $|[P,\alpha]|$ が有界であることを推導する
補題2.2を適用して証明を完成させる

段階3：半単純群の場合（第6節）

補題6.3：仮定4.1の下で、 $G$ が半単純で非自明な真 $\alpha$ -不変正規部分群を持たないならば、 $|G|$ は $\epsilon$ -有界である。

補題6.4：仮定4.1の下で、 $G$ が半単純で $G = [G,\alpha]$ ならば、 $|G|$ は $\epsilon$ -有界である。

証明の思路：

$G = T_1 \times \cdots \times T_s$ （ $T_i$ は極小 $\alpha$ -不変正規部分群）と書く
各 $T_i$ の位数は $\epsilon$ -有界である（補題6.3）
重要： $s$ が $\epsilon$ -有界であることを証明する
補題3.2を利用： $[P,Q] \neq 1$ ならば $\Pr(P,Q) \leq 3/4$
確率不等式 $\epsilon \leq \prod_{i=1}^s \Pr([P_i,\alpha], [Q_i,\alpha]) \leq (3/4)^s$ を通じて $s$ が有界であることを得る

段階4：一般的な場合（第7節）

補題7.1：すべての $a \in A$ に対して $|[G,a]| \leq m$ ならば、 $|[G,A]|$ は $m$ -有界である。

定理1.2の証明：

各 $\alpha \in A$ に対して、 $[G,\alpha]$ は定理6.6の条件を満たす
定理6.6により、 $|[G,\alpha] : F_2([G,\alpha])|$ は $\epsilon$ -有界である
$F_2([G,\alpha]) \leq F_2(G)$ に注意する
$F_2(G)$ を法として、各 $[G,\alpha]$ の位数は有界である
補題7.1を適用して $[G,A]$ の位数が $F_2(G)$ を法として有界であることを得る

技術的革新点

確率的方法と構造理論の結合：
- 補題3.3：交換確率から正規部分群の存在性を導出する
- 命題3.4：交換確率と交換子群の位数の関連性を確立する
Lie型群の精密な分析：
- 根部分群構造とChevalley公式を利用する
- 扭曲と非扭曲の場合の統一的処理
- Zsigmondy素数の重要な応用
帰納的論証の慎重な設計：
- 可解群ではFitting部分群とFitting高さを利用する
- 半単純群では直積分解と確率の乗法性を利用する
- 補題2.8： $\gamma_\infty(G)$ の位数を制御する

実験設定

本論文は純粋数学の理論論文であり、実験や数値計算は含まれない。すべての結果は厳密な数学的証明である。

実験結果

主要定理

定理1.2： $\epsilon > 0$ とし、 $G$ を互いに素な自己同型群 $A$ を許容する有限群とする。任意の異なる素数 $p, q \in \pi(G)$ に対して、 $A$ -不変Sylow $p$ -部分群 $P$ と $A$ -不変Sylow $q$ -部分群 $Q$ が存在して $\Pr([P,A], [Q,A]) \geq \epsilon$ を満たすならば、 $F_2([G,A])$ は $[G,A]$ において $\epsilon$ -有界指数を持つ。

定理1.3： $G$ を互いに素な自己同型群 $A$ を許容する有限群とし、 $P$ を $A$ -不変Sylow $p$ -部分群とする。すべての $x \in G$ に対して $\Pr([P,A], [P,A]^x) \geq \epsilon$ ならば、 $[P,A]$ を $O_p(G)$ で割った位数は $\epsilon$ -有界である。

定理1.4： $G$ を互いに素な自己同型群 $A$ を許容する有限群とし、 $G = [G,A]$ とする。各素数 $p | |G|$ に対して、 $A$ -不変Sylow $p$ -部分群 $P$ が存在して、すべての $x \in G$ に対して $\Pr([P,A], [P,A]^x) \geq \epsilon$ を満たすならば、 $G$ は有界-可換-有界である。

反例と最適性

第4節の例：定理1.2の仮定を満たすが、 $|[G,\alpha] : F([G,\alpha])|$ が任意に大きくなる群を構成する：

3次の循環群 $C$ を取り、 $\alpha$ を対合自己同型とする
素数 $p_1, \ldots, p_s > 3$ に対して、圏積 $H_{p_i}$ を構成する
$G = \prod_{i=1}^s H_{p_i}$ は条件を満たすが $|G : F(G)| = 3^s$

これは定理1.2において $F_2$ が最適であり、 $F$ に改善できないことを示している。

重要補題の応用

補題2.2：Lie型単純群の位数制御
- $|[P,\alpha]| \leq C$ ならば、 $|G|$ は $C$ -有界である
- $|[P,\alpha]| \geq |P|^{1/2}$ と $|G| \leq |P|^3$ を利用する
補題2.10：可解群の位数制御
- $|I_{F(G)}(\alpha)| \leq n$ ならば、 $|G|$ は $n$ -有界である
- Fitting高さとKaluzhnin定理を利用する
補題8.2：正規部分群積の構造
- $G = A_1 \cdots A_k$ で $\Pr(A_i, A_j) \geq \epsilon$ ならば
- 正規部分群 $D$ が存在して、 $|G:D|$ と $|D'|$ の両方が $(\epsilon,k)$ -有界である

結論と考察

主要な結論

定理1.2の意義：
- Sylow部分群交換確率の構造定理を互いに素な自己同型作用に一般化する
- $F_2([G,A])$ は最適である（反例は $F([G,A])$ に改善できないことを示す）
- 局所情報（Sylow部分群）から全体構造を導出する新しい方法を提供する
定理1.4の意義：
- すべての素数位置で条件を満たす場合、Neumann定理と同じ結論を得る
- 交換確率条件が自己同型の場合でも同様に強力であることを示す
技術的貢献：
- Lie型単純群と互いに素な自己同型を扱うための体系的方法を開発する
- 自己同型群論における確率的方法の応用フレームワークを確立する

制限事項

有限単純群分類への依存：
- すべての主要結果はCFSG（有限単純群の分類）に依存する
- これは避けられない。すべての可能な単純群を分析する必要があるため
有界定数の非有効性：
- 証明が与える $\epsilon$ -有界定数は存在性のもので、明示的な表現式は与えられない
- これらの定数を実際に計算することは非常に困難である可能性がある
条件の必要性：
- 定理1.2はすべての異なる素数対に対して交換確率の下界を要求する
- 特定の素数対のみに弱めることができるかは不明である
一般化の可能性：
- 非互いに素な自己同型に一般化できるか？
- 無限群の特定のクラスに一般化できるか？

今後の方向

明示的な界の計算：
- $\epsilon$ -有界定数の明示的な表現式を与える
- 最適界の漸近的振る舞いを研究する
他の自己同型タイプ：
- 非互いに素な自己同型の場合を研究する
- 特殊なタイプの自己同型（内自己同型、グラフ自己同型など）を考察する
確率条件の緩和：
- 部分的な素数対のみが条件を満たす場合を研究できるか
- 他のタイプの確率条件を考察する
応用：
- 結果を群の表現論に応用する
- 代数組合論の問題に応用する

深い評価

利点

理論的深さ：
- 交換確率、Sylow理論、互いに素な自己同型、有限単純群分類を巧みに結合する
- 証明技術は精密で、各分野の深い結果を十分に活用している
結果の最適性：
- 反例を通じて定理1.2の $F_2$ が $F$ に改善できないことを証明する
- 著者が問題を非常に深く理解していることを示す
体系性：
- 可解群から単純群、一般群への段階的な処理
- 各段階で主定理を支える重要な補題がある
技術的革新：
- 補題5.2の正則冪零元の構成は非常に精巧である
- 補題6.4における確率の乗法性を利用して直積因子数を制御する考え方は新しい
執筆の明確性：
- 構造が明確で、論理が厳密である
- 適切な注記と例が理解を助ける

不足点

可読性：
- 大量の群論の背景知識が必要である（Fitting級数、Hall-Higman理論、Lie型群）
- 非専門家にとっては理解が難しい
計算の複雑性：
- 条件を実際に計算または検証する方法については議論されていない
- 有界定数の非有効性は応用を制限する
一般化性：
- 結果は互いに素性の仮定に高度に依存している
- 一般的な自己同型群の場合は扱われていない
応用例：
- 具体的な応用例は与えられていない
- 他の数学分野との関連性が不足している

影響力

理論的貢献：
- 自己同型群論における交換確率理論の応用を進める
- 後続研究に重要なツールと方法を提供する
方法論的貢献：
- 確率的方法と構造理論を結合する例
- Lie型群を扱う技術は他の問題に応用できる
開放問題：
- 他のタイプの自己同型に関する研究を刺激する
- 最適界に関する問題は進一步の探索に値する

適用場面

群論研究：
- 有限群の構造と分類の研究
- 自己同型群の作用の分析
代数学：
- 群表現論への応用
- 代数群の関連問題
理論計算機科学：
- 群アルゴリズムの複雑性分析
- 暗号学における群論の問題

参考文献

本論文は28篇の重要な文献を引用しており、主なものは以下の通りである：

26 P. M. Neumann (1989)：交換確率の開拓的業績
12 Detomi et al. (2024)：Sylow部分群交換確率の最新結果
21 Hall-Higman (1956)：可解群の $p$ -長さ理論
9,10 Carter (1972, 1985)：Lie型群の標準的参考文献
15,16 Gorenstein-Lyons-Solomon (1994, 1998)：有限単純群の分類
2,3 Acciarri-Guralnick-Shumyatsky (2022, 2023)：互いに素な自己同型の最新研究

総合評価：これは高品質な群論研究論文であり、交換確率の方法を互いに素な自己同型理論に成功裏に応用し、深く最適な結果を得ている。証明技術は精密で、現代有限群論の力を十分に示している。高度に専門化されているが、この分野の研究者に重要な理論的ツールと方法論的示唆を提供している。