在有限群論，弗拉蒂尼引理指：
它以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} 。
是西羅子群、
是有限群， 
。 是西羅子群、 是有限群，且 
，則 
。
