弗拉蒂尼引理 在有限群論弗拉蒂尼引理指 若有限群 G displaystyle G 有正規子群 H displaystyle H  H displaystyle H 有西羅子群 P displaystyle P 則 G  N G  P  H displaystyle GNGPH 其中 N G  P  displaystyle NGP 是 P displaystyle P 的正規化子 它以Giovanni Frattini命名他以此引理證明一個與弗拉蒂尼子群有關的定理