在有限群论，弗拉蒂尼引理指：它以Giovanni Frattini命名。他以此引理证明一个与弗拉蒂尼子群有关的定理。
证明.因为 formula_8 。因为formula_9 ，所以可以根据西罗定理，在formula_2内， formula_11 与 formula_4 共轭 ，故对于任意的formula_13，存在 formula_14 使得 formula_15 。因此 formula_16 。