[논문 리뷰] On the maximum orders of elements of finite almost simple groups and primitive permutation groups

Simon D. Guest, Joy Morris외 2명|ePrints Soton (University of Southampton)|2013. 01. 22.

Finite Group Theory Research참고 문헌 20인용 수 4

한 줄 요약

이 논문은 유한 거의 단순군과 추이적 순열군에서 최대 원소 차수(meo)에 대한 날카운 상계를 확립하며, 비대칭군에 대해선 유한한 예외를 제외하고 meo(G) ≤ m(T)임을 보이고, 12개의 예외적인 단순군을 제외하고는 meo(G) ≤ m(T)/4임을 밝힌다. 또한 차수 n인 모든 추이적 순열군 중에서 최소한 n/4 이상의 차수를 갖는 원소를 포함하는 군을 분류하여 그 중심군 구조와 순열 표현을 통해 명시적인 상계를 제시한다.

ABSTRACT

We determine upper bounds for the maximum order of an element of a finite almost simple group with socle T in terms of the minimum index m(T) of a maximal subgroup of T: for T not an alternating group we prove that, with finitely many exceptions, the maximum element order is at most m(T). Moreover, apart from an explicit list of groups, the bound can be reduced to m(T)/4. These results are applied to determine all primitive permutation groups on a set of size n that contain permutations of order greater than or equal to n/4.

연구 동기 및 목표

• 소군 T의 충실한 순열 표현의 최소 차수 m(T)에 관해, 비대칭군을 갖는 유한 거의 단순군에서 원소의 최대 차수에 대한 상계를 결정하는 것.
• 최대 원소 차수 meo(G)가 m(T)의 일정한 분수, 특히 m(T)/4로 유계임이 되는 경우를 조사하고 예외적인 케이스를 식별하는 것.
• 차수 n인 모든 추이적 순열군 중에서 최소한 n/4 이상의 차수를 갖는 원소를 포함하는 군을 분류하고, 중심군의 구조와 순열 작용을 식별하는 것.
• 대칭군과 대칭군으로부터의 결과를 다른 유한 단순군과 그 자동환군으로 확장하며, 특히 고전군에 초점을 맞추는 것.
• m(T)에 관해 meo(Aut(T))에 대한 명시적인 상계와 예외를 제시하며, PSL_d(q) 및 PSU_4(q) 가닥에 특별한 주의를 기울이는 것.

제안 방법

• 저자들은 특히 순환 구조와 체의 크기를 기반으로 유도된, 유한 단순군 T에 대해 meo(Aut(T))에 대한 알려진 상계를 사용한다.
• meo(Aut(T))와 T의 충실한 순열 표현의 최소 차수 m(T)를 점점 증가하는 추정과 명시적 계산을 통해 비교한다.
• PSU_d(q) 군의 경우, 큰 q에 대해 meo(Aut(T)) < m(T)^{3/4}임을 보여주는 점점 증가하는 부등식을 유도한다.
• 특히 와이어드 곱과 중심군 작용을 포함한, 제품 작용 유형의 추이적 순열군의 구조를 분석하기 위해 군론적 기법을 적용한다.
• 최대 ℓ_T가 G가 PA 유형이고 중심군이 T^ℓ일 때 meo(G) ≥ n/4임을 확인하기 위해 계산적 검증과 케이스 분석을 수행한다.
• meo(G) ≥ n/4인 추이적 군 G의 가능한 중심군 유형을 분류하여, Alt(m)^ℓ 및 PSL_d(q)^ℓ의 자연스러운 작용을 하위공간 또는 점의 튜플에 대해 식별한다.

실험 결과

연구 질문

• RQ1 비대칭군을 갖는 유한 거의 단순군에서, 소군 T가 비대칭일 경우 meo(G)에 대한 m(T)에 대한 최고의 가능한 상계는 무엇인가?
• RQ2 meo(Aut(T)) > m(T)/4인 유한 비아벨 단순군 T는 무엇이며, 이러한 예외는 몇 개인가?
• RQ3 차수 n인 어떤 추이적 순열군이 최소한 n/4 이상의 차수를 갖는 원소를 포함하는가? 그리고 그 중심군의 구조는 무엇인가?
• RQ4 모든 유한 비대칭, 비PSL_d(q) 군에 대해 meo(G) ≤ m(T)의 상한을 meo(G) ≤ m(T)/4로 개선할 수 있는가, 그리고 이는 유한한 예외를 제외하고 성립하는가?
• RQ5 n = m^ℓ일 때, 군 T ≀ Sym(ℓ)이 최소한 n/4 이상의 차수를 갖는 원소를 포함하는 최대 ℓ는 무엇인가?

주요 결과

• 비대칭 유한 단순군 T 중에서 거의 유한한 예외를 제외하고, Aut(T)에서 최대 원소 차수는 m(T) 이하이며, PSL_d(q)의 경우 유한한 두 쌍의 (d,q)를 제외하고는 등호가 성립한다.
• 12개의 예외적인 단순군 T를 제외하고는 상한이 meo(Aut(T)) < m(T)/4로 개선되며, 이 예외들은 표 1에 나열되어 있다.
• T = PSU_4(q)일 경우, meo(Aut(T)) = q^3 + 1은 임의의 ε > 0에 대해 큰 q에 대해 m(T)^{3/4 - ε}보다 빠르게 증가하므로, 이 상한이 ε까지 날카롭게 유지됨을 보여준다.
• meo(G) ≥ n/4인 모든 추이적 순열군 G는 중심군이 Alt(m)^ℓ, PSL_d(q)^ℓ, 또는 아벨 군의 기본군과 동형이며, 하위공간 또는 점의 튜플에 대한 특정 작용을 갖는다.
• 각 T에 대해 G = T ≀ Sym(ℓ)이 meo(G) ≥ n/4를 만족하는 최대 ℓ_T는 유한하며, Alt(7)에선 ℓ_T = 4, Alt(5)에선 ℓ_T = 3, HS 및 기타 단순군에선 ℓ_T = 1이다.
• 표 6에 22개의 단순군에 대해 ℓ_T와 해당되는 m의 명시적 값이 정리되어 있으며, 이는 Alt(m), M11, M12, M22, M23, M24, 그리고 다양한 PSL_d(q), PSU_d(q), PSp 군을 포함한다.