[논문 리뷰] The Waring Problem for Finite Quasisimple Groups. II

Robert M. Guralnick, Pham Huu Tiep|arXiv (Cornell University)|2013. 02. 02.

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

한 줄 요약

이 논문은 유한 쿼드리스프레임 그룹의 리 유형에서, 소수 차수를 가진 정규 준단순 원소 x와 최대 두 소수로 나누어지는 차수를 가진 원소 y가 존재하여, 그들의 공轭류의 곱이 모든 비중심 원소를 덮는다는 것을 증명한다. 이를 통해, 모든 원소가 충분히 큰 유한 단순 그룹에서 두 개의 m제곱 원소의 곱으로 표현되며, m제곱 단어의 언어적 폭이 유계임을 보이는 효과적인 워링 유형 결과를 도출한다.

ABSTRACT

Let G be a finite quasisimple group of Lie type. We show that there are regular semisimple elements x,y in G, x of prime order, and |y| is divisible by at most two primes, such that the product of the conjugacy classes of x and y contain all non-central elements of G. In fact in all but four cases, y can be chosen to be of square-free order. Using this result, we prove an effective version of one of the main results of Larsen, Shalev and Tiep by showing that, given any positive integer m, if the order of a finite simple group S is at least f(m) for a specified function f, then every element in S is a product of two mth powers. Furthermore, the verbal width of the mth power word on any finite simple group S is at most g(m) for a specified function g. We also show that, given any two non-trivial words v, w, if G is a finite quasisimple group of large enough order, then v(G)w(G) contains all non-central elements of G. MSC-class: 20D05, 20C33

연구 동기 및 목표

• 유한 쿼드리스프레임 리 유형 그룹에서, 그들의 공轭류의 곱이 모든 비중심 원소를 덮는 특정한 정규 준단순 원소 x와 y의 존재를 확립하는 것.
• Larsen, Shalev, Tiep의 유한 단순 그룹에 대한 워링 문제 결과의 효과적인 형태를 제공하는 것.
• 유한 단순 그룹에서 m제곱 단어의 언어적 폭을 bound하여, 주어진 함수 g에 대해 최대 g(m)임을 보이는 것.
• 임의의 비자명한 단어 v와 w로 확장하여, 충분히 큰 유한 쿼드리스프레임 그룹에서 v(G)w(G)가 모든 비중심 원소를 포함함을 보이는 것.

제안 방법

• 저자들은 리 유형 유한 쿼드리스프레임 그룹에서 소수 차수를 가진 정규 준단순 원소 x와 최대 두 소수로 나누어지는 차수를 가진 원소 y를 구성한다.
• 유한 리 유형 그룹의 구조와 공轭류를 다루는 군론적 기법을 사용하여, 곱집합 x^G y^G를 분석한다.
• 특히 정규 준단순 원소에 관한 깊이 있는 결과를 활용하여, 리 유형 유한 군의 표현 이론과 특징 이론에 기반한 증명을 수행한다.
• 특징 합계에 대한 추정과 워링 문제 프레임워크를 적용하여, 원소를 생성하기 위해 필요한 m제곱의 수에 대한 효과적인 양적 추정을 유도한다.
• 기초 군의 랭크와 체의 크기에 대한 귀납법과 케이스 분석을 통해 추론을 진행한다.
• 모든 경우의 4개를 제외한 나머지 경우에서 y는 제곱 자유 차수를 가질 수 있음을 이용하여 분석을 단순화하고 결과를 강화한다.

실험 결과

연구 질문

• RQ1 유한 쿼드리스프레임 리 유형 그룹에서, 그들의 공轭류의 곱이 모든 비중심 원소를 덮는 정규 준단순 원소 x와 y를 찾을 수 있는가?
• RQ2 그러한 덮개 성질을 보장하기 위해 y에 대한 최소 차수 조건(예: 제곱 자유 또는 소인수 개수 제한)은 무엇인가?
• RQ3 유한 단순 그룹에 대한 워링 유형 결과를 효과적으로 만들 수 있는가? 즉, 임의의 군 원소를 표현하기 위해 필요한 m제곱의 수에 대해 명시적인 bound를 제공할 수 있는가?
• RQ4 유한 단순 군에서 m제곱 단어의 언어적 폭은 무엇이며, 이를 함수 g(m)로 균일하게 bound할 수 있는가?
• RQ5 임의의 비자명한 단어 v와 w에 대해, v(G)w(G)가 모든 비중심 원소를 포함하는 조건은 무엇인가?

주요 결과

• 4개의 예외를 제외한 모든 경우에서, 소수 차수를 가진 정규 준단순 원소 x와 제곱 자유 차수를 가진 원소 y가 존재하여, x^G y^G가 모든 비중심 원소를 포함한다.
• 순서가 f(m) 이상인 유한 단순 군 S의 모든 원소는 두 개의 m제곱 원소의 곱으로 표현되며, f는 명시적으로 지정된 함수이다.
• 임의의 유한 단순 군 S에서 m제곱 단어의 언어적 폭은 g(m) 이하이며, g는 주어진 함수로 균일한 bound를 제공한다.
• 임의의 두 비자명한 단어 v와 w에 대해, 충분히 큰 순서를 가진 유한 쿼드리스프레임 그룹 G가 있다면, v(G)w(G)는 G의 모든 비중심 원소를 포함한다.
• 결과는 모든 유한 쿼드리스프레임 리 유형 그룹에 대해 균일하게 성립하며, 오직 4개의 예외적인 경우에서만 y가 제곱 자유 차수로 선택될 수 없다.
• x와 y의 구성은 제어된 차수를 가진 정규 준단순 원소의 존재에 의존하며, 이는 유한 리 유형 군의 구조에 의해 보장된다.