[論文レビュー] 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(G/\Z(G))$ の逆像として定義される第二中心 $\Z_2(G)$ の概念を用いる。
• $\Z_2(G)/\Z(\Z_2(G))$ が有限生成であるという条件を適用し、$G$ の構造を制御し、$G/\Z(G)$ の有限性と結びつける。
• P. ホールの意味での同型型理論を用いて、特定の位数関係を満たすクラス 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$ で $G/\Z(G)$ が有限であるとき、$G/\Z(G)$ の最小生成数を $d$ とすると、不等式 $|G/\Z(G)| \leq |\gamma_2(G)|^d$ が成り立つ。
• 等式 $|G/\Z(G)| = |\gamma_2(G)|^d$ は、特定のクラス 2 の冪零群においてのみ成り立ち、それらは同型型の観点から分類されている。
• この等式を満たす群の構造は、同型型不変量を用いて完全に特徴付けられている。
• $\Z_2(G)/\Z(\Z_2(G))$ が有限生成であるという条件は、逆結果において本質的かつ最適であることが示された。
• 本稿は、シュールの定理の自然かつ鋭い逆条件を特定し、既存の文献における結果を一般化した。