[论文解读] A note on the number of cyclic subgroups of a finite group

Marius Tărnăuceanu, Mihai-Silviu Lazorec|arXiv (Cornell University)|May 1, 2018

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

一句话总结

本文研究了有限幂零群的类 𝒞，其中 α(G) = 3/4，α(G) 是循环子群数量与群阶之比。证明了此类群必为 2-群，并完全分类了 𝒞 中的非交换 2-群，确定 D₁₆ 是该类中唯一具有循环极大子群的非交换群，至多相差初等阿贝尔 2-群的直积因子。

ABSTRACT

Let $G$ be a finite group, $L_1(G)$ be its poset of cyclic subgroups and consider the quantity $α(G)=\frac{|L_1(G)|}{|G|}$. The aim of this paper is to study the class $\cal{C}$ of finite nilpotent groups having $α(G)=\frac{3}{4}$. We show that if $G$ belongs to this class, then it is a 2-group satisfying certain conditions. Also, we study the appartenance of some classes of finite groups to $\cal{C}$.

研究动机与目标

• 刻画所有满足 α(G) = 3/4 的有限幂零群，其中 α(G) 表示相对于群阶的循环子群计数。
• 确定哪些有限 2-群类（如广义二面体群、超特殊群，或具有循环极大子群的群）属于此类。
• 将 α(G) > 3/4 的群分类结果扩展至临界阈值 α(G) = 3/4。
• 解决完全分类所有满足 α(G) = 3/4 的有限群的开放问题，特别关注 2-群。

提出的方法

• 利用互素阶群的直积下 α(G) 的乘法性质，将问题约化为 p-群情形。
• 应用 p-群中循环子群数量的不等式，特别是证明 α(G) ≤ α(ℤₚⁿ) 对于 p-群成立。
• 利用关于特定 2-群（如二面体群、四元数群、模群、广义二面体群）的子群格和循环子群计数的已知结果。
• 使用公式 α(G) = |L₁(G)| / |G|，通过代入已知的循环子群数量，对特定 2-群族求解 α(G) = 3/4。
• 应用关于具有循环极大子群的 2-群的结构定理（例如来自 [9] 的结果），对非交换情形进行分类。
• 利用 α(G × ℤ₂ⁿ) = α(G) 的事实，将分类问题约化为不包含初等阿贝尔 2-群直积因子的群。

实验结果

研究问题

• RQ1 哪些有限幂零群满足 α(G) = 3/4？
• RQ2 哪些广义二面体 2-群属于类 𝒞？
• RQ3 哪些具有循环极大子群的非交换 2-群满足 α(G) = 3/4？
• RQ4 所有满足 α(G) = 3/4 的有限群的完整集合是什么？它们与 2-群及幂零结构有何关系？
• RQ5 集合 {α(G) | G 为有限群} 在 [0, 3/4] 中的密度是多少？

主要发现

• 𝒞 中唯一的有限交换群是 ℤ₂ⁿ × ℤ₄，其中 n ∈ ℕ。
• 𝒞 中的所有群都是 2-群，且不存在奇数阶 p-群（p 为奇素数）满足 α(G) = 3/4。
• 二面体群 D₁₆ 是 𝒞 中唯一具有循环极大子群的非交换 2-群。
• 广义二面体群 D(G) 属于 𝒞 当且仅当 G ≅ ℤ₂ⁿ × ℤ₈ 对某个 n ∈ ℕ 成立。
• 在具有循环极大子群的 2-群族中，仅 D₁₆ 满足 α(G) = 3/4。
• 至多相差形式为 ℤ₂ⁿ 的直积因子，D₁₆ 是 𝒞 中唯一具有循环极大子群的有限非交换 2-群。