[論文レビュー] Classification of finite group automorphisms with a large cycle

Alexander Bors|arXiv (Cornell University)|Oct 8, 2014

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

ひとこと要約

この論文は、有限群 $G$ 及びその自己同型 $α$ を、$λ(α) \geq \frac{1}{2}$ を満たすものについて分類する。ここで $λ(α)$ は自己同型 $α$ による単一の巡回に属する $G$ の要素の割合を表す。群論および置換の巡回構造の道具を用いて、同型を除いてこのような対 $(G, \alpha)$ を完全に分類し、少なくとも半分の群の要素をカバーする巡回を持つ自己同型を有するすべての有限群を同定する。

ABSTRACT

Let $ψ$ be a permutation of a finite set $X$. We define $λ(ψ)$ to be the largest fraction of elements of $X$ lying on a single cycle of $ψ$. For a finite group $G$, we define $λ(G)$ to be the maximum among the values $λ(α)$, where $α$ runs through the automorphisms of $G$. In this paper, we develop tools to deal with questions related to $λ$-values of finite groups and of their automorphisms. As a consequence, we will be able to give a classification, up to a natural notion of isomorphism, of those pairs $(G,α)$ where $G$ is a finite group, $α$ is an automorphism of $G$ and $λ(α)\geq\frac{1}{2}$.

研究の動機と目的

• 有限群 $G$ 及び $G$ の自己同型 $\alpha$ を、$\u03bb(\alpha) \geq \frac{1}{2}$ を満たすものについて分類すること。ここで $\u03bb(\alpha)$ は $\alpha$ による最大の巡回の割合を測る。
• 自己同型の巡回構造に関する既存の結果を拡張し、群のサイズに対する最大巡回長の相対的長さに注目する。
• 同型を除いて、このような群-自己同型対を完全に分類すること。単に群を分類するのでなく、対を分類することを目的とする。
• 自己同型の巡回構造と擬似乱数生成、特に有限動的系の文脈における関係を調査する。
• 将来の研究の基盤を築くこと。特に、$\rho < \frac{1}{2}$ の場合の自己同型およびアフィン的大きな巡回条件について。

提案手法

• 有限群 $G$ の自己同型 $\alpha \in \mathrm{Aut}(G)$ に対して、$\u03bb(\alpha)$ を $\alpha$ の最大巡回に属する要素の割合として定義する。
• 可換群や冪零群の性質を含む構造的群論を用いて、自己同型の最大巡回長を分析する。
• 特に $p$-群や初等アーベル群における自己同型の位数に関する既知の結果を活用し、$(\mathbb{Z}/p\mathbb{Z})^k$ に対して $\u03bb((\mathbb{Z}/p\mathbb{Z})^k) = 1 - \frac{1}{p^k}$ であるという事実を用いる。
• 非自明な $G$ に対して自己同型の巡回長の上界が $|G| - 1$ であるというホロシェフスキーの定理を適用する。
• 組合せ論的および数論的推定（例えば、巡回長の積の上限）を用いて、矛盾を導くことで、特定の構成を除外する。
• 同型型のすべての対 $(G, \alpha)$ を、$\u03bb(\alpha) \geq \frac{1}{2}$ を満たすものについて分類する。非可換例として、特定の自己同型を有する二面体群や半二面体群を含む。

実験結果

リサーチクエスチョン

• RQ1 どの有限群 $G$ が、少なくとも半数の要素が $\alpha$ の単一の巡回に属する自己同型 $\alpha$ を持つか？
• RQ2 同型類の完全なリストとして、$\u03bb(\alpha) \geq \frac{1}{2}$ を満たす対 $(G, \alpha)$ は何か？
• RQ3 可換群や初等アーベル群と比較して、非可換群における自己同型の巡回構造は、巡回長の割合においてどのように異なるか？
• RQ4 $\rho < \frac{1}{2}$ の場合に、大規模な巡回を持つ自己同型の分類を拡張できるか？
• RQ5 自己同型の巡回構造は、擬似乱数生成に用いられる有限動的系において、果たす役割は何か？

主な発見

• 本論文は、$G$ が有限群で、$\alpha \in \mathrm{Aut}(G)$ が $\u03bb(\alpha) \geq \frac{1}{2}$ を満たすすべての同型型の対 $(G, \alpha)$ を完全に分類している。
• 初等アーベル $p$-群 $(\mathbb{Z}/p\mathbb{Z})^k$ は $\u03bb$-値として $1 - \frac{1}{p^k}$ を達成し、$k \geq 1$ のとき $p^k \geq 3$ であれば $\frac{1}{2}$ を超える。
• $p$-群において、$\mathbb{Z}/p^k\mathbb{Z}$ の $\u03bb$-値は $1 - \frac{1}{p}$ である。したがって、奇数 $p$ のときこの値は $\frac{1}{2}$ を超え、$p=2$ のとき $\lambda(\mathbb{Z}/2^k\mathbb{Z}) = \frac{1}{4}$（$k \geq 3$）となる。
• 非可換群として、二面体群 $D_{2n}$ や特定の半二面体群は、$\u03bb(\alpha) \geq \frac{1}{2}$ を満たす自己同型を有する。特に、$\u03bb(\alpha) > \frac{18}{19} \cdot \prod_{n=3,4,5} \left(1 - \frac{1}{2^n}\right) \cdot \mathrm{exp}\left(-\frac{1}{2^9}\right) > 0.751$ となる例も存在する。
• 分類結果から、古典的な巡回群や初等アーベル群を除き、$\u03bb(\alpha) \geq \frac{1}{2}$ を満たす大規模な巡回を持つ自己同型を有する、根本的に新しい有限群は存在しないことが示された。
• 擬似乱数生成の文脈では、$\geq \frac{1}{2}$ の大きな巡回割合を必要とする場合、新しいタイプの群は登場せず、既知の古典的群（巡回群および初等アーベル群）またはそれらの自己同型誘導系のみが実用可能であると示唆される。