[논문 리뷰] On solubility of groups with finitely many centralizers

Mohammad Zarrin|arXiv (Cornell University)|2012. 05. 03.

Finite Group Theory Research인용 수 3

한 줄 요약

이 논문은 중심자 수가 21 이하인 모든 유한군이 가해임을 입증하며, n = 21에서 날카로운 경계를 확립한다. 또한 |G| < (30n + 15)/19 이면 G는 비가환 가해군임을 보이며, Ashrafi가 제기한 유한 Cₙ-군의 구조에 관한 추측에 대한 부분적 해결을 제공한다.

ABSTRACT

For any group G, let C(G) denote the set of centralizers of G. We say that a group G has n centralizers (G is a Cn-group) if |C(G)| = n. In this note, we prove that every finite Cn-group with n ? 21 is soluble and this estimate is sharp. Moreover, we prove that every finite Cn-group with |G| &lt; 30n+15 19 is non-nilpotent soluble. This result gives a partial answer to a conjecture raised by A. Ashrafi in 2000.

연구 동기 및 목표

• 유한군이 유한한 수의 중심자를 가지는 경우의 가해성, 특히 n이 작은 값일 때를 규명하는 것.
• Cₙ-군의 순서에 대한 경계를 설정하여 비가환 가해성을 암시하는 것.
• Ashrafi의 2000년 추측에 대한 부분적 해답을 제공하는 것: |G| ≤ 3n/2 인 유한 Cₙ-군의 구조에 관해.
• 중앙자 수와 군의 성질, 특히 비가환성과 가해성과의 관계를 탐색하는 것.

제안 방법

• g ∈ G에 대해 중심자 C_G(g)의 개념을 사용하며, 정확히 n개의 서로 다른 중심자를 가지는 군을 Cₙ-군으로 정의한다.
• Proposition 2.1을 적용하여 임의의 Cₙ-군이 (𝒜, n−1) 조건을 만족함을 보이며, 이는 n개의 원소가 모두 쌍별로 비아벨 부분군을 생성할 수 없음을 의미한다.
• Theorem 2.2를 활용하여 어떤 상수 c에 대해 |G : Z(G)| ≤ c^{n−1}을 유도하며, 군의 중심 크기와 n 사이의 관계를 맺는다.
• Lemma 2.3를 적용하여 |G|와 |I(G)| (역전치 원소의 집합) 사이의 부등식 n ≤ (|G| + |I(G)|)/2를 통해 관련성을 규명한다.
• Potter의 1988년 정리(자기 동형사상이 4|G|/15 이상의 원소를 반전시키는 경우)를 적용하여 가해성을 도출한다.
• 중앙자 집합 위의 군 작용을 분석하여 준단순 Cₙ-군의 유한성과 순서 경계를 증명한다.

실험 결과

연구 질문

• RQ1 n ≤ 21일 때 모든 유한 Cₙ-군이 가해인지이며, 이 경계가 날카로운가?
• RQ2 |G|에 대한 n에 대한 경계가 Cₙ-군이 비가환이고 가해임을 보장할 수 있는가?
• RQ3 |G| < (30n + 15)/19 조건이 유한 Cₙ-군에 대해 비가환 가해성을 암시하는가?
• RQ4 중앙자 수가 유한군의 구조, 특히 비가환성과 가해성에 대해 어느 정도 제약을 가하는가?
• RQ5 유한군에서 역전치 원소 집합 I(G)의 크기와 중심자 수 n 사이의 관계는 어떻게 되는가?

주요 결과

• n ≤ 21인 모든 유한 Cₙ-군은 가해이며, 이 경계는 날카롭다. A₅는 22개의 중심자를 가지며 단순군이므로 이를 확인한다.
• 대칭군 A₅는 비가해인 Cₙ-군 중 가장 작은 것으로, 가해성의 임계점이 n = 22임을 확인한다.
• |G| < (30n + 15)/19 이면 G는 비가환이고 가해임을 보이며, 이는 정량적 가해성 기준을 제공한다.
• 임의의 Cₙ-군 G에 대해 |G : Z(G)| ≤ c^{n−1} (c > 0 인 상수 c)를 만족한다.
• |G| < (30n + 15)/19 이면 항상 |I(G)| > (4|G|/15) − 1 이며, 이는 Potter의 정리를 적용할 수 있도록 한다.
• 준단순 Cₙ-군는 유한하며, 군 작용에 의한 중심자 집합과 비가환성 제약 조건으로부터 |G| ≤ (n−1)! 를 유도할 수 있다.