[논문 리뷰] GAP Computations Concerning Probabilistic Generation of Finite Simple Groups

Thomas Breuer|arXiv (Cornell University)|2007. 10. 17.

Finite Group Theory Research참고 문헌 14인용 수 7

한 줄 요약

이 논문은 유한 거의 단순군의 확률적 생성 성질을 결정하기 위해 포괄적인 GAP 계산을 제시한다. 주로 비생성 쌍의 비율과 특정 원소를 포함하는 최대부분군의 존재성에 초점을 맞추며, 문자표와 군 작용을 통해 다양한 고전적 및 단순군에 대해 고정된 원소로 군을 생성할 확률이 1/3 이하임을 검증한다. 정확한 값은 순열 표현과 시로우 부분군 분석을 통해 계산된다.

ABSTRACT

This is a collection of examples showing how the GAP system can be used to compute information about the probabilistic generation of finite almost simple groups. It includes all examples that were needed for the computational results in the paper "Probabilistic generation of finite simple groups, II" by Thomas Breuer, Robert M. Guralnick, and William M. Kantor. The purpose of this writeup is twofold. On the one hand, the computations are documented this way. On the other hand, the GAP code shown for the examples can be used as test input for automatic checking of the data and the functions used.

연구 동기 및 목표

• GAP를 사용하여 [BGK08]의 유한 거의 단순군에 대한 확률적 생성 계산 결과를 문서화하고 검증한다.
• 유한 단순군에서 문자론적 및 군론적 계산을 재현 가능하게 하기 위한 재현 가능한 GAP 코드를 제공한다.
• 다양한 유한 단순군과 특정 원소 s에 대해 비생성 확률 σ(G,s) 및 P(G,s)의 정확한 값을 계산한다.
• 문자표만으로는 부족한 경우를 다루기 위해 군 작용과 순열 표현을 조합한다.
• 제공된 GAP 코드를 사용한 자동화된 테스트를 통해 정확성과 재현 가능성을 확보한다.

제안 방법

• GAP 시스템을 사용하여 GAP 문자표 라이브러리에서 제공하는 문자표를 기반으로 문자론적 계산을 수행한다.
• 정규화된 벡터의 궤도에 대한 군의 순열 작용을 활용하여, 문자표가 없는 군에 대해 충실한 순열 표현을 구성한다.
• 시로우 부분군 분석과 공轭류 대표자를 적용하여 고정점 수를 계산하고, σ(G,s) 값을 유도한다.
• 순열군에서 정확한 비생성 확률을 계산하기 위해 RatioOfNongenerationTransPermGroup 함수를 사용한다.
• Action 및 Stabilizer 함수를 활용하여 최대부분군에 대응하는 점 안정자(Stabilizer)를 구성한다.
• PossiblePermutationCharacters 함수를 적용하여 잠재적 순열 문자를 식별하고, 부분군의 최대성 여부를 검증한다.

실험 결과

연구 질문

• RQ1 유한 거의 단순군 G와 원소 s ∈ G에 대해, s로 G를 생성할 확률 P(G,s)가 1/3 미만이 되는 경우는 무엇인가?
• RQ2 문자표가 제공되지 않는 군에 대해 비생성 확률 σ(G,s)의 정확한 값은 무엇인가?
• RQ3 주어진 원소 s가 소수 또는 특정 차수를 가지는 경우, 어떤 최대부분군이 s를 포함하며, 이는 생성 성질에 어떻게 영향을 미치는가?
• RQ4 문자표가 없는 군들인 U₆(3)과 U₈(2)에 대해 순열 표현을 어떻게 구성하여 σ(G,s)를 계산할 수 있는가?
• RQ5 GAP 문자표 라이브러리와 군론 함수를 얼마나 잘 조합하여 확률적 생성에 관한 이론적 결과를 검증할 수 있는가?

주요 결과

• A₅, A₆, A₇, M₁₁, M₁₂, S₆(2), U₄(2), O₇(3)에 대해 비생성 확률 P(G,s)는 1/3 미만이며, 각각 s의 차수는 5, 4, 7, 11, 10, 9, 9, 14이다.
• A₈, A₉, A₁₁, A₁₃, A₁₅, A₁₇, A₁₉, A₂₁, A₂₃, L₃(2), L₃(3), L₃(4), L₄(3), L₄(4), L₆(2), L₆(3), L₆(4), L₆(5), L₈(2), L₁₀(2), O⁺₈(4), O⁺₁₀(2), O⁺₁₂(2), O⁺₁₂(3), O⁻₈(2), O⁻₈(3), O⁻₁₀(2), O⁻₁₀(3), O⁻₁₂(2), O⁻₁₄(2), S₄(4), S₆(3), S₆(4), S₈(3), U₃(3), U₃(5), U₄(4), U₅(2), U₆(2), U₆(3), U₈(2)에 대해 비생성 확률 P(G,s)는 1/3 이하이다.
• U₆(3)에 대해 σ(G,s) = 353/3159 ≈ 0.1117이며, 44226개의 직선에 대한 순열 작용과 시로우 부분군 분석을 통해 계산되었다.
• U₈(2)에 대해 σ(G,s) = 2753/10880 ≈ 0.2531이며, 10880개의 직선에 대한 순열 표현과 고정점 수 계산을 통해 유도되었다.
• U₄(3).2₁ ≅ SO⁻(6,3)에 대해 정확한 비생성 확률은 13/27 ≈ 0.4815이며, 전이적 순열 표현과 중심자 분석을 통해 계산되었다.
• U₆(3)에 대해 차수 122인 원소를 포함하는 유일한 최대부분군은 2×U₅(3)이며, 이는 이중 덮개에서 GU(5,3)로 올라가므로 M(G,s)의 구조가 확인된다.