[論文レビュー] A note on the product of element orders of finite abelian groups

Marius Tărnăuceanu|arXiv (Cornell University)|May 21, 2018

Finite Group Theory Research参考文献 2被引用数 7

ひとこと要約

この論文は、有限アーベル p-群における元の位数の積を調査し、群の型をインデックス付ける整数分割の辞書式順序に関して、この積が厳密に増加することを証明する。主な結果は、同じ位数の2つの有限アーベル p-群が同型であるための必要十分条件が、元の位数の積が同一であることであることを示しており、Sylow分解を用いてすべての有限アーベル群へ拡張される。

ABSTRACT

Given a finite group $G$, we denote by $ψ\,'(G)$ the product of element orders of $G$. Our main result proves that the restriction of $ψ\,'$ to abelian $p$-groups of order $p^n$ is strictly increasing with respect to a natural order on the groups relating to the lexicographic order of the partitions of $n$. In particular, we infer that two finite abelian groups of the same order are isomorphic if and only if they have the same product of element orders.

研究の動機と目的

• 有限群 G における元の位数の積 ψ′(G) を研究し、特にアーベル p-群に焦点を当てる。
• ψ′(G) が有限アーベル p-群の同型型を位数 pⁿ に関して一意に特定するかを特定する。
• 固定された位数 pⁿ のアーベル p-群に対して、その分割型の辞書式順序に基づく全順序を確立する。
• Sylow分解を用いて、一意性の結果をすべての有限アーベル群へ拡張する。

提案手法

• 整数分割 n の辞書式順序を用いて、位数 pⁿ のアーベル p-群の同型型に全順序を定義する。
• 論文[9]の系4.4から導かれる明示的な ψ′(G) の公式を適用し、群のランクと指数構造に依存する区分関数 f(α₁,…,αₖ)(i) を含む。
• Proposition A を用いて、冪零群における ψ′(G) の計算を p-群に還元し、ψ′(G) を他の Sylow 部分群の位数に関連する指数の積として表現する。
• 辞書式順序における連続する分割を分析し、ψ′(G) が分割順序とともに厳密に増加することを証明する。
• 分割における最小の指数 β₁ に基づく場合分け（β₁ ≥ 2 および β₁ = 1）を用い、指数公式における pⁱf(⋅)(i) 項の和を比較する。
• 関数 f(⋅)(i) の指数的項の不等式を用いて、G の分割が H より辞書式に小さいとき、かつそのときに限り ψ′(G) < ψ′(H) であることを示す。

実験結果

リサーチクエスチョン

• RQ1 位数 pⁿ の有限アーベル p-群の同型型が、元の位数の積によって一意に特定されるか？
• RQ2 ψ′(G) は、位数 pⁿ のアーベル p-群の分割型の辞書式順序に関して厳密に増加するか？
• RQ3 元の位数の積は、同じ位数の非同型な有限アーベル群を区別できるか？
• RQ4 アーベル p-群における ψ′(G) の一意性は、Sylow分解を用いてすべての有限アーベル群へ拡張可能か？
• RQ5 高次の初等対称和 ψₖ(G) が元の位数においても同型型を一意に特定するという予想はあるか？

主な発見

• 位数 pⁿ のアーベル p-群の分割型の辞書式順序に関して、元の位数の積 ψ′(G) は厳密に増加する。
• 位数 pⁿ の2つの有限アーベル p-群は、同型であるための必要十分条件が、元の位数の積が同一であることである。
• 任意の有限アーベル群に対して、元の位数の積は同型型を一意に特定する。これは Sylow分解と冪零の場合の結果を用いて示される。
• アーベル p-群 G ≅ ∏ℤₚ^{αᵢ} に対して、ψ′(G) の明示的公式が導出され、その式には群の指数 αᵢ に対する位置に依存する区分関数 f(α₁,…,αₖ)(i) が含まれる。
• 公式により、ψ′(ℤₚ^{α}) = p^{(αp^{α+1} - (α+1)p^{α} + 1)/(p-1)} および ψ′(ℤₚ^{α} × ℤₚ^{β}) = p^{(βp^{α+β+2} - p^{α+β+1} - (β+1)p^{α+β} + p^{2α+1} + 1)/(p²-1)} が確認される。
• 本論文は、すべての初等対称和 ψₖ(G) が有限アーベル群の同型型を一意に特定するという予想を提示し、多数のケースについて計算的に検証されている。