[論文レビュー] On solubility of groups with finitely many centralizers

Mohammad Zarrin|arXiv (Cornell University)|May 3, 2012

Finite Group Theory Research被引用数 3

ひとこと要約

本稿では、21個以下の中心化子をもつすべての有限群が可解であることを確立し、n = 21で鋭い上限が得られることを示している。さらに、|G| < (30n + 15)/19 ならば G は非冪等可解群であることが示され、Ashrafi による Cₙ-群の構造に関する予想に対する部分的解決が得られている。

ABSTRACT

For any group G, let C(G) denote the set of centralizers of G. We say that a group G has n centralizers (G is a Cn-group) if |C(G)| = n. In this note, we prove that every finite Cn-group with n ? 21 is soluble and this estimate is sharp. Moreover, we prove that every finite Cn-group with |G| &lt; 30n+15 19 is non-nilpotent soluble. This result gives a partial answer to a conjecture raised by A. Ashrafi in 2000.

研究の動機と目的

• 有限群の中心化子が有限個である場合の可解性を特定すること、特に n が小さい値の場合に焦点を当てる。
• Cₙ-群の順序に関する上限を確立し、非冪等可解性を示す。
• Ashrafi が2000年に提示した、|G| ≤ 3n/2 を満たす有限 Cₙ-群の構造に関する予想に対する部分的解答を提供すること。
• 中心化子の数と、冪等性や可解性といった群の性質との関係を調査すること。

提案手法

• G の元 g ∈ G に対する中心化子 C_G(g) の概念を用い、正確に n 個の異なる中心化子をもつ群を Cₙ-群と定義する。
• 命題 2.1 を適用し、任意の Cₙ-群が (𝒜, n−1) 条件を満たすことを示す。これは、n 個の元がすべて互いに非アーベル部分群を生成するような集合が存在しないことを意味する。
• 定理 2.2 を用いて、ある定数 c に対して |G : Z(G)| ≤ c^{n−1} を示し、群の中心の大きさと n の関係を結ぶ。
• 補題 2.3 を適用し、不等式 n ≤ (|G| + |I(G)|)/2 を用いて |G| と |I(G)|（対合の集合）の関係を確立する。
• Potter による 1988 年の定理（自己同型が 4|G|/15 より多くの元を反転する場合）を応用し、可解性を導出する。
• 中心化子集合への群作用を分析し、半単純 Cₙ-群の有限性と順序の上限を証明する。

実験結果

リサーチクエスチョン

• RQ1 n ≤ 21 のとき、すべての有限 Cₙ-群は可解であり、この上限は鋭いか？
• RQ2 |G| を n の関数としての上限が、Cₙ-群が非冪等かつ可解であることを保証できるか？
• RQ3 |G| < (30n + 15)/19 ならば、有限 Cₙ-群が非冪等可解群であると示せるか？
• RQ4 中心化子の数が、特に冪等性と可解性に関して、有限群の構造にどの程度制限を加えるか？
• RQ5 有限群において、対合の集合 I(G) の大きさは、中心化子の数 n とどのように関係するか？

主な発見

• n ≤ 21 であるすべての有限 Cₙ-群は可解であり、この上限は鋭い。A₅ は 22 個の中心化子をもち、単純群であるため。
• 交代群 A₅ は非可解 Cₙ-群の中で最小であり、可解性の閾値が n = 22 であることを確認している。
• |G| < (30n + 15)/19 ならば、G は非冪等かつ可解群であることが保証され、定量的な可解性基準が得られた。
• 任意の Cₙ-群 G に対して、ある定数 c > 0 が存在し、|G : Z(G)| ≤ c^{n−1} が成り立つ。
• |G| < (30n + 15)/19 ならば、|I(G)| > (4|G|/15) − 1 が成り立ち、Potter の定理の適用が可能になる。
• 半単純 Cₙ-群は有限であり、|G| ≤ (n−1)! を満たす。これは、中心化子集合への群作用と冪等性の制約から導かれる。