[논문 리뷰] Commuting graphs of odd prime order elements in simple groups

Barbara Baumeister, Alexander Stein|ArXiv.org|2009. 08. 18.

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

한 줄 요약

이 논문은 유한 단순군에서 홀수 소수 위수 원소들의 교환 그래프를 조사하여, 이러한 그래프가 큰 연결 성분을 갖는 조건을 규명한다. 이 성분이 존재하는 것은 군이 짝수 특성에서 특정한 대칭군 또는 리형 군에 속하지 않을 경우에만 성립하며, 큰 성분이 존재하면 Sylow p-부분군이 순환하지 않으며 강한 p-포함 부분군이 존재하지 않음을 보여준다.

ABSTRACT

We study the commuting graph on elements of odd prime order in finite simple groups. The results are used in a forthcoming paper describing the structure of Bruck loops and Bol loops of exponent 2.

연구 동기 및 목표

• 유한 단순군에서 홀수 소수 위수 원소들의 교환 그래프의 연결 구조를 규명하는 것.
• 홀수 소수 위수 원소들의 교환 그래프에 큰 연결 성분이 없는 유한 단순군을 분류하는 것.
• 큰 연결 성분이 존재할 경우 Sylow p-부분군의 성질 및 강한 p-포함 부분군의 부재와 같은 구조적 함의를 규명하는 것.
• 유한 볼 및 브럭 루프의 지수 2를 특성화하는 데 기초를 마련하는 것, 응용 연구 계획의 일환으로서.
• 특정 공共役류들이 연결되어 있음을 규명하여, 교환 그래프에 큰 성분이 존재함을 보장하는 것.

제안 방법

• 유한 단순군 $G$의 모든 홀수 소수 위수 원소의 집합 $\cal O$ 위에 교환 그래프 $\Gamma_{\cal O}$를 정의한다.
• 공액 작용을 이용하여 연결 성분을 '크다'(공액 작용에 대해 닫혀 있으며 전체 공액류를 포함함) 또는 '작다'로 분류한다.
• 최대 부분군의 구조 및 중심자 분석 결과를 적용하며, 특히 $q$ 모듈로 $r$의 순서 $d_q(r)$를 사용한다.
• 자료 [LSS], [CLSS], [ATLAS]에서 알려진 부분군 정보를 활용하여 중심자를 분석하고 성분 크기를 결정한다.
• 특히 짝수 특성에서 리형 군의 공액류의 연결성에 관한 정리들을 적용하여 큰 성분이 존재하는 경우를 식별한다.
• p-국소 구조에 관한 결과, 특히 강한 p-포함 부분군의 부재 및 비순환 Sylow p-부분군의 존재를 활용하여 구조적 제약 조건을 도출한다.

실험 결과

연구 질문

• RQ1 어느 유한 단순군의 홀수 소수 위수 원소들의 교환 그래프에 큰 연결 성분이 존재하지 않는가?
• RQ2 홀수 소수 위수 원소들의 교환 그래프에 큰 연결 성분이 존재하는 조건은 무엇인가?
• RQ3 큰 연결 성분의 존재가 유도하는 구조적 성질(예: Sylow $p$-부분군의 유형, 강한 $p$-포함 부분군의 존재 여부)은 무엇인가?
• RQ4 짝수 특성에서 리형 군에 대해 어떤 경우에 홀수 소수 위수 원소의 공액류가 연결된 교환 그래프를 생성하는가?
• RQ5 순서 $d_q(r)$와 최대 부분군의 구조는 $\Gamma_{\cal O}$의 성분 크기와 연결성에 어떻게 영향을 미치는가?

주요 결과

• 교환 그래프 $\Gamma_{\cal O}$가 큰 연결 성분을 갖지 않음은 $G$가 $A_n$ ($n \geq 8$), $^2B_2(q)$, $^2G_2(q)$, $^2A_2(q)$이면서 $\frac{q+1}{(q+1,3)}$가 2의 거듭제곱일 경우, 또는 $M_{11}, J_1, A_2(4)$ 중 하나와 동형일 때에만 성립한다.
• 만약 $\Gamma_{\cal O}$가 큰 연결 성분을 갖는다면, 어떤 홀수 소수 위수 $p$를 가진 원소 $x$가 존재하여 $\Gamma_p$(위수 $p$인 원소들 위의 교환 그래프)가 연결됨을 보장한다.
• 큰 연결 성분의 존재는 $G$가 강한 $p$-포함 부분군을 가지지 않으며, $x \in \Gamma_p$인 모든 소수 $p$에 대해 Sylow $p$-부분군이 순환하지 않음을 의미한다.
• 대칭군 $A_n$ ($n \geq 8$)의 경우, 3-순환의 공액류는 연결된 교환 그래프를 생성한다.
• $A_n(q)$ 및 $^2A_n(q)$($q$가 짝수일 때), 소수 위수 $r$가 $q^{2}-1$를 나누면 연결 성분이 발생하며, 중심자 구조 $E(C_G(x))/Z(E(C_G(x)))$는 각각 $A_{n-2}(q)$ 또는 $^2A_{n-2}(q)$와 동형이다.
• 예외적 군인 $F_4(q)$, $E_6(q)$, $^2E_6(q)$, $E_7(q)$, $E_8(q)$의 경우, $d_q(r) \in \{8,9,12,14,18,24\}$일 때 소수 연결 성분이 발생하며, 특정 최대 부분군의 존재성과 중심자 구조에 따라 달라진다.