[論文レビュー] The Number of Finite Groups Whose Element Orders is Given

A. R. Moghaddamfar, Wujie Shi|ArXiv.org|Sep 22, 2005

Finite Group Theory Research参考文献 14被引用数 3

ひとこと要約

この論文は、有限群の要素スペクトルによる識別可能性を調査し、p = 2^α3^β + 1 が素数であるような PGL(2, pⁿ) に焦点を当てる。このような群は、常に一意に識別可能（h(G) = 1）または非識別可能（h(G) = ∞）であり、ほとんど識別可能にはならないことを証明する。主な結果として、PGL(2,7) および PGL(2,9) は非識別可能であり、それらと同一のスぺクトルを持つ群の明示的構成が行われている。

ABSTRACT

The spectrum $ω(G)$ of a finite group $G$ is the set of element orders of $G$. If $Ω$ is a non-empty subset of the set of natural numbers, $h(Ω)$ stands for the number of isomorphism classes of finite groups $G$ with $ω(G)=Ω$ and put $h(G)=h(ω(G))$. We say that $G$ is recognizable (by spectrum $ω(G)$) if $h(G)=1$. The group $G$ is almost recognizable (resp. nonrecognizable) if $1

研究の動機と目的

• PGL(2, pⁿ) に対して、同じ要素スぺクトル（ω(G)）を持つ非同型な有限群の数を特定すること。ここで p = 2^α3^β + 1 は素数である。
• このような群が識別可能（h(G) = 1）、ほとんど識別可能（1 < h(G) < ∞）、または非識別可能（h(G) = ∞）のいずれに属するかを分類すること。
• PGL(2,7) および PGL(2,9) が非識別可能であることを示し、それらと同一のスぺクトルを持つ明示的な群を構成すること。
• 射影線形群の文脈において、Cpp群およびそのスぺクトル的性質の理解を拡張すること。

提案手法

• 有限群 G の要素の順序の集合であるスぺクトル ω(G) を用い、スぺクトル Ω を持つ群の同型類の数を h(Ω) と定義する。
• Zsigmondy の定理を用いて、qⁿ − 1 および qⁿ + 1 の原始的素因数を特定し、要素の順序を分析する上で中心的な役割を果たす。
• 群論的技法を適用する：中心化部分群、Sylow部分群、および自己同型群の解析、特に L₂(q) および PGL(2,q) に対して。
• 任意の非自明な p-元の中心化部分群が p-群である Cpp群の性質を用い、可能な群構造を制限する。
• 例えば 7-群を 2.S₄ で拡張するような明示的構成を用い、スぺクトルの同値性と一意性の欠如を示す。
• 有限群論の結果を応用する。特に、Aut(L₂(q)) の構造および単純な Cpp群の分類に関する結果。

実験結果

リサーチクエスチョン

• RQ1 p = 2^α3^β + 1 が素数である PGL(2, pⁿ) に対して、h(G) は常に 1 または ∞ であり、その間の値にはならないか？
• RQ2 PGL(2,7) および PGL(2,9) は非識別可能であるか、すなわちそれらと同型でない他の群とスぺクトルを共有するか？
• RQ3 qⁿ − 1 の原始的素因数を体系的に計算する方法は存在するか、スぺクトル解析を支援するか？
• RQ4 構造的制約（例：Cpp性質）が、PGL(2, pⁿ) に対して h(G) を 1 または ∞ に強いる仕組みは何か？

主な発見

• p = 2^α3^β + 1 が素数である PGL(2, pⁿ) は、常にほとんど識別可能にはならない。h(PGL(2, pⁿ)) は 1 または ∞ のいずれかである。
• PGL(2,7) は非識別可能である。7-群を 2.S₄ で拡張したFrobenius群が存在し、それらのスぺクトルは {6,7,8} と同一である。
• PGL(2,9) は非識別可能である。これは Lemma 7(2) および Lemma 4 を用いて確認され、それらのスぺクトルを持つ非同型な群が複数存在することを示している。
• PGL(2, pⁿ) において、正規部分群 N のSylow 2-部分群が非自明であれば、h(G) = ∞ である。これは一意性の欠如を意味する。
• PGL(2, pⁿ) のスぺクトルは µ(G) = {pⁿ − 1, p, pⁿ + 1} であり、これらの値に原始的素因数が存在するかどうかが識別行動を決定づける。
• aⁿ − 1 の原始的素因数を計算するためのコンピュータプログラムを開発し、証明におけるスぺクトル解析を支援している。