Discussion:Théorie des groupes/Théorème de Gaschütz

Forme particulière originale de l'argument de Frattini

Merci, Anne, pour ton gros travail d'amélioration de ce cours. Il y a un détail qui me chiffonne. Dans le chapitre Théorème de Gaschütz, j'avais énoncé et démontré non seulement la forme générale mais aussi la forme particulière originale de l'argument de Frattini. En fait, si je ne me trompe, seule la forme générale est utilisée dans le chapitre Théorème de Gaschütz. Quand j'ai écrit (récemment) le chapitre Sous-groupe de Frattini, j'ai oublié que la forme particulière était démontrée dans le chapitre Théorème de Gaschütz (où elle ne sert pas) et j'ai de nouveau démontré ladite forme particulière. Tu as remarqué le doublon et tu as choisi de remplacer la démonstration donnée dans le chapitre Théorème de Gaschütz par un lien vers le chapitre Sous-groupe de Frattini. Je suis tout à fait d'accord pour éviter le doublon, mais puisque la forme particulière ne sert pas dans le chapitre Théorème de Gaschütz, ne pourrait-on pas, pour éviter une anticipation, s'abstenir d'en faire un théorème du chapitre Théorème de Gaschütz ? Dans le chapitre Théorème de Gaschütz, on pourrait peut-être dire brièvement que la forme originale du théorème de Frattini (qu'on ne préciserait pas) sera donnée dans le chapitre Sous-groupe de Frattini (encore que cette annonce puisse tout aussi bien être mise dans le chapitre Action de groupe). Si tu es d'accord, je peux me charger du travail. Marvoir (discuter) 1 décembre 2021 à 08:44 (UTC)

Oui bien sûr, fais-le ! Ce n'était même pas la peine de me consulter, et ça ne nécessite pas de mise à jour des liens que j'ai mis hier (dans les 2 sens) entre Wikiversité et Wikipédia. Anne Bauval (discuter) 1 décembre 2021 à 11:41 (UTC)