フラッティーニ部分群

フラッティーニ部分群の概要

数学における群論では、群 G のフラッティーニ部分群（Φ(G)）が重要な役割を果たします。これは群のすべての極大部分群の共通部分として定義され、群 G が極大部分群を持たない場合は、Φ(G) は群 G 自身とみなされます。この概念は、イタリアの数学者ジョバンニ・フラッティーニに名を由来し、1885年に彼が発表した論文で定義されました。

フラッティーニ部分群は、通常「小さい元」から成り立つ部分群と捉えることができ、群の生成に関する興味深い特性を有しています。特に、Φ(G) には G のすべての非生成元（生成集合から除外しても生成集合が変わらない元）が含まれます。この性質により、フラッティーニ部分群は群論における多くの議論や証明の基盤として使用されることがあります。

フラッティーニ部分群の性質

フラッティーニ部分群は、群 G において特性部分群であり、これにより性質が非常に興味深いものとなります。
特に、Φ(G) は常に G の正規部分群としても知られています。

有限群 G の特性部分群 N が冪零（soluble）である必要十分条件は、N の中心（N'）がフラッティーニ部分群 Φ(G) に含まれることです。これは、G の特性がどのように他の部分群に影響を与えるかを示すものです。また、フラッティーニ部分群 Φ(G) 自体も冪零であり、フィッティング部分群 F(G) との関係が成り立ち、具体的には、F(G)' ⊆ Φ(G) ⊆ F(G) という形で表されます。

さらに、G が有限 p-群の場合、フラッティーニ部分群は特に興味深い性質を持っています。具体的には、Φ(G) は G の中心 G′ と N の非零元が含まれる部分群 Gp の和として表されることが知られています。このことは、フラッティーニ部分群が群の基本的なアビリアン性を理解するために役立つ意味を持ちます。結果として、商群 G/Φ(G) は生成元の最小の個数を明らかにし、これが k として表されます。

例えば、有限 p-群が巡回群であることと、そのフラッティーニ商が巡回群になることは同値です。また、有限 p-群が基本アビリアンであることと、そのフラッティーニ部分群が自明群（Φ(G) = {e}）であることも同様に同値です。

フラッティーニ部分群の具体例

例えば、プリューファー群 Z(p∞) において、Φ(Z(p∞)) はそのまま Z(p∞) となります。また、位数 pn の元 x で生成される巡回群 G に対して、Φ(G) は生成された元 xp からなる部分群として記述できます。これらの例はフラッティーニ部分群の様々な特性を示しています。

まとめ

フラッティーニ部分群は群 G の深い性質についての理解を助ける重要な概念で、特にその生成元の構造や群の基本的アビリアン性に関連して数多くの興味深い理論が存在します。群論においてこの部分群を理解することは、より複雑な構造や性質を探求するための第一歩となるでしょう。

もう一度検索