[论文解读] 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-群中元素阶的乘积，证明该乘積在對應群類型的整數分拆的字典序下嚴格遞增。主要結果表明，同階的兩個有限交換 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-群的全序。
• 透過 Sylow 分解將唯一性結果推廣至所有有限交換群。

提出的方法

• 使用 n 的整數分拆的字典序，定義階為 pⁿ 的交換 p-群同構類型的全序。
• 應用來自 [9] 的推論 4.4 衍生的 ψ′(G) 明確公式，其中涉及依賴群的秩與指數結構的分段函數 f(α₁,…,αₖ)(i)。
• 利用引理 A，將幂零群的 ψ′(G) 計算簡化為 p-群，該引理將 ψ′(G) 表示為其他 Sylow 子群階相關指數的 ψ′(Gᵢ) 的乘積。
• 分析字典序中連續分拆，證明 ψ′(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) 也確定有限交換群的同構類型？

主要发现

• 元素階乘積 ψ′(G) 在階為 pⁿ 的交換 p-群分拆類型的字典序下嚴格遞增。
• 兩個階為 pⁿ 的有限交換 p-群同構當且僅當它們的元素階乘積相同。
• 對於任意有限交換群，元素階乘積唯一確定其同構類型，此結果透過 Sylow 分解與冪零情形推導得出。
• 為交換 p-群 G ≅ ∏ℤₚ^{αᵢ} 推導出 ψ′(G) 的明確公式，其中涉及依賴 i 相對於指數 αᵢ 位置的分段函數 f(α₁,…,αₖ)(i)。
• 該公式確認：ψ′(ℤₚ^{α}) = p^{(αp^{α+1} - (α+1)p^{α} + 1)/(p-1)}，且 ψ′(ℤₚ^{α} × ℤₚ^{β}) = p^{(βp^{α+β+2} - p^{α+β+1} - (β+1)p^{α+β} + p^{2α+1} + 1)/(p²-1)}。
• 本文猜想所有元素階的初等對稱和 ψₖ(G) 也確定有限交換群的同構類型，並在許多情況下透過計算驗證。