[論文レビュー] 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 に等しい有限冪零群の族 𝒞 を調査する。この論文は、このような群が 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 にまで拡張すること。
• 特に 2-群に焦点を当て、有限群で α(G) = 3/4 を満たすすべての群を完全に分類するという未解決問題に取り組むこと。

提案手法

• 互いに素な位数の群の直積における α(G) の乗法的性質を用いて、問題を p-群に還元する。
• 特に p-群における巡回部分群の数に関する不等式を適用し、p-群に対して α(G) ≤ α(ℤₚⁿ) を証明する。
• 特定の 2-群（例えば二面体群、クaternion群、モジュラー群、一般化された二面体群）における部分群格子と巡回部分群の数に関する既知の結果を活用する。
• 公式 α(G) = |L₁(G)| / |G| を用い、既知の巡回部分群の数を代入することで、特定の 2-群の族に対して α(G) = 3/4 を解く。
• 特に、[9] より得られる 2-群が巡回最大部分群をもつ場合の構造定理を用いて、非アーベルの場合を分類する。
• α(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 を満たさない。
• 巡回最大部分群をもつ唯一の非アーベル 2-群は、D₁₆ である。
• 一般化された二面体群 D(G) は、G ≅ ℤ₂ⁿ × ℤ₈（ある n ∈ ℕ に対して）である場合に限り 𝒞 に属する。
• 巡回最大部分群をもつ 2-群の族の中で、α(G) = 3/4 を満たすのは D₁₆ のみである。
• ℤ₂ⁿ の形の直積因子を除いて、𝒞 に属する巡回最大部分群をもつ唯一の有限非アーベル 2-群は D₁₆ である。