[論文レビュー] Products of normal subsets and derangements

Michael Larsen, Aner Shalev+1 more|arXiv (Cornell University)|Mar 28, 2020

Finite Group Theory Research参考文献 57被引用数 5

ひとこと要約

本稿は、有限単純群における正規部分集合の積と交換しない置換（derangements）を調査し、有界ランクをもつリー型の有限単純群に対して、すべての非単位元が2つの大きな正規部分集合の積として表されることを証明している。さらに、十分に大きな交代群において、すべての元が2つの交換しない置換の積として表されることを確立し、置換群論における構造的問題を解決するとともに、単語写像やワーリング型問題に関する結果を拡張している。

ABSTRACT

In recent years there has been significant progress in the study of products of subsets of finite groups and of finite simple groups in particular. In this paper we consider which families of finite simple groups $G$ have the property that for each $ε> 0$ there exists $N > 0$ such that, if $|G| \ge N$ and $S, T$ are normal subsets of $G$ with at least $ε|G|$ elements each, then every non-trivial element of $G$ is the product of an element of $S$ and an element of $T$. We show that this holds in a strong sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the form ${\mathrm{PSL}}_n(q)$ where $q$ is fixed and $n$ tends to infinity. Our second main result is that any element in a transitive permutation representation of a sufficiently large finite simple group is a product of two derangements.

研究の動機と目的

• どの有限単純群の族に対して、すべての非単位元が2つの大きな正規部分集合の積として表されるかを特定すること。
• 群のサイズが大きくなるにつれて、2つの大きな正規部分集合の積がすべての非単位元をカバーするかを調査すること。
• 十分に大きな有限単純群の推移的置換表現におけるすべての元が、2つの交換しない置換の積として表されることを確立すること。
• 単語写像およびワーリング型問題に関する結果を、正規部分集合の積へと拡張すること。
• 群の積における表現数の漸近的挙動を分析し、特に一様分布との関係を検討すること。

提案手法

• 有限体上の代数的多様体の有理点の数を制御するため、Lang-Weil推定を用い、一様分布に関する結果に不可欠な役割を果たす。
• 群の積構造を尊重する写像技術を適用し、部分集合の積を指標和および表現論と関連づける。
• 既約指標の次数に関する推定と境界を用いて、正規部分集合の積の大きさと分布を分析する。
• 有限単純群の分類および交代群および古典的リー型群の個別ケース解析を活用する。
• 対称群および交代群における帰納法と巡回分解技術を用い、任意の群元が得られるような交換しない置換の積を構成する。
• 近似部分群および準ランダム群の理論からの結果を応用し、部分集合の成長および積閉包を評価する。

実験結果

リサーチクエスチョン

• RQ1 どの有限単純群の族に対して、すべての非単位元が2つの大きな正規部分集合の積に属するか？
• RQ2 |G| → ∞ のとき、各非単位元の表現数の割合が |S||T|/|G| に対して一様に 1 に近づくか？
• RQ3 十分に大きな有限単純群の推移的置換表現において、すべての元が2つの交換しない置換の積として表せるか？
• RQ4 有限単純群における3つの正規部分集合の積の漸近的挙動はいかなるものか？
• RQ5 単語写像の像のサイズは、有限単純群における正規部分集合の構造とどのように関係するか？

主な発見

• 有界ランクをもつリー型の有限単純群に対しては、任意の ε > 0 に対して、|G| が十分に大きいとき、すべての非単位元が大きさが ε|G| 以上の2つの正規部分集合の積として表される。
• この強い積の性質は、交代群および固定された q に対して n → ∞ のときの PSL_n(q) では成立しない。
• 十分に大きな交代群 A_n（n ≥ 5）の推移的置換表現において、すべての元が2つの交換しない置換の積として表される。
• この証明は、巡回型のケース解析および (n−2)-巡回と偶数長の巡回の積を用いた帰納的構成に依存する。
• n ≥ 11 の A_n については、帰納法と共轭類構造を用い、基本ケースは計算的に検証されている。
• 本稿は、交換しない置換が強い乗法的意味で群を生成することを確認し、単語写像および共轭類積に関する確率的結果を拡張している。