[논문 리뷰] Classification of Maximal Subgroups of Odd Index in Finite Simple Classical groups: Addendum

Н. В. Маслова|arXiv (Cornell University)|2017. 10. 04.

Finite Group Theory Research참고 문헌 5인용 수 8

한 줄 요약

이 논문은 유한 단순 고전적 군에서 홀수 차수를 가진 최대부분군의 분류를 수정하고 보완하며, 이전에 Kleidman가 작성한 작업에서 발견된 결함을 수정하고, Maslova의 이전 분류 결과를 업데이트한다. 주요 기여는 이러한 부분군에 대한 수정되고 완전한 목록을 제공하는 것으로, 원본 논문의 정리 1에서 특정 경우의 진술을 재수정하고, Bray, Holt, Roney-Dougal의 2013년 작업을 참조하여 그룹 이론적 분석을 업데이트함으로써 검증된다.

ABSTRACT

A classification of maximal subgroups of odd index in finite simple groups was given by Liebeck and Saxl and, independently, Kantor in 1980s. In the cases of alternating groups or classical groups of Lie type over fields of odd characteristics, the classification was not complete. The classification was completed by the author in 2008. In the cases of finite simple classical groups of Lie type we used results obtained in Kleidman's PhD thesis. However there is a number of flaws in this PhD thesis. The flaws were corrected by Bray, Holt, and Roney-Dougal in 2013. In this note we provide a revision of the classification of maximal subgroups of odd index in finite simple classical groups over fields of odd characteristics.

연구 동기 및 목표

• 유한 단순 고전적 군에서 홀수 차수를 가진 최대부분군의 분류를 수정하고 보완하는 것. 이는 이론적 기초 자료에 오류가 있었기 때문에 이전에 완전하지 못했기 때문이다.
• 이전 작업에서 인용된 Kleidman의 박사학위 논문에서 발견된 특정 결함을 보완하기 위해, Bray, Holt, Roney-Dougal의 2013년 작업에서 제공된 수정 사항을 통합하는 것.
• Maslova의 이전 논문 [9]에서 정리 1의 진술 (6), (10), (21)을 업데이트하고 검증하여, 홀수 차수 최대부분군의 분류 정확성을 확보하는 것.
• 선형, 유니터리, 심플렉틱, 보어타르 타입을 포함한 모든 유한 단순 고전적 군에 걸쳐 이러한 부분군에 대한 수정되고 완전한 분류를 제공하는 것.
• 비퇴화 형식의 맥락에서 2-진 비교와 판별식 불변량을 사용하여, 최대부분군의 차수가 홀수일 때 정확한 조건을 설정하는 것.

제안 방법

• 고전군의 부분군을 분류한 Aschbacher의 분류를 활용하여, 기하학적 Aschbacher 클래스 $C_i$ ($1 \leq i \leq 8$)에 초점을 맞춰 최대부분군을 체계적으로 분석한다.
• 2-진 비교 관계 $m \preceq n$ (이진 전개를 통해 정의됨)를 적용하여, 군의 순서의 2-진 값각을 기반으로 $|G:H|$가 홀수일 때를 판단한다.
• 자연 모듈러스 $V$ 위의 이차형식의 판별식 $D(V)$ 와 부호 $\varepsilon = \mathrm{sgn}(V)$ 를 사용하여 비퇴화 부분공간과 그 수직합성공간을 분류한다.
• 동일한 성질을 가진 성분들로 이루어진 직교 분해 $V = \bigoplus_{i=1}^{n/m} V_i$ 를 고려하여, 이러한 분해를 안정화하는 최대부분군을 분석하고, $m$, $q$, $D(V_i)$ 에 대한 조건을 설정한다.
• Bray, Holt, Roney-Dougal의 2013년 작업에서 제공된 수정된 자료를 기반으로 최대성 여부를 검증하며, 특히 표 8.39, 8.50, 8.52, 8.58, 8.66, 8.68, 8.74, 8.82, 8.84 및 Kleidman과 Liebeck의 표 3.5.D, 3.5.E, 3.5.F 를 참조한다.
• 논문 [9]의 결과를 수정된 군 이론적 조건과 결합하여, $|G:H|_{2} = 1$ 을 통해 홀수 차수 조건을 재검증하며, 이는 $n \succeq m$ 과 $D(U) = 1$ 또는 $D(U) = -1$ 이 경우에 따라 달라진다.

실험 결과

연구 질문

• RQ1 유한 단순 고전적 군에서 홀수 체 위에 정의된 부분군 중에서 차수가 홀수인 최대부분군은 무엇이며, 문헌에서 이전에 생략된 바가 있었더라도 이를 완전히 분류할 수 있는가?
• RQ2 Kleidman의 1986년 박사학위 논문에서 발견된 오류는 홀수 차수 최대부분군의 분류에 어떤 영향을 미치며, 이를 복구하기 위해 필요한 수정은 무엇인가?
• RQ3 어떤 조건에서 $H$ 가 비퇴화 부분공간이나 직교 분해를 안정화할 때, $|G:H|$ 가 홀수일 수 있는가?
• RQ4 형식의 판별식 $D(V)$ 와 부호 $\varepsilon$ 는 보어타르 군과 심플렉틱 군에서 차수의 홀수성에 어떤 영향을 미치는가?
• RQ5 만일 $q$ 가 소수이고 $n=7$ 또는 $n=8$ 일 때, $\Omega_n(q)$ 에서 $P\Omega_n(2)$ 형식의 부분군에 대해 최대성과 홀수 차수 조건은 무엇인가?

주요 결과

• 홀수 체 위의 유한 단순 고전적 군에서 홀수 차수를 가진 최대부분군의 분류는 이제 수정되고 완전해졌으며, Maslova [9]의 정리 1에서 진술 (6), (10), (21)에 대한 구체적인 수정이 이루어졌다.
• $G = \Omega_n(q)$ 이고 $n \geq 7$ 이며 $q$ 가 홀수일 때, $H$ 가 차원 $m$ 의 비퇴화 부분공간 $U$ 의 안정화군이라면, $|G:H|$ 가 홀수일 필요충분조건은 $n \succeq m$ 과 $D(U) = 1$ 이며, $(q,m,\mathrm{sgn}(U)) = (3,2,+)$ 일 경우를 제외하고는 $H$ 는 최대부분군이다.
• $V = \bigoplus V_i$ 의 직교 분해를 안정화하는 $H$ 에 대해, $|G:H|$ 가 홀수일 필요충분조건은 $m=1$ 이고 $q \equiv \pm 3 \pmod{8}$ 이며, $m>1$ 이고 $(m,q) \neq (3,3)$ 이거나 $m=1$ 이고 $q$ 가 소수일 때 $H$ 는 최대부분군이다.
• $G = \Omega_n^\varepsilon(q)$ 이고 $n \geq 8$ 이며 $q$ 가 홀수일 때, $|G:H|$ 가 홀수일 조건은 $m$ 이 짝수이고 $D(U) = 1$, $n \succeq m$ 이며 $D(V) = 1$ 이면, 또는 $m$ 이 홀수이고 $n-2 \succeq m-1$, 또는 $m$ 이 짝수이고 $n-2 \succeq m-2$ 이며 $D(V) = -1$ 이면 성립한다.
• $H \cong P\Omega_7(2)$ 이 $\Omega_7(q)$ 에서일 때, $|G:H|$ 가 홀수일 필요충분조건은 $q \equiv \pm 3 \pmod{8}$ 이며, $H$ 가 최대부분군이 되는 것은 $q$ 가 소수일 때 정확히 성립한다.
• $H \cong P\Omega_8^+(2)$ 이 $\Omega_8^+(q)$ 에서일 때, $|G:H|$ 가 홀수일 필요충분조건은 $q \equiv \pm 3 \pmod{8}$ 이며, $H$ 가 최대부분군이 되는 것은 $q$ 가 소수일 때이며, 인덱스 공식은 2-진 값각을 통해 확인되었다.