[論文レビュー] Automorphism Groups of Finite p-Groups: Structure and Applications

Geir T. Helleloid|ArXiv.org|Nov 18, 2007

Finite Group Theory Research参考文献 66被引用数 4

ひとこと要約

この学位論文は、構造的群論と $p$-群のフィルトレーションを用いて、ほとんどすべての有限 $p$-群の自己同型群が、漸近的に自分自身が $p$-群であることを確立する。さらに、初等的アーベル $p$-群上のマルコフ連鎖と自己同型群を結びつけ、三角関数積の推定とガウス和を用いて収束速度の上限を証明する。

ABSTRACT

This thesis has three goals related to the automorphism groups of finite $p$-groups. The primary goal is to provide a complete proof of a theorem showing that, in some asymptotic sense, the automorphism group of almost every finite $p$-group is itself a $p$-group. We originally proved this theorem in a paper with Martin; the presentation of the proof here contains omitted proof details and revised exposition. We also give a survey of the extant results on automorphism groups of finite $p$-groups, focusing on the order of the automorphism groups and on known examples. Finally, we explore a connection between automorphisms of finite $p$-groups and Markov chains. Specifically, we define a family of Markov chains on an elementary abelian $p$-group and bound the convergence rate of some of those chains.

研究の動機と目的

• 与えられた有限 $p$-群の自己同型群が、漸近的に自分自身が $p$-群であることを証明すること。
• 有限 $p$-群の自己同型群に関する既知の結果を、位数と構造的性質に焦点を当てて概説すること。
• $p$-群の自己同型と初等的アーベル $p$-群上のマルコフ連鎖の収束速度との間の新しい関係を確立すること。
• 先行研究におけるギャップを埋めるために、自己同型群構造に関する主な漸近定理の完全で見直された証明を提供すること。
• 下位 $p$-系列が $p$-群の列挙および自己同型群構造の理解において果たす役割を分析すること。

提案手法

• 下位 $p$-系列と自由リー代数構造を用いて、$p$-群およびその自己同型のフィルトレーションを分析する。
• 自己同型群の計算から生じる指標和を推定するために、ガウス和 $G(x,y) = \sum_{k=0}^{p-1} e^{2\pi i (kx + ky)/p}$ を適用する。
• ガウス和の比を抑え、自己同型群のサイズを正規化するために、$\cos(2\pi \cdot 2^a / p)$ を含む三角関数積の推定を用いる。
• ガウス和の対称性および $2^a \mod p$ の周期性を活用して、不変恒等式 $\Pi_j = \Pi_{t-j}$ および $\Gamma_j = \Gamma_{t-j}$ を証明する。
• 恒等式 $\prod_{a=0}^{t-1} G\left(\frac{2^a(2^j-1)}{p}\right) = \Pi_j$ を用いて、自己同型群のサイズとガウス和積との関係を結ぶ。
• 指数的減衰推定を用いた集中不等式を適用し、$\left| \frac{\Pi_j}{\Pi_1^2} \right| \to 1$ が $t \to \infty$ のとき成り立つことを示し、正規化された和の収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 ランダムな有限 $p$-群の自己同型群の漸近的構造は何か？
• RQ2 下位 $p$-系列および自由リー代数構造は、$p$-群の自己同型群にどのように影響を与えるか？
• RQ3 自己同型作用を介して定義された初等的アーベル $p$-群上のマルコフ連鎖の収束速度は何か？
• RQ4 ガウス和積は、$p$-群の自己同型群のサイズと構造にどのように関係するか？
• RQ5 自己同型群が $p$-群のままである $p$-群の割合はどの程度で、どの程度の頻度で $p$-群の自己同型群を有するのか？

主な発見

• 有限 $p$-群の自己同型群は、群の位数が増加するに従い、漸近的にほとんどすべての群について自分自身が $p$-群である。
• $t^{1/3} \leq j \leq t/2$ の範囲で、比 $\left| \frac{\Gamma_j}{\Pi_1^2} \right|$ は絶対定数 $c_1$ を用いて $1 \pm \frac{c_1}{d \cdot 2^j}$ の範囲に抑えられ、集中が確認される。
• 正規化された和 $\frac{1}{dt} \sum_{j=0}^{t-1} \left( \frac{\Pi_j^r}{\Pi_1^{2r}} \right) + \frac{1}{t}\left(1 - \frac{1}{d}\right) \sum_{j=0}^{t-1} \left( \frac{\Gamma_j}{\Pi_1^2} \right)^r \to 1$ が $t \to \infty$ のとき成り立ち、一様性への収束を示す。
• $2^a \mod p$ の周期性およびガウス和の引数における対称性により、恒等式 $\Pi_j = \Pi_{t-j}$ および $\Gamma_j = \Gamma_{t-j}$ が成り立つ。
• 積 $\prod_{a=0}^{t-1} G\left(\frac{2^a(2^j-1)}{p}\right)$ は $\Pi_j$ に等しく、自己同型群のサイズとガウス和積との関係を結ぶ。
• 三角関数推定を用いてマルコフ連鎖の収束速度を上限で抑え、$\left| \frac{\Gamma_j}{\Pi_1^2} \right| \geq 1 - \frac{2^{j-1}\pi}{dp}$ および同程度の上界が得られ、ゆっくりだが制御された混合が示される。