[科普中國]-弗拉蒂尼引理

在有限群論，弗拉蒂尼引理指：若有限群G有正規(guī)子群H，H有西羅子群P，則G=NG(P)H，其中NG(P)是P的正規(guī)化子。

簡介在有限群論，弗拉蒂尼引理指：若有限群G有正規(guī)子群H，H有西羅子群P，則 ，其中 是P的正規(guī)化子。

它以Giovanni Frattini命名。他以此引理證明一個與弗拉蒂尼子群有關(guān)的定理。1

證明因為，，所以可以根據(jù)西羅定理，在H內(nèi)，與P共軛 ，故對于任意的，存在使得，因此。1

應(yīng)用它應(yīng)用于證明以下陳述：所有有限冪零群都是的西羅子群的直積。若P是西羅子群、G是有限群， 。

更一般的結(jié)果：若P是西羅子群、G是有限群，且 ，則 。1

有限群在數(shù)學(xué)里，有限群是有著有限多個元素的群。有限群理論中的某些部分在20世紀(jì)有著很深的研究，尤其是在局部分析和可解群與冪零群的理論中。期望有個完整的理論是太過火了：其復(fù)雜性會隨著群變得越大時而變得壓倒性地巨大。

較少壓倒性地，但仍然很有趣的是在有限域上的一些較小一般線性群。群論學(xué)家J. L. Alperin曾寫過：“有限群的典型例子為GL(n,q)－在q個元素的域上的n維一般線性群。學(xué)生在學(xué)此領(lǐng)域時，若以其他的例子來做介紹，則可能會被完全地誤導(dǎo)。（Bulletin (New Series) of the American Mathematical Society, 10 (1984) 121）此類型最小的群GL(2,3)的討論，見Visualizing GL(2,p)。

有限群和對稱有直接地關(guān)接，當(dāng)其被限制在有限個轉(zhuǎn)變時。 其證明為，連續(xù)對稱，如李群中的，也會導(dǎo)致有限群，如外爾群。在此一方面，有限群和其性質(zhì)將能夠用在如理論物理問題的重要地方，即使其用途在一開始并不顯著。

每一素數(shù)階的有限群都是循環(huán)群。1

本詞條內(nèi)容貢獻者為:

胡建平 - 副教授 - 西北工業(yè)大學(xué)