フラッティーニ部分群
提供: miniwiki
.svg){kind=link}
ファイル:Giovanni Frattini.jpg
Giovanni Frattini (1852 – 1925)
数学において、群 G のフラッティーニ部分群 (英: Frattini subgroup) Φ(G) とは G のすべての極大部分群の共通部分である。ただし、群 G が極大部分群をもたない場合には、Φ(G) = G によって定義される。
フラッティーニ部分群は環論のジャコブソン根基と類似しており[1]、直感的には「小さい元」からなる部分群と考えることができる（下記の「非生成元」による特徴づけを見よ）。Giovanni Frattini にちなんで名づけられている。彼はその概念を1885年に出版された論文で定義した[2]。
事実
- 群 G のフラッティーニ部分群 Φ(G) は G のすべての非生成元 (non-generators, non-generating elements) の集合に等しい[3]。ここで G の非生成元とは常に生成集合から取り除くことができる元である。つまり X ∪ {c} が G の生成集合であるときには、X もまた G の生成集合であるような G の元 c を指す。
- Φ(G) は G の特性部分群である。とくに、それは G の正規部分群である。
- 有限群 G のフラッティーニ部分群 Φ(G) は冪零である[4]。したがって、とくにフィッティング部分群に含まれる。
- 有限群 G が冪零である必要十分条件は G ′ ⊆ Φ(G) が成り立つことである[5]。
- G が有限 p-群であれば、Φ(G) = G ′ Gp である[6]。したがって、フラッティーニ部分群は商群 G/N が基本アーベル群、すなわち位数 p の巡回群の直和に同型であるような包含に関する最小の正規部分群 N である[7]。さらに、商群 G/Φ(G) (G のフラッティーニ商 (Frattini quotient) とも呼ばれる）が位数 pk をもてば、k は G の生成元の最小の個数である（つまり G の生成集合の最小の濃度である）。とくに有限 p-群が巡回群であることとそのフラッティーニ商が（位数 p の）巡回群であることは同値である。有限 p-群が初等アーベルであることとそのフラッティーニ部分群が自明群、Φ(G) = {e} であることは同値である。
- H と K が有限であれば、Φ(H × K) = Φ(H) × Φ(K) である。
例
脚注
参考文献
- Aschbacher, M. (2000), Finite Group Theory, Cambridge studies in advanced mathematics, 10 (Second ed.), Cambridge University Press, ISBN 978-0-521-78675-1
- Cohn, P. M. (2003), Basic algebra: groups, rings, and fields, Springer, ISBN 1-85233-587-4
- Frattini, G. (1885), “Intorno alla generazione dei gruppi di operazioni” (イタリア語), Rom. Acc. L. Rend. ((4) I.): 281–285, 455–457
関連項目
外部リンク
- {{#invoke:citation/CS1|citation
|CitationClass=citation }}
- Weisstein, Eric W. “Frattini Subgroup”. MathWorld（英語）. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。