[논문 리뷰] Cycle lengths in finite groups and the size of the solvable radical

Alexander Bors|arXiv (Cornell University)|2015. 01. 28.

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

한 줄 요약

이 논문은 유한군에서 자명하지 않은 순환의 존재를 바탕으로 가역적 자동사상이나 주기적 애핀 사상에서 긴 순환의 존재에 기반하여 해석 가능 라디칼의 크기의 날카운 경계를 설정한다. 만약 유한군이 길이가 적어도 $\rho|G|$인 순환을 갖는 자동사상이 있다면, $[G: \operatorname{Rad}(G)]$의 지수는 $\rho$에 따라 유계이며, $\rho > \frac{1}{10}$이면 가역성이 보장된다; 마찬가지로, 순환 길이가 $|G|^e$의 주기성을 갖는다면 자동사상의 경우 $e > \frac{1}{3}$, 애핀 사상의 경우 $e > \frac{2}{3}$일 때 가역성이 유도된다.

ABSTRACT

We prove the following: For any $ρ\in\left(0,1 ight)$, if a finite group $G$ has an automorphism with a cycle of length at least $ρ\cdot|G|$, then the index of the solvable radical $\operatorname{Rad}(G)$ in $G$ is bounded from above in terms of $ρ$, and such a condition is strong enough to imply solvability of $G$ if and only if $ρ>\frac{1}{10}$. Furthermore, considering, for exponents $e\in\left(0,1 ight)$, the condition that a finite group $G$ have an automorphism with a cycle of length at least $|G|^e$, such a condition is strong enough to imply $|\operatorname{Rad}(G)| o\infty$ for $|G| o\infty$ if and only if $e>\frac{1}{3}$. We also prove similar results for a larger class of bijective self-transformations of finite groups, so-called periodic affine maps.

연구 동기 및 목표

• 유한군의 자동사상이나 주기적 애핀 사상에서 긴 순환의 존재가 유한군의 구조에 미치는 제약 조건을 규명하는 것.
• 유한군에서 순환 길이와 해석 가능 라디칼 $\operatorname{Rad}(G)$의 크기 사이의 관계를 정량화하는 것.
• 긴 순환의 존재가 $G$의 가역성을 유도하는 날카운 임계값 $\rho$와 $e$를 규명하는 것.
• 자기사상의 결과를 더 넓은 범주인 주기적 애핀 사상으로 확장하면서도 구조적 제약 조건을 유지하는 것.
• 유한단순군의 분류(CFSG)를 사용하여, 순환 길이 조건 하에서 $[G: \operatorname{Rad}(G)]$에 대한 명시적 경계를 제공하는 것.

제안 방법

• 유한비아벨 특성단순군에서 자동사상과 주기적 애핀 사상의 최대 순환 길이를 분석하기 위해 유한단순군의 분류(CFSG)를 활용한다.
• 유한형 리군의 자동사상군에서 원소의 최대 차수를 유계화하기 위해 기술적 보조정리를 사용한다.
• 특히 고전적 및 예외적 리군 유형에 대해 군의 크기와 순환 길이 간의 점근적 추정 및 부등식을 적용한다.
• 군 유형별로 사례 분석을 수행한다(예: $\operatorname{PSL}_d(q)$, $\operatorname{PSU}_d(q)$, 심플렉틱, 직교군, 예외군), 기존의 원소 차수 및 외부자기사상군 크기의 경계를 활용한다.
• 점근적 경계의 오차 항을 제어하기 위해 보조 함수 $g(n)$과 상수 $K(\epsilon,\xi)$, $K_{\mathrm{aff}}(\epsilon,\xi)$를 도입한다.
• 주요 결과를 한 개의 기술적 보조정리(보조정리 3.1)로 단순화한다. 이 보조정리는 유한비아벨 특성단순군에서 최대 순환 길이를 다룬다.

실험 결과

연구 질문

• RQ1 주어진 $\rho \in (0,1)$에 대해, 길이가 적어도 $\rho|G|$인 순환을 갖는 자동사상이 존재할 때 $G$가 가역적이게 되는 조건은 무엇인가?
• RQ2 주기적 애핀 사상에서 긴 순환의 존재는 $[G: \operatorname{Rad}(G)]$에 어떤 영향을 미치는가?
• RQ3 자기사상에서 순환 길이가 적어도 $|G|^e$ 이상일 때, $|\operatorname{Rad}(G)| \to \infty$가 $|G| \to \infty$일 때 유도되는 임계 지수 $e$는 무엇인가?
• RQ4 순환 길이 조건이 $|G|^e$ 형태일 때, $[G: \operatorname{Rad}(G)]$의 경계를 균일하게 제어할 수 있는가?
• RQ5 자기사상이나 주기적 애핀 사상에서 순환 길이가 각각 $|G|^{1/3}$ 또는 $|G|^{2/3}$를 초과하는 무한한 비가역군의 가역군 가닥이 존재하는가?

주요 결과

• 유한군 $G$가 길이가 $\frac{1}{10}|G|$를 초과하는 순환을 갖는 자동사상이 있다면, $G$는 가역적이다; 이 임계값은 날카로우며, $\mathcal{A}_5$는 정확히 $\frac{1}{10}|\mathcal{A}_5|$ 길이의 자동사상 순환을 갖는다.
• 주기적 애핀 사상의 경우, 순환 길이가 $\frac{1}{4}|G|$를 초과하면 가역성이 보장되며, 이 경계 역시 날카롭다. $\mathcal{A}_5$는 길이가 정확히 $\frac{1}{4}|\mathcal{A}_5|$인 순환을 달성한다.
• 자기사상의 경우, 순환 길이가 적어도 $|G|^{1/3 + \epsilon}$이면, $|\operatorname{Rad}(G)|$는 임의의 $|G|^{1 - \frac{3}{2}\epsilon + \xi}$보다 더 빠르게 증가하며, 이는 $|G| \to \infty$일 때 $|\operatorname{Rad}(G)| \to \infty$를 의미한다.
• 주기적 애핀 사상의 경우, 순환 길이가 적어도 $|G|^{2/3 + \epsilon}$이면, $|\operatorname{Rad}(G)|$는 임의의 $|G|^{1 - 3\epsilon + \xi}$보다 더 빠르게 증가하므로, $|G| \to \infty$일 때 $|\operatorname{Rad}(G)| \to \infty$가 된다.
• 해석 가능 라디칼이 자명한(즉, $|\operatorname{Rad}(G_n)| = 1$) 무한한 유한군의 수열 $G_n$이 존재하며, 각각의 $G_n$은 길이가 $|G_n|^{1/3}$를 초과하는 자동사상 순환과 길이가 $|G_n|^{2/3}$를 초과하는 주기적 애핀 사상 순환을 갖는다. 이는 임계값이 날카로움을 보여준다.
• $[G: \operatorname{Rad}(G)]$는 자동사상의 경우 $\rho^{E_1}$, 주기적 애핀 사상의 경우 $\rho^{E_2}$ 이하로 유계이며, 여기서 $E_1 \approx -1.778$ 및 $E_2 \approx -5.907$이다. 이는 이러한 군들이 '가역에 가까운' 군임을 보여준다.