[논문 리뷰] Maximal subgroups of ${}^2E_6(2)$ and its automorphism groups

Robert A. Wilson|arXiv (Cornell University)|2018. 01. 25.

Finite Group Theory Research참고 문헌 10인용 수 6

한 줄 요약

이 논문은 간단한 군 $^2E_6(2)$ 및 그 자동환군까지의 최대부분군에 대한 새로운 컴퓨터 보조 증명을 제공하며, 이는 오랫동안 존재하던 문헌의 빈자리들을 메운다. $(2,3,n)$-삼중항의 계산 분석, $p$-국소 부분군 구조, 그리고 몬스터와 베이비 몬스터 군에의 임베딩을 통해, 39개의 아벨리안이 아닌 단순 부분군의 동형 유형을 확인하고, 유한군의 앨라스에서의 미세한 구조적 오류를 수정한다.

ABSTRACT

We give a new computer-assisted proof of the classification of maximal subgroups of the simple group ${}^2E_6(2)$ and its extensions by any subgroup of the outer automorphism group $S_3$. This is not a new result, but no earlier proof exists in the literature. A large part of the proof consists of a computational analysis of subgroups generated by an element of order 2 and an element of order 3. This method can be effectively automated, and via statistical analysis also provides a sanity check on results that may have been obtained by delicate theoretical arguments.

연구 동기 및 목표

• 이전에 발표된 증명이 없었던 $^2E_6(2)$ 및 그 자동환군 $G.S_3$의 최대부분군에 대한 엄밀하고 컴퓨터 보조 증명을 제공하는 것.
• $^2E_6(2)$ 및 그 확장에서 부분군 구조에 관해 앨라스의 미세한 구조적 오류를 수정하는 것.
• 컴퓨터 및 군론적 기법을 사용하여 $^2E_6(2)$의 모든 39개의 진부분 아벨리안이 아닌 단순 부분군의 동형 유형을 분류하는 것.
• 순서 2와 3인 원소가 생성하는 부분군 분석을 통한 최대부분군 분류의 체계적 방법 수립으로 자동화 및 통계적 검증을 가능하게 하는 것.

제안 방법

• 순서 2의 초월원소와 순서 3의 원소가 생성하는 부분군의 계산 분석으로, 분류 전략의 핵심을 형성하는 것.
• 3가 아닌 $p$에 대한 $p$-국소 부분군 분석과 $p=3$에 대한 세밀한 3-국소 부분군 분류를 통해 가능한 최대부분군을 제약하는 것.
• 구조 상수 분석을 적용하여 $n = 5,7,11,13,17,19$에 대해 $(2,3,n)$-삼중항을 분류하고, 특정 단순 부분군을 생성하는 것.
• 몬스터 및 베이비 몬스터 군에 대한 $^2E_6(2)$의 알려진 임베딩을 활용하여 최대부분군의 동형 유형 가능성을 제한하는 것.
• 노턴의 몬스터 군 내 부분군 분류를 활용해 12개의 경우에서 후보 최대부분군을 제거하는 것.
• 특정 결과에 대해 제22장에서 컴퓨터를 사용하지 않은 대체 증명을 제시하여 계산 방법의 타당성을 검증하고 연구 결과에 대한 신뢰도를 높이는 것.

실험 결과

연구 질문

• RQ1 $^2E_6(2)$ 및 그 자동환군 $G.S_3$의 최대부분군의 완전한 쌍대류 집합은 무엇인가요?
• RQ2 어떤 아벨리안이 아닌 단순군의 동형 유형이 $^2E_6(2)$에 임베딩될 수 있으며, 각각 몇 개인가요?
• RQ3 컴퓨터 군론을 통해 최대부분군 분류를 어떻게 시스템적이고 신뢰성 있게 달성할 수 있나요?
• RQ4 유한군의 앨라스에서 $^2E_6(2)$의 최대부분군의 구조에 관해 어떤 수정이 필요합니까?
• RQ5 몬스터 및 베이비 몬스터 군에 대한 $^2E_6(2)$의 임베딩을 통해 최대부분군 분류에서 남아있는 경우를 해결할 수 있나요?

주요 결과

• 논문은 $^2E_6(2)$ 내에서 정확한 쌍대류 수를 포함해 39개의 진부분 아벨리안이 아닌 단순 부분군의 동형 유형을 확인한다.
• 군 $G$ 내에서 $F_4(2)$의 쌍대류는 정확히 세 개이며, $G.3$에서 융합되며, $G.S_3$ 내에서 전체 정규화군은 $F_4(2) \times 2$이다.
• $G$ 내에서 $O_{10}^{-}(2)$의 쌍대류는 정확히 하나이며, $G.S_3$ 내에서 정규화군은 $(O_{10}^{-}(2) \times 3):2$이다.
• $G$ 내에서 $A_{12}$의 쌍대류는 정확히 하나이며, $G.S_3$ 내에서 정규화군은 $(A_{12} \times 3):2$이다. 다만 이 군은 최대부분군이 아니다.
• ${}^3D_4(2)$는 $G$ 내에서 네 개의 쌍대류를 가지며, 그 중 세 개는 $G.3$에서 융합된다. $G.S_3$ 내에서 정규화군은 ${}^3D_4(2):3 \times 2$와 ${}^3D_4(2) \times S_3$이다.
• $S_8(2)$는 $G$ 내에서 네 개의 쌍대류를 가지며, $G.S_3$ 내에서 정규화군은 $S_8(2) \times 2$와 $S_8(2) \times S_3$이다. 이는 앨라스의 구조 수정을 확인하는 데 기여한다.