[논문 리뷰] Maximal subgroups of almost simple groups with socle $\PSL(2,q)$

Michael Giudici|ArXiv.org|2007. 03. 23.

Finite Group Theory Research참고 문헌 13인용 수 40

한 줄 요약

이 논문은 PSL(2,q)를 단순자로 가지는 거의 단순군의 모든 극대부분군을 분류하며, 딕슨이 PSL(2,q)에서 극대부분군을 분류한 것을 PSL(2,q) ≤ G ≤ PΓL(2,q)의 전체 거의 단순군 체인으로 확장한다. 주요 기여는 단순자를 포함하지 않는 새로운 종류의 부분군을 포함한 극대부분군의 완전한 목록을, 정규화자, 체자기사상, 부분군 융합 기법을 활용한 군론적 기법을 통해 제시한 것이다.

ABSTRACT

We determine all maximal subgroups of the almost simple groups with socle $T=\PSL(2,q)$, that is, of all groups $G$ such that $\PSL(2,q)\leqslant G\leqslant\PGammaL(2,q)$, with $q\geq 4$.

연구 동기 및 목표

• q ≥ 4인 경우 PSL(2,q) ≤ G ≤ PΓL(2,q)를 만족하는 거의 단순군 G의 모든 극대부분군을 결정하는 것.
• 단순자 T = PSL(2,q)를 포함하지 않는 '신규성' 극대부분군—즉, T에서 G로의 극대부분군 확장을 복잡하게 만드는 부분군—의 존재성과 분류를 해결하는 것.
• PΣL(2,q), PGL(2,q), PΓL(2,q), 그리고 3-전이성 군 M(s,q)에서 극대부분군에 대한 완전하고 일반적인 다루기를 제공하여, 문제의 고전적 성격에도 불구하고 문헌에서 빈도가 낮은 부분을 메우는 것.
• 딕슨의 PSL(2,q)에서의 극대부분군 분류를 정규화자 기법과 자동사상군 작용을 활용하여 전체 거의 단순군 확장으로 확장하는 것.

제안 방법

• q = 2^f 또는 p odd인 q = p^f의 경우로 나누어 딕슨의 PSL(2,q)에서의 극대부분군 분류를 활용하였다.
• PGL(2,q) = ⟨PSL(2,q), δ⟩ 및 PΓL(2,q) = ⟨PGL(2,q), φ⟩의 구조를 사용하였으며, 여기서 δ는 대각자기사상이고 φ는 체자기사상이다.
• T를 포함하지 않는 G의 극대부분군 M을 분석하기 위해 M ∩ T와 그 G에서의 정규화자에 초점을 맞추었으며, 특히 M ∩ T 내의 초기 아벨 2-부분군 E에 주목하였다.
• 아샤처의 정리 프레임워크와 부분군 융합 기법을 적용하여, 정규화자 N_G(H)가 G에서 극대가 되는 조건을 규명하였으며, 특히 H = D_{q±1}, A_4, S_4 또는 부분체군일 경우를 중심으로 다루었다.
• 체자기사상 작용을 통해 자동사상에 의해 고정되거나 중심화되는 부분군을 분석하였으며, C_G(a)가 극대가 되는 경우를 구분하였다.
• 여러 개의 보조정리(3.1–3.4)의 결과를 통합하여 전체 분류를 유도하였으며, 소수 q에 대한 검증은 기존 문헌([3] 등)을 참조하였다.

실험 결과

연구 질문

• RQ1 단순자 PSL(2,q)를 포함하지 않는 거의 단순군 G의 극대부분군은 언제 존재하며, 언제 G에서 극대가 되는가?
• RQ2 PSL(2,q)의 부분군 H에 대해 N_G(H)가 G에서 극대가 되는 조건은 무엇인가? 특히 H가 이방형, A_4, S_4 또는 부분체군일 경우에 대해.
• RQ3 PSL(2,q)에서 극대인 부분군 H가 PGL(2,q) 또는 PΓL(2,q)에서도 여전히 극대가 되는 조건은 무엇인가?
• RQ4 T에서의 M ∩ T가 극대가 아니라는 조건을 만족하는 G의 극대부분군 M(즉, '신규성' 부분군)이 존재하는 조건은 무엇이며, 이러한 부분군은 어떻게 분류할 수 있는가?
• RQ5 체자기사상과 외부자기사상 작용은 PΣL(2,q) 및 M(s,q) 군에서 정규화자의 극대성에 어떻게 영향을 미치는가?

주요 결과

• PSL(2,q)를 단순자로 가지며 G ≤ PΓL(2,q)인 G의 모든 극대부분군이 분류되었으며, 신규성 부분군은 정리 1.1과 표 1에 명시적으로 제시되었다.
• q = p^f, p odd, f ≥ 2인 경우 G = PΣL(2,q)의 단순자 PSL(2,q)를 포함하지 않는 극대부분군은: 점의 안정자, q ≠ 9일 때 N_G(D_{q±1}), p ≡ ±3 mod 10이고 f = 2일 때 S_5, 그리고 q = q₀^r일 때 N_G(PSL(2,q₀))이다.
• q ≥ 4이면서 소수가 아닌 경우 G = PΓL(2,q)의 단순자 PSL(2,q)를 포함하지 않는 극대부분군은: 점의 안정자, N_G(D_{2(q±1)}), 그리고 q = q₀^r일 때 N_G(PGL(2,q₀))이며, 이때 q₀ ≠ 2 이고, q가 홀수이면 r가 홀수여야 한다.
• s | f/2인 3-전이성 군 M(s,q) = ⟨PSL(2,q), φ^s δ⟩의 경우, 단순자 PSL(2,q)를 포함하지 않는 극대부분군은: 점의 안정자, N_G(D_{q±1}), 그리고 q = q₀^r일 때 N_G(PSL(2,q₀))이며, 이때 r는 홀수 소수여야 한다.
• 정규화자 N_G(A_4)가 G에서 극대가 되는 것은 q ≡ ±3 mod 8 이고 G ≠ PSL(2,q)이며 q ≡ ±1 mod 10일 때에 한하여 성립한다. 그렇지 않으면 A_4는 A_5에 포함되어 융합으로 인해 극대성이 깨진다.
• q = 3^r이고 r가 홀수 소수일 때, G = PΣL(2,q)에서 N_G(PSL(2,3)) ≅ A_4는 G에서 극대이며, r = 2일 경우 N_G(S_4)는 두 종류의 동치류가 존재하며, ρ(G/T) = 1이면 G에서 극대이다.