[论文解读] Finite groups with a certain number of elements pairwise generating a non-nilpotent subgroup

Aliréza Abdollahi, A. Mohammadi Hassanabadi|ArXiv.org|Nov 28, 2005

Finite Group Theory Research参考文献 20被引用 5

一句话总结

本文研究了满足每 n+1 个元素的子集都包含一对生成非幂零子群的有限群，建立了群大小的上界，并刻画了满足此类条件的群。关键结果包括在 $(\mathcal{N},n)$ 条件下对半单群的大小上界，以及对满足 $(\mathcal{N},21)$ 和 $(\mathcal{A},21)$ 的不可解群的完整刻画，表明 $ G/Z^*(G) \cong A_5 $ 或 $ G \cong Z(G) \times A_5 $ 分别成立。

ABSTRACT

Let $n>0$ be an integer and $\mathcal{X}$ be a class of groups. We say that a group $G$ satisfies the condition $(\mathcal{X},n)$ whenever in every subset with $n+1$ elements of $G$ there exist distinct elements $x,y$ such that $$ is in $\mathcal{X}$. Let $\mathcal{N}$ and $ \mathcal{A}$ be the classes of nilpotent groups and abelian groups, respectively. Here we prove that: (1) If $G$ is a finite semi-simple group satisfying the condition $(\mathcal{N},n)$, then $|G|

研究动机与目标

• 确定满足条件 $(\mathcal{X},n)$ 的有限群——即每个 $n+1$ 个元素的子集都包含一对生成 $\mathcal{X}$ 类中子群的元素——是否在大小上受到限制，特别是针对幂零类和交换类。
• 刻画满足 $(\mathcal{N},21)$ 和 $(\mathcal{A},21)$ 的有限不可解群，识别其商群结构。
• 研究满足 $(\mathcal{A},n)$ 的可解群的换位列长度，建立以 $n$ 表示的上界。
• 探讨 $(\mathcal{X},n)$ 条件与 $n$ 个 $\mathcal{X}$ 类子群的并集之间的关系，特别是针对幂零群和交换群。

提出的方法

• 使用超中心 $Z^*(G)$ 分析在 $(\mathcal{X},n)$ 条件下有限群的结构，特别是在不可解群和半单群的情形。
• 应用群扩张理论和舒尔乘子来分析中心扩张，特别是在 $A_5$ 和 $\mathrm{SL}(2,5)$ 的背景下，以排除某些群结构。
• 利用上同调的普适系数定理，通过 $M(G/B)$ 将上同调数据与换位子群及与正规子群的交集联系起来。
• 对 $n$ 进行归纳，以界定满足 $(\mathcal{A},n)$ 的可解群的换位列长度，利用换位列各项的商群继承 $(\mathcal{A},n-1)$ 条件的事实。
• 利用尼尔森定理：一个群满足 $(\mathcal{A},n)$ 当且仅当它是中心-有限群，从而将问题约化为有限商群。
• 利用西洛子群分析和逐元素换位子论证，证明中心中的元素与所有其他元素交换，从而导出直积分解。

实验结果

研究问题

• RQ1 满足 $(\mathcal{N},n)$ 条件的有限半单群的最大大小是多少？能否仅用 $n$ 表示其上界？
• RQ2 哪些有限不可解群满足 $(\mathcal{N},21)$ 条件？它们在超中心下的结构如何？
• RQ3 对于哪些 $n$，每个满足 $(\mathcal{A},n)$ 的有限群必然为 $n$ 个阿贝尔子群的并集？
• RQ4 满足 $(\mathcal{A},n)$ 的可解群的最大换位列长度是多少？它如何依赖于 $n$？
• RQ5 在何种条件下，$(\mathcal{X},n)$ 条件意味着群是 $n$ 个 $\mathcal{X}$ 类子群的并集？

主要发现

• 满足 $(\mathcal{N},n)$ 的有限半单群的阶满足 $ |G| < c^{2[\log_{21}n]n^{2}}[\log_{21}n]! $，其中 $c$ 为某常数，给出了仅依赖于 $n$ 的大小上界。
• 有限不可解群满足 $(\mathcal{N},21)$ 当且仅当 $ G/Z^*(G) \cong A_5 $，通过其在超中心下的商群完全刻画了此类群。
• 非幂零的有限群满足 $(\mathcal{N},4)$ 当且仅当 $ G/Z^*(G) \cong S_3 $，给出了此情形下的完整结构刻画。
• 不可解群满足 $(\mathcal{A},21)$ 当且仅当 $ G \cong Z(G) \times A_5 $，表明中心是直积因子，且商群为 $A_5$。
• 对于满足 $(\mathcal{A},n)$ 的可解群，换位列长度 $d$ 满足：当 $ n \in \{1,2\} $ 时 $ d = 1 $，当 $ n \geq 2 $ 时 $ d \leq 2n - 3 $，给出了一个紧致的上界。
• $(\mathcal{X},n)$ 条件蕴含群是 $n$ 个 $\mathcal{X}$ 类子群的并集，若 $\mathcal{X}$ 是子群封闭的类，且在有限情形下对 $\mathcal{X} = \mathcal{N}$ 和 $\mathcal{X} = \mathcal{A}$ 成立。