フラッティーニ部分群
数学において、群 Gのフラッティーニ部分群 (英: Frattini subgroup) Φ(G) とは Gのすべての極大部分群の共通部分である。ただし、群 Gが極大部分群をもたない場合には、Φ(G) = G によって定義される。
二面体群 Dih4 の部分群の束 のハッセ図式
3つの要素からなる層が極大部分群である。 それらの共通部分︵フラッティーニ部分群︶は5つの要素からなる層の真ん中の要素である。 よって Dih4 は eの他に非生成元を1つしかもたない。
Giovanni Frattini (1852 – 1925)
フラッティーニ部分群は環論のジャコブソン根基と類似しており[1]、直感的には﹁小さい元﹂からなる部分群と考えることができる︵下記の﹁非生成元﹂による特徴づけを見よ︶。Giovanni Frattini にちなんで名づけられている。彼はその概念を1885年に出版された論文で定義した[2]。
3つの要素からなる層が極大部分群である。 それらの共通部分︵フラッティーニ部分群︶は5つの要素からなる層の真ん中の要素である。 よって Dih4 は eの他に非生成元を1つしかもたない。
事実
編集
●群 Gのフラッティーニ部分群 Φ(G) は Gのすべての非生成元 (non-generators, non-generating elements) の集合に等しい[3]。ここで Gの非生成元とは常に生成集合から取り除くことができる元である。つまり X∪ {c} が Gの生成集合であるときには、X もまた Gの生成集合であるような Gの元 cを指す。
●Φ(G) は Gの特性部分群である。とくに、それは Gの正規部分群である。
●有限群 Gの正規部分群 Nが冪零である必要十分条件は N ′ ⊆ Φ(G) が成り立つことである[4]。特にフラッティーニ部分群 Φ(G) は冪零であり、またフィッティング部分群 F(G) との間に F(G)′ ⊆ Φ(G) ⊆ F(G) という関係が成り立つ。
●G が有限 p-群であれば、Φ(G) = G ′ Gpである[5]。したがって、フラッティーニ部分群は商群 G/N が基本アーベル群、すなわち位数 pの巡回群の直和に同型であるような包含に関する最小の正規部分群 Nである[6]。さらに、商群 G/Φ(G) (G のフラッティーニ商 (Frattini quotient) とも呼ばれる︶が位数 pkをもてば、k は Gの生成元の最小の個数である︵つまり Gの生成集合の最小の濃度である︶。とくに有限 p-群が巡回群であることとそのフラッティーニ商が︵位数 pの︶巡回群であることは同値である。有限 p-群が基本アーベルであることとそのフラッティーニ部分群が自明群、Φ(G) = {e} であることは同値である。
●G = H× Kが有限生成群であれば、Φ(G) = Φ(H) × Φ(K) である[7]。
●有限群 Gの正規部分群 Nについて Φ(G/N) ≥ Φ(G)N/N が成り立つ[8]。
例
編集脚注
編集- ^ Cohn 2003, p. 48.
- ^ Frattini 1885
- ^ Cohn 2003, Proposition 2.6.1.
- ^ Cohn 2003, Proposition 2.6.5 (Wielandt).
- ^ Cohn 2003, Exercise 6.
- ^ Aschbacher 2000, 23.2.
- ^ Dixon 1973, 8.22.
- ^ Robinson 1996, 5.2.13(iii).
参考文献
編集- 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
- Dixon, J. D. (1973), Problems in Group Theory, Dover, ISBN 0-486-45916-0
- Frattini, G. (1885), “Intorno alla generazione dei gruppi di operazioni” (イタリア語), Rom. Acc. L. Rend. ((4) I.): 281–285, 455–457
- Robinson, D. J. S (1996), A Course in the Theory of Groups (Second ed.), Springer, ISBN 978-1-4612-6443-9
関連項目
編集外部リンク
編集- Herzog, Marcel (2001), “Frattini subgroup”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Weisstein, Eric W. "Frattini Subgroup". mathworld.wolfram.com (英語).