« Théorie des groupes/Théorèmes de Sylow » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Changement de type cosmétique |
|||
Ligne 50 :
| titre = Premier théorème de Sylow
| contenu =
}}
Ligne 64 :
| titre = Lemme
| contenu =
}}
{{Démonstration déroulante
| titre = Preuve du lemme
| contenu =
Écrivons l'équation aux classes pour l'action de ''H'' sur ''G''/''S'' par translation à gauche. Le stabilisateur d'une classe ''a''·''S'' est <math>\scriptstyle aSa^{-1}\cap H</math>, qui est un ''p''-groupe, comme sous-groupe de ''S''. L'équation aux classes donne :
:<math>\mathrm{Card}(G/S)=\sum_{x\in X} \frac{\mathrm{Card}(H)}{\mathrm{Card}(xSx^{-1}\cap H)}</math>
où la somme porte sur un ensemble de représentants des orbites. Comme ''S'' est un ''p''-Sylow de ''G'', ''p'' ne divise pas le cardinal de ''G''/''S'' ; il existe donc au moins un représentant <math>\scriptstyle x\in X</math> pour lequel ''p'' ne divise pas <math>\scriptstyle \mathrm{Card}(H)/\mathrm{Card}(xSx^{-1}\cap H)</math>. Autrement dit, la valuation ''p''-adique du cardinal de ''H'' est la valuation ''p''-adique du cardinal de <math>\scriptstyle xSx^{-1}\cap H</math>. Comme <math>\scriptstyle xSx^{-1}\cap H</math> est ''p''-sous-groupe de ''H'', c'est un ''p''-Sylow de ''H'', d'où le résultat.
}}
|