弗拉蒂尼引理

在有限群論 ， 弗拉蒂尼引理指 ： 若有限群有正規子群 ， 有西羅子群 ， 則 ， 其中 是 的正規化子 。 它以Giovanni Frattini命名 。 他以此引理證明一個與弗拉蒂尼子群有關的定理 。