[논문 리뷰] On the length and depth of finite groups (with an appendix by D.R. Heath-Brown)

Timothy C. Burness, Martin W. Liebeck외 1명|arXiv (Cornell University)|2018. 02. 06.

Finite Group Theory Research참고 문헌 31인용 수 6

한 줄 요약

이 논문은 유한 단순군의 깊이와 길이에 대한 이전 연구를 확장하여 깊이 3과 4인 유한군을 분류한다. 길이가 9 이하인 단순군의 완전한 분류를 제공하고, 수론적 결과를 활용하여 길이 ≤9인 비아벨 단순군이 무한히 많음을 증명하며, $ G/R(G) $의 길이에 대해 체인 차이 $ \mathrm{cd}(G) $에 대한 선형 상한을 확립하고, 단순군에 대한 체인 비율에 대해 최적의 하한을 제시한다.

ABSTRACT

An unrefinable chain of a finite group $G$ is a chain of subgroups $G = G_0 > G_1 > \cdots > G_t = 1$, where each $G_i$ is a maximal subgroup of $G_{i-1}$. The length (respectively, depth) of $G$ is the maximal (respectively, minimal) length of such a chain. We studied the depth of finite simple groups in a previous paper, which included a classification of the simple groups of depth $3$. Here we go much further by determining the finite groups of depth $3$ and $4$. We also obtain several new results on the lengths of finite groups. For example, we classify the simple groups of length at most $9$, which extends earlier work of Janko and Harada from the 1960s, and we use this to describe the structure of arbitrary finite groups of small length. We also present a number-theoretic result of Heath-Brown, which implies that there are infinitely many non-abelian simple groups of length at most $9$. Finally we study the chain difference of $G$ (namely the length minus the depth). We obtain results on groups with chain difference $1$ and $2$, including a complete classification of the simple groups with chain difference $2$, extending earlier work of Brewster et al. We also derive a best possible lower bound on the chain ratio (the length divided by the depth) of simple groups, which yields an explicit linear bound on the length of $G/R(G)$ in terms of the chain difference of $G$, where $R(G)$ is the soluble radical of $G$.

연구 동기 및 목표

• 깊이가 정확히 3이거나 4인 모든 유한군을 분류하고, 이는 이전의 유한 단순군의 깊이에 대한 연구를 확장한다.
• 잔다와 하라다의 1960년대 연구를 바탕으로, 길이가 작은 유한 단순군의 분류를 확장한다.
• 길이가 작은 단순군의 분류를 바탕으로, 임의의 유한군이 길이가 작은 경우의 구조를 규명한다.
• 체인 차이가 2인 단순군을 분류하고, 브루스터 등이 이전에 얻은 결과를 확장한다.
• 유한 비아벨 단순군에 대해 체인 비율 $ l(G)/\lambda(G) $에 대한 최적의 하한을 확립하고, $ G/R(G) $의 길이에 대해 $ \mathrm{cd}(G) $에 대한 선형 상한을 유도한다.

제안 방법

• 최대부분군 체인 $ G = G_0 > G_1 > \cdots > G_t = 1 $인 불가약한 체인을 사용하여 길이 $ l(G) $와 깊이 $ \lambda(G) $를 정의한다. 이는 각각 최대 및 최소 체인 길이이다.
• 구성급수와 주요급수 이론을 활용하여 깊이 3과 4인 군을 분류한다.
• 대칭군과 자기동형군의 길이에 관한 문헌 결과를 적용하며, 특히 모든 유한군 $ G $에 대해 $ l(\mathrm{Aut}(G)) \leq 2l(G) $임을 고려한다.
• 헤이스-브라운의 수론적 결과를 활용하여 $ p \pm 1 $의 소인수 개수에 대한 결과를 도출한다. 이는 $ \Omega((p^2-1)/24) \leq 7 $이 되는 무한히 많은 소수 $ p \equiv 5 \pmod{72} $가 존재함을 보여주며, 길이 ≤9인 비아벨 단순군이 무한히 많음을 증명한다.
• 특히 할버스타무와 릭에르트의 가중 체인 방법을 적용하여, $ \Omega $-함수 값이 유계인 소수의 존재를 확보한다.
• 체인 길이 $ l(\mathrm{Soc}(G/R(G))) $와 $ l(\mathrm{Aut}(\mathrm{Soc}(G/R(G)))) $에 대한 상한을 활용하여 $ l(G/R(G)) $에 대한 선형 상한을 유도한다.

실험 결과

연구 질문

• RQ1 깊이가 정확히 3인 유한군은 무엇이며, 그들의 구조적 특성은 무엇인가?
• RQ2 깊이가 정확히 4인 유한군은 무엇이며, 단순군과 와이어드 프로덕트와의 관계는 어떻게 되는가?
• RQ3 길이가 9 이하인 유한 단순군은 무엇이며, 잔다와 하라다의 이전 연구를 어떻게 확장하는가?
• RQ4 체인 차이가 2인 단순군은 무엇이며, 완전히 분류될 수 있는가?
• RQ5 유한 비아벨 단순군에 대해 체인 비율 $ l(G)/\lambda(G) $에 대한 최적의 하한은 무엇인가?

주요 결과

• 깊이가 3인 모든 유한군은 주로 체인 길이가 3인 가역군이거나, 표본 1에 나열된 단순군들이다. 이들에는 $ A_p $, $ \mathrm{L}_2(q) $, $ \mathrm{L}_n^\epsilon(q) $, $ ^2B_2(q) $, $ \mathrm{M}_{23} $, 베이비 몬스터 군 등이 포함된다.
• 깊이가 4인 유한군은 가역군의 주요 길이가 4이거나, $ \lambda(G) = 4 $인 거의 단순군이거나, 특정 조건을 만족하는 $ T \,\mathrm{twr}_\phi\, S $ 형태의 비틀린 와이어드 프로덕트로 분류된다.
• 이 논문은 길이가 9 이하인 모든 유한 단순군을 분류하였으며, 하라다가 길이 ≤7인 군에 대해 수행한 분류를 확장한다.
• 헤이스-브라운의 수론적 결과를 활용하여, 무한히 많은 소수 $ p \equiv 5 \pmod{72} $에 대해 $ \Omega((p^2-1)/24) \leq 7 $임을 보여, 길이 ≤9인 비아벨 단순군이 무한히 많음을 증명한다.
• 체인 차이 $ \mathrm{cd}(G) = l(G) - \lambda(G) $는 $ l(G/R(G)) \leq 10 \cdot \mathrm{cd}(G) $를 만족하며, 이 상한은 최적이다.
• 유한 비아벨 단순군에 대해 체인 비율 $ l(G)/\lambda(G) $에 대한 최적의 하한이 확립되었으며, 이는 $ G/R(G) $의 길이에 대해 $ \mathrm{cd}(G) $에 대한 선형 상한을 유도한다.