Développement : Sous-groupe de Frattini d'un p-groupe

Détails/Enoncé :

Soit $G$ un $p$-groupe (non trivial) fini. Alors il existe un entier $n \ge 1$ tel que, pour toute famille $S \subset G$ engendrant $G$, on peut extraire une sous-famille finie génératrice $S' \subset S$ telle que $|S'|=n$.

Versions :

  • Auteur :
  • Remarque :
    Développement 1.5 de https://perso.ens-lyon.fr/benjamin.fleuriault/agreg/dev.pdf
    Attention à bien connaître des contre-exemples
  • Référence :

Références utilisées dans les versions de ce développement :

Un max de maths , Zavidovique (utilisée dans 37 versions au total)