在有限群论，弗拉蒂尼引理指：
它以Giovanni Frattini命名。他以此引理证明一个与弗拉蒂尼子群有关的定理。
因为 H ◃ G , g P g − 1 ≤ H ∀ g ∈ G {\displaystyle H\triangleleft G,gPg^{-1}\leq H\forall g\in G} 。因为 | g − 1 P g | = | P | {\displaystyle |g^{-1}Pg|=|P|} ，所以可以根据西罗定理，在 H {\displaystyle H} 内， g − 1 P g {\displaystyle g^{-1}Pg} 与 P {\displaystyle P} 共轭 ，故对于任意的 g ∈ G {\displaystyle g\in G} ，存在 h ∈ H {\displaystyle h\in H} 使得 P = h − 1 ( g − 1 P g ) h = ( g h ) − 1 P ( g h ) {\displaystyle P=h^{-1}(g^{-1}Pg)h=(gh)^{-1}P(gh)} 。因此 g h ∈ N G ( P ) , g ∈ N G ( P ) h − 1 ∈ N G ( P ) H ∀ g ∈ G {\displaystyle gh\in N_{G}(P),g\in N_{G}(P)h^{-1}\in N_{G}(P)H\forall g\in G} 。
