在有限群论,弗拉蒂尼引理指: 若有限群有正规子群,有西罗子群,则 ,其中 是 的正规化子. 它以Giovanni Frattini命名.他以此引理证明一个与弗拉蒂尼子群有关的定理.因为 .因为 ,所以可以根据西罗定理,在 内, 与 共轭 ,故对于任意的 ,存在 使得 .因此 . 它应用于证明以下陈述:所有有限幂零群都是的西罗子群的直积. 若 是西罗子群, 是有限群, . 更一般的结果:若 是西罗子群, 是有限群,且 ,则 .