[论文解读] Cycle lengths in finite groups and the size of the solvable radical

Alexander Bors|arXiv (Cornell University)|Jan 28, 2015

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)$ 大小之間的關係。
• 識別出緊緻閾值 $\rho$ 與 $e$，使得長週期的存在可推出 $G$ 的可解性。
• 將自同構的結果延伸至更廣泛的映射類別——週期仿射映射——同時維持結構約束。
• 在週期長度條件下，提供 $[G: \operatorname{Rad}(G)]$ 的明確界，並使用有限單群分類定理（CFSG）。

提出的方法

• 利用有限單群分類定理（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 何種指數閾值 $e$ 使得自同構中週期長度至少為 $|G|^e$ 時，可推出 $|\operatorname{Rad}(G)| \to \infty$ 當 $|G| \to \infty$？
• 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}$（$\xi > 0$），因此當 $|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$。
• 存在一組無限有限群 $G_n$，其可解根為平凡（$|\operatorname{Rad}(G_n)| = 1$），使得每個 $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$，顯示此類群「接近可解」。