[论文解读] Converse of Schur's Theorem - A statement

Manoj K. Yadav|arXiv (Cornell University)|Dec 12, 2012

Finite Group Theory Research参考文献 6被引用 3

一句话总结

本文通过证明：若群 $ G $ 的换位子群 $ \gamma_2(G) $ 有限，且其第二中心 $ \Z_2(G) $ 模其中心的商群具有有限生成的商，则 $ G/\Z(G) $ 有限，从而建立了舒尔定理的逆定理。其关键贡献在于精确刻画了在何种条件下 $ \gamma_2(G) $ 的有限性可推出 $ G/\Z(G) $ 的有限性，从而推广了群论中已知的结果。

ABSTRACT

Let $G$ be an arbitrary group such that $G/\Z(G)$ is finite, where $\Z(G)$ denotes the center of the group $G$. Then $γ_2(G)$, the commutator subgroup of $G$, is finite. This result is known as Shur's theorem (the Schur's theorem). In this short note we provide a quick survey on the converse of Schur's theorem, generalize known results in this direction and prove the following result (which is perhaps the most suitable statement for converse of the Schur's theorem): If $G$ is an arbitrary group with finite $γ_2(G)$, then $G/\Z(G)$ is finite if $\Z_2(G)/\Z(\Z_2(G))$ is finitely generated, where $\Z_2(G)$ denotes the second center of a group $G$. If $G/\Z(G)$ is finite, then $γ_2(G)$ is also finite and $|G/\Z(G)| \le |γ_2(G)|^d$, where $d$ denotes the number of elements in any minimal generating ser for $G/\Z(G)$. We classify all nilpotent groups $G$ of class 2 upto isoclinism (in the sense of P. Hall) such that $|G/\Z(G)| = |γ_2(G)|^d$, and ask some questions in the sequel.

研究动机与目标

• 研究舒尔定理的逆命题，即若 $ G/\Z(G) $ 有限，则 $ \gamma_2(G) $ 有限。
• 确定 $ \gamma_2(G) $ 的有限性可推出 $ G/\Z(G) $ 有限的必要且充分条件。
• 通过引入 $ \Z_2(G)/\Z(\Z_2(G)) $ 为有限生成的条件，推广现有关于逆方向结果的研究。
• 对满足等式 $ |G/\Z(G)| = |\gamma_2(G)|^d $ 的类2幂零群进行同构型分类。
• 提出关于此类群结构及其同构型分类的开放问题。

提出的方法

• 利用第二中心 $ \Z_2(G) $ 的概念，其定义为 $ \Z(G/\Z(G)) $ 在自然投影下的原像。
• 应用 $ \Z_2(G)/\Z(\Z_2(G)) $ 为有限生成的条件，以控制群 $ G $ 的结构，并将其与 $ G/\Z(G) $ 的有限性联系起来。
• 运用皮埃尔·霍尔（P. Hall）意义上的同构型理论，对具有特定阶关系的类2幂零群进行分类。
• 使用 $ G/\Z(G) $ 的极小生成集，记为 $ d $，推导出不等式 $ |G/\Z(G)| \leq |\gamma_2(G)|^d $。
• 分析等式情形 $ |G/\Z(G)| = \gamma_2(G)|^d $，以在同构型意义下刻画群的结构。
• 应用涉及换位子群、中心和商群的群论技巧，推导出结构约束。

实验结果

研究问题

• RQ1 在何种条件下，$ \gamma_2(G) $ 的有限性可推出 $ G/\Z(G) $ 有限？
• RQ2 $ \Z_2(G)/\Z(\Z_2(G)) $ 的有限生成性与 $ G/\Z(G) $ 的有限性有何关联？
• RQ3 满足 $ |G/\Z(G)| = |\gamma_2(G)|^d $ 的类2幂零群的精确结构为何？
• RQ4 能否在同构型意义下刻画等式 $ |G/\Z(G)| = |\gamma_2(G)|^d $？
• RQ5 一般情况下，舒尔定理逆命题成立的必要且充分条件是什么？

主要发现

• 若 $ \gamma_2(G) $ 有限且 $ \Z_2(G)/\Z(\Z_2(G)) $ 有限生成，则 $ G/\Z(G) $ 有限。
• 对任意满足 $ G/\Z(G) $ 有限的群 $ G $，不等式 $ |G/\Z(G)| \leq |\gamma_2(G)|^d $ 成立，其中 $ d $ 为 $ G/\Z(G) $ 的极小生成数。
• 等式 $ |G/\Z(G)| = |\gamma_2(G)|^d $ 恰好在某些类2幂零群中成立，这些群已在同构型意义下完成分类。
• 满足该等式的群的结构通过同构型不变量被完全刻画。
• 证明了 $ \Z_2(G)/\Z(\Z_2(G)) $ 为有限生成的条件对于逆定理而言是本质且最优的。
• 本文识别出舒尔定理的一个自然且精确的逆条件，推广了文献中已有的结果。