[论文解读] 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

一句话总结

本文研究了有限群的元素谱识别问题，重点关注 PGL(2, pⁿ)，其中 p = 2^α3^β + 1 为素数。结果表明，此类群要么唯一可识别（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)。
• 利用 Cpp-群性质（任意非平凡 p-元素的中心化子为 p-群）以限制可能的群结构。
• 通过构造显式扩张（例如，7-群对 2.S₄ 的扩张）以证明谱等价性和非唯一性。
• 应用有限群论结果，包括 Aut(L₂(q)) 的结构以及简单 Cpp-群的分类。

实验结果

研究问题

• RQ1 对于 PGL(2, pⁿ)，其中 p = 2^α3^β + 1 为素数，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) 不可识别，因为存在一个 Frobenius 群扩张（7-群对 2.S₄ 的扩张），其谱相同，为 {6,7,8}。
• PGL(2,9) 不可识别，通过引理 7(2) 和引理 4 得到证实，表明存在多个非同构群共享其谱。
• 对于 PGL(2, pⁿ)，若正规子群 N 的 Sylow 2-子群非平凡，则 h(G) = ∞，意味着非唯一性。
• PGL(2, pⁿ) 的谱为 µ(G) = {pⁿ − 1, p, pⁿ + 1}，且这些值中本原素因子的存在与否决定了识别行为。
• 开发了一款计算机程序，用于计算 aⁿ − 1 的本原素因子，支持证明中的谱分析。