# Frattini argument

If $H$ is a finite normal subgroup^{} of a group $G$, and $S$ is a Sylow subgroup of $H$, then
$G=H{N}_{G}(S)$, where ${N}_{G}(S)$ is the normalizer^{} of $S$ in $G$.

Title | Frattini argument |
---|---|

Canonical name | FrattiniArgument |

Date of creation | 2013-03-22 13:16:02 |

Last modified on | 2013-03-22 13:16:02 |

Owner | bwebste (988) |

Last modified by | bwebste (988) |

Numerical id | 5 |

Author | bwebste (988) |

Entry type | Theorem |

Classification | msc 20D20 |