Développement #1156

Titre : Sous-groupe de Frattini d'un p-groupe

Contenu : 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$.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42