Sylow部分群の可換確率と副有限群の構造
Coprime automorphisms of profinite groups and the commuting probability of Sylow subgroups
この論文をやさしく読む
ひとことで言うと
副有限群の部分群から選んだ元が可換になる確率を使い、群の可解性に関する構造を調べた研究です。
何に役立つ？
副有限群と自己同型作用の構造を分類する理論的な手がかりになります。
この研究の面白いところ
可換確率が正であれば強い可解性の結論が得られる場合と、より弱い結論しか得られない場合を区別しています。
どこまで分かった？
各結論にはSylow部分群、奇素数p、自己同型の作用など、それぞれ異なる条件があります。可換確率が正という条件だけで常に同じ結論になるわけではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
副有限群Gの二つの閉部分群H、Kについて、H×Kから無作為に選んだ一対が可換になる確率をPr(H,K)と書く。本研究は、Pr(P,Q)>0となるSylow部分群P、Qを含む副有限群を扱う。まず、GがSylow 2部分群Lと、奇素数pに対するSylow p部分群Pを含み、Pr(L,P)>0なら、Gは事実上pro-p可解であることを示す。次に、互いに素な位数の自己同型群の作用を許す副有限群で同様の問題を扱う。特に、そのような自己同型群Aを持つGで、Aの中心化群C_G(A)のSylow 2部分群Lと、GのA不変なSylow p部分群Pがあり、pが奇数でPr(L,P)>0なら、Gは事実上pro-p可解であると証明する。 一方、Pr([L,A],[P,A])>0だけでは、[G,A]が事実上pro-p可解とは限らない。この場合でも、[G,A]には非p可解長が高々1の開正規部分群があることを示す。さらに、GのA不変なSylow p部分群Pについて、すべてのx∈GでPr([P,A],[P,A]^x)>0なら、[G,A]にも非p可解長が高々1の開正規部分群がある。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24（UTC）
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Given two (closed) subgroups H, K of a profinite group G, we write Pr(H,K) for the probability that a random pair from HxK commutes. Here we are concerned with profinite groups containing Sylow subgroups P, Q such that Pr(P,Q) > 0. First, we show that if G is a profinite group containing a Sylow 2-subgroup L and a Sylow p-subgroup P , where p is odd, such that Pr(L,P) is positive, then G is virtually pro-p-soluble (Theorem 1.1). Then we handle similar issues for profinite groups admitting coprime automorphisms. In particular, we prove that if G is a profinite group admitting a group of coprime automorphisms A such that there is a Sylow 2-subgroup L of C_G(A) and an A-invariant Sylow p-subgroup P of G, where p is odd, for which Pr(L,P) > 0, then G is virtually pro-p-soluble (Theorem 1.3). On the other hand, if we only have Pr([L,A],[P,A]) > 0, then [G,A] need not be virtually pro-p-soluble. We show that in this case [G,A] has an open normal subgroup of non-p-soluble length at most 1 (Theorem 1.4). Furthermore, if P is an A-invariant Sylow p-subgroup of G such that Pr([P, A],[P, A]^x) > 0 for every x in G, then [G,A] has an open normal subgroup of non-p-soluble length at most 1 (Theorem 1.5).
arXiv ID: 2609.29925 ／ 要約の誤りについて