[논문 리뷰] Conjectures on the normal covering number of the finite symmetric and alternating groups

Daniela Bubboloni, Cheryl E. Praeger외 1명|arXiv (Cornell University)|2013. 10. 10.

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

한 줄 요약

이 논문은 대칭군 Sₙ과 교대군 Aₙ의 정규 커버링 수 γ(Sₙ)와 γ(Aₙ)에 대한 추측을 제시한다. 여기서 정규 커버링 수는 대칭군과 교대군의 모든 원소를 커버하기 위해 필요한 최소한의 진부분군의 공轭류 수로 정의된다. 논문은 n이 두 개 이상의 서로 다른 소인수를 가지며 소수의 거듭제곱이나 두 소수의 곱이 아닌 경우(즉, n ≠ p₁p₂), γ(Sₙ) = g(n) = (n/2)(1−1/p₁)(1−1/p₂)+2로 추측한다. 여기서 p₁, p₂는 n의 두 번째로 작은 소인수이다. 주요 기여는 무한한 가족들인 n=15q와 n=6q에 대해 강력한 계산적 및 이론적 증거를 제시하며, 이는 추측된 공식이 γ(Sₙ)와 γ(Aₙ)에 대한 상한과 하한으로서 모두 유효하다는 것을 뒷받침한다.

ABSTRACT

Let $γ(S_n)$ be the minimum number of proper subgroups $H_i$ of the symmetric group $S_n$ such that each element in $S_n$ lies in some conjugate of one of the $H_i.$ In this paper we conjecture that $$γ(S_n)=\frac{n}{2}\left(1-\frac{1}{p_1} ight) \left(1-\frac{1}{p_2} ight)+2,$$ where $p_1,p_2$ are the two smallest primes in the factorization of $n$ and $n$ is neither a prime power nor a product of two primes. Support for the conjecture is given by a previous result for $n=p_1^{α_1}p_2^{α_2},$ with $(α_1,α_2) eq (1,1)$. We give further evidence by confirming the conjecture for integers of the form $n=15q$ for an infinite set of primes $q$, and by reporting on a Magma computation. We make a similar conjecture for $γ(A_n)$, when $n$ is even, and provide a similar amount of evidence.

연구 동기 및 목표

• 유한 대칭군 및 교대군 G=Sₙ과 G=Aₙ에 대해 n이 두 개 이상의 서로 다른 소인수를 가질 때 γ(G)의 정확한 값을 결정하는 것.
• n의 가장 작은 소인수에 따라 γ(Sₙ)와 γ(Aₙ)에 대한 정확한 공식을 구조적 및 수론적 성질에 기반해 수립하는 것.
• 제안된 함수 g(n) = (n/2)(1−1/p₁)(1−1/p₂)+2가 γ(Sₙ)와 γ(Aₙ)에 대한 상한과 하한으로서 모두 유효하다는 이론적 및 계산적 증거를 제공하는 것.
• γ(G)가 n에 대해 선형으로 증가하는지 여부라는 열린 문제를 해결하기 위해 선형 상한에서 최적의 상수를 규명하는 것.

제안 방법

• n의 두 번째로 작은 소인수 p₁, p₂에 대해 g(n) = (n/2)(1−1/p₁)(1−1/p₂)+2를 γ(Sₙ)와 γ(Aₙ)의 후보로 제안한다.
• 수론적 추론을 통해 g(n)−2가 n/2 이하이면서 p₁ 또는 p₂로 나누어지지 않는 정수의 개수와 같음을 보여 g(n)이 정수임을 증명한다.
• Sₙ 및 Aₙ의 최대부분군의 분류와 같은 순열군 이론의 결과를 적용하여, 비전이적, 비기하학적, 또는 기하학적 부분군이 어떤 종류의 순열을 커버할 수 있는지 분석한다.
• Magma 계산을 통해 다수의 소인수를 가진 n의 첫 몇 백 개의 값에 대해 추측을 검증한다.
• Proposition 3.1을 통해 g(n)이 γ(Sₙ)와 γ(Aₙ)에 대한 상한임을 증명하고, 특정 무한한 가족에 대해 모순에 기반한 증명을 통해 하한임을 Theorem 1.1에서 확립한다.
• 특히 S_k ≀ S_m와 같은 와이어드 프로덕트를 포함한 최대부분군의 공轭류를 통한 순열 유형의 커버링을 분석하여, g(n)개의 구성 요소가 반드시 필요하다는 것을 강제한다.

실험 결과

연구 질문

• RQ1 n이 두 개 이상의 서로 다른 소인수를 가지며 n ≠ p₁p₂인 경우, 함수 g(n) = (n/2)(1−1/p₁)(1−1/p₂)+2는 Sₙ에 대해 정규 커버링 수 γ(Sₙ)의 정확한 값인가?
• RQ2 n이 두 개 이상의 서로 다른 소인수를 가지며 n ≠ 2p₂, 12인 짝수인 경우, 동일한 공식 g(n)이 Aₙ에 대해 γ(Aₙ)의 정확한 값을 주는가?
• RQ3 q가 소수이고 q≡2 mod 15이며 q≠12 mod 13일 때, n=15q이면 γ(Sₙ) = 4q+2인가? 이는 추측에 의해 예측된 바이다.
• RQ4 q≥11인 소수일 때, n=6q이면 γ(Aₙ) = q+2인가? 이는 이 무한한 가족에 대해 추측을 확인하는 것이다.
• RQ5 구조적 군론과 수론적 제약 조건을 사용하여, 추측된 공식 g(n)이 일반적으로 γ(Sₙ)와 γ(Aₙ)에 대한 상한과 하한으로서 모두 증명될 수 있는가?

주요 결과

• q가 소수이고 q≡2 mod 15이며 q≠12 mod 13일 때, n=15q에 대해 논문은 γ(Sₙ) = 4q+2임을 증명하여 이 무한한 가족에 대해 추측을 확인한다.
• q≥11인 소수일 때, n=6q에 대해 논문은 γ(Aₙ) = q+2임을 증명하여 Conjecture 2에 대한 강력한 증거를 제공한다.
• Proposition 3.1을 통해 g(n)이 γ(Sₙ)와 γ(Aₙ)에 대한 상한으로서 증명되었으며, 논문은 하한으로서 이를 확립하기 위한 증명 전략을 제시한다.
• 논문은 Sₙ 및 Aₙ의 최소 기본 집합에서 비전이적 및 비기하학적 부분군—특히 S_k ≀ S_m와 같은 와이어드 프로덕트—가 모든 순열 유형을 커버하기 위해 필수적임을 보여준다.
• Magma로부터의 계산적 증거는 다수의 소인수를 가진 n의 첫 몇 백 개의 값에 대해 두 추측 모두를 확인한다.
• 분석 결과, [1,n−1] 유형(즉, Sₙ에서의 호환치)은 추가적인 구성 요소가 포함되지 않는 한 비전이적 또는 비기하학적 구성 요소의 부분군에 의해 커버될 수 없으며, 이는 최소 크기가 적어도 g(n)이 되도록 강제한다.