Bonjour,
Pour démontrer le premier théorème de Sylow (mais en fait, cela n'importe peu), on considère un groupe à éléments, p nombre entier ne divisant pas m et on considère l'ensemble X de ses parties à éléments et on veut montrer que p ne divise pas le cardinal de X.
On écrit:
et là ma doc indique: "comme (ça OK), alors il y a autant d'exemplaires au numérateur et au dénominateur du nombre premier p, donc p ne divise pas ".
Je n'arrive vraiment pas à comprendre cette conclusion.
Merci d'avance.
-----