[논문 리뷰] A note on the number of cyclic subgroups of a finite group

Marius Tărnăuceanu, Mihai-Silviu Lazorec|arXiv (Cornell University)|2018. 05. 01.

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로 확장하는 것.
• 특히 2군에 초점을 맞춰, α(G) = 3/4인 모든 유한군을 완전히 분류하는 열린 문제를 다루는 것.

제안 방법

• 서로소 순서를 가진 군의 직접곱에 대한 α(G)의 곱성질을 이용해 문제를 p군으로 축소하는 것.
• 특히 p군에서 순환부분군의 수에 대한 부등식을 적용하여, p군에 대해 α(G) ≤ α(ℤₚⁿ)임을 증명하는 것.
• 특정 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 ≅ ℤ₂ⁿ × ℤ₈인 경우에만 𝒞에 속한다.
• 순환 최대부분군을 가진 2군의 가족들 중에서 D₁₆만이 α(G) = 3/4를 만족한다.
• ℤ₂ⁿ 형태의 직접곱 인자들을 제외한 채로, D₁₆는 𝒞에 속하는 유일한 유한 비아벨 2군이며, 순환 최대부분군을 가진다.