[논문 리뷰] Products of normal subsets and derangements

Michael Larsen, Aner Shalev외 1명|arXiv (Cornell University)|2020. 03. 28.

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

한 줄 요약

이 논문은 유한 단순군에서 정규부분집합과 데랑주먼트의 곱을 조사하며, 유한 단순군의 리 유형에서 랭크가 유계인 경우, 모든 항등원이 아닌 원소가 두 개의 큰 정규부분집합의 곱임을 증명한다. 또한 충분히 큰 대칭군에서 모든 원소가 두 개의 데랑주먼트의 곱임을 입증하여 순열군 이론에서의 구조적 질문을 해결하고, 단어 맵과 워링 유형 문제에 대한 결과를 확장한다.

ABSTRACT

In recent years there has been significant progress in the study of products of subsets of finite groups and of finite simple groups in particular. In this paper we consider which families of finite simple groups $G$ have the property that for each $ε> 0$ there exists $N > 0$ such that, if $|G| \ge N$ and $S, T$ are normal subsets of $G$ with at least $ε|G|$ elements each, then every non-trivial element of $G$ is the product of an element of $S$ and an element of $T$. We show that this holds in a strong sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the form ${\mathrm{PSL}}_n(q)$ where $q$ is fixed and $n$ tends to infinity. Our second main result is that any element in a transitive permutation representation of a sufficiently large finite simple group is a product of two derangements.

연구 동기 및 목표

• 유한 단순군의 어떤 가족에서 모든 항등원이 아닌 원소가 두 개의 큰 정규부분집합의 곱이 되는가를 규명하는 것.
• 그룹 크기가 증가함에 따라 두 개의 큰 정규부분집합의 곱이 모든 항등원이 아닌 원소를 덮는가를 조사하는 것.
• 충분히 큰 유한 단순군의 전이적 순열 표현에서 모든 원소가 두 개의 데랑주먼트의 곱임을 입증하는 것.
• 단어 맵과 워링 유형 문제에 대한 결과를 정규부분집합의 곱으로 확장하는 것.
• 군의 곱에서 표현 수의 渐近적 행동을 분석하며, 특히 등분포와의 관계를 다루는 것.

제안 방법

• 유한 체 위의代數적 다양체에서 유리점의 수를 제어하기 위해 Lang-Weil 추정을 사용하며, 이는 등분포 결과에 핵심적이다.
• 군의 곱 구조를 유지하는 매핑 기법을 적용하여 부분집합 곱을 특징 합과 표현 이론과 연결한다.
• 기약 특징의 차수에 대한 추정과 경계를 사용하여 정규부분집합의 곱의 크기와 분포를 분석한다.
• 유한 단순군의 분류와 대칭군 및 고전적 리 유형 군에 대한 사례별 분석을 활용한다.
• 대칭군과 대칭군에서의 귀납법과 순환 분해 기법을 사용하여, 주어진 군 원소를 얻는 데 데랑주먼트의 곱을 구성한다.
• 근사 부분군과 준난수군 이론의 결과를 활용하여 부분집합 성장과 곱 닫힘성을 제한한다.

실험 결과

연구 질문

• RQ1 유한 단순군의 어떤 가족에서 모든 항등원이 아닌 원소가 두 개의 큰 정규부분집합의 곱에 속하는가?
• RQ2 |G| → ∞ 일 때, 각 항등원이 아닌 원소의 표현 수의 비율이 |S||T|/|G|에 대해 균일하게 1로 수렴하는가?
• RQ3 충분히 큰 유한 단순군의 전이적 순열 표현에서 모든 원소가 두 개의 데랑주먼트의 곱으로 쓸 수 있는가?
• RQ4 유한 단순군에서 세 개의 정규부분집합의 곱의 渐近적 행동은 무엇인가?
• RQ5 단어 맵의 상의 크기와 유한 단순군에서 정규부분집합의 구조는 어떻게 관련되는가?

주요 결과

• 유한 단순군의 리 유형에서 랭크가 유계인 경우, 임의의 ε > 0에 대해 충분히 큰 |G|일 때, 모든 항등원이 아닌 원소는 크기가 적어도 ε|G|인 두 정규부분집합의 곱이다.
• 이 강력한 곱 성질은 대칭군과 고정된 q에 대해 n → ∞일 때의 PSL_n(q)에서는 실패한다.
• 충분히 큰 대칭군 A_n (n ≥ 5)의 전이적 순열 표현에서 모든 원소는 두 개의 데랑주먼트의 곱이다.
• 이 증명은 순환 유형의 사례 분석과 (n−2)-순환 및 짝수 길이 순환의 곱을 사용한 귀납적 구성에 기반한다.
• n ≥ 11인 A_n의 경우, 귀납법과 쌍대류류의 구조를 통해 결과를 확립하며, 기본 사례는 계산적으로 확인된다.
• 논문은 데랑주먼트가 강한 곱의 의미에서 군을 생성함을 확인하여, 단어 맵과 쌍대류류 곱에 대한 확률적 결과를 확장한다.