[논문 리뷰] Invariable generation and the chebotarev invariant of a finite group

William M. Kantor, Alexander Lubotzky외 1명|arXiv (Cornell University)|2010. 10. 27.

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

한 줄 요약

이 논문은 유한군의 불변 생성에 대한 날카운 경계를 확립하며, 모든 유한군이 최대 $\log_2|G|$개의 원소로 불변 생성된다는 것을 증명한다. 등호는 $G$가 초등 아벨 2군일 때에만 성립한다. 또한 체보타레프 불변량 $C(G)$는 $O(|G|^{1/2} \\sqrt{\log|G|})$임을 보이며, 모든 비아벨 유한 단순군이 두 원소로 불변 생성된다는 것을 증명한다.

ABSTRACT

A subset S of a finite group G invariably generates G if G = for each choice of g(s) 2 G; s 2 S. We give a tight upper bound on the minimal size of an invariable generating set for an arbitrary finite group G. In response to a question in [KZ] we also bound the size of a randomly chosen set of elements of G that is likely to generate G invariably. Along the way we prove that every finite simple group is invariably generated by two elements.

연구 동기 및 목표

• 모든 유한군에 대해 불변 생성 집합의 최소 크기를 결정함으로써 [KZ]에서 제기된 질문에 답함.
• 유한군을 불변으로 생성하기 위해 필요한 랜덤 원소의 기대 수를 측정하는 불변량 $C(G)$의 기대 불변 생성 시간을 유계함.
• 모든 비아벨 유한 단순군이 두 원소로 불변 생성된다는 것을 증명함. 이는 별도의 관심사가 있는 결과이다.
• 유한 단순군의 분류와 구조적 군론적 도구를 이용하여 $d_I(G)$와 $C(G)$에 대한 날카운 상한을 확립함.
• 표준 생성과 불변 생성을 비교하여, $d_I(G)$가 $d(G)$보다 훨씬 클 수 있는 경우를 부각함.

제안 방법

• 유한 단순군의 분류를 기초 도구로 사용하여 주계열과 극대부군을 분석함.
• [CC]와 [FG1]에서 유도된 전치 순열군에서 고정점이 없는 원소의 수에 대한 경계를 적용함.
• [LPS]에서 최근에 유도된 유한군의 극대부군 수에 대한 경계를 활용하여 체보타레프 불변량을 통제함.
• 유한 리 계열 군에서 반단순 원소의 중심화자를 분석하여 코어지류 크기를 유계함으로써 불변 생성 확률을 유계함.
• [FG1]과 [LuP]에서 유도된, 어떤 절대값 $\epsilon > 0$에 대해 밀도 $v(M) \geq \epsilon$인 극대부군에 대한 결과를 활용함.
• 확률적 군론과 특성합 추정, 코어지류 구조를 조합하여 랜덤 원소들이 $G$를 불변으로 생성할 확률을 유계함.

실험 결과

연구 질문

• RQ1 유한군 $G$에 대해 최소 불변 생성 집합의 크기 $d_I(G)$가 가질 수 있는 최대값은 무엇인가?
• RQ2 불변 생성 시간을 측정하는 체보타레프 불변량 $C(G)$는 $|G|$에 따라 어떻게 변화하는가?
• RQ3 모든 비아벨 유한 단순군이 단지 두 원소로 불변 생성될 수 있는가?
• RQ4 $d_I(G)$와 $C(G)$는 표준 생성 수 $d(G)$와 기대 생성 시간 $E(G)$와 어떻게 비교되는가?
• RQ5 유한 단순군에 대해 $d_I(G)$와 $C(G)$에 대한 통일된 경계가 존재하는가? 이는 리 유형 또는 대칭군의 구조와 어떻게 관련되는가?

주요 결과

• 모든 유한군 $G$는 $d_I(G) \leq \log_2|G|$를 만족하며, 등호는 $G$가 초등 아벨 2군일 때에만 성립한다.
• 체보타레프 불변량은 어떤 절대 상수 $c$에 대해 $C(G) \leq c|G|^{1/2}\sqrt{\log|G|}$를 만족하며, 이 경계는 거의 날카롭다.
• $r \geq 1$에 대해, $d(G) = 2$이지만 $d_I(G) \geq r$인 유한군 $G$가 존재함을 보이며, 이는 $d_I(G)$가 $d(G)$보다 매우 클 수 있음을 보여준다.
• 모든 비아벨 유한 단순군은 두 원소로 불변 생성되며, 이는 극대부군과 중심화자의 분석을 통해 증명된다.
• 절대값 $\epsilon > 0$이 존재하여, $k$개의 랜덤 원소가 유한 단순군 $G$를 불변으로 생성할 확률 $P_I(G,k)$가 $P_I(G,k) \leq 1 - \epsilon^k$를 만족함을 보이며, 이는 유한한 $k$로의 불변 생성은 거의 일어나지 않는다는 것을 시사한다.
• $f(n) \to \infty$인 모든 함수에 대해, $|G| \to \infty$일 때 $P_I(G,f(|G|)) \to 1$이 되며, 이는 약간 초대수적(random choices)의 선택으로도 불변 생성이 가능해짐을 보여준다.