Bonjour à tous,

J'ai trouvé dans un cours d'algèbre une démonstration du théorème de Frobenius suivant :

Soit G un groupe fini. Soit H un sous-groupe de G tel que pour tout , . Notons et . Alors N est un sous-groupe distingué de G.

La démonstration de ce résultat est plutôt longue et il n'est absolument pas utilisé dans la suite par l'auteur. Donc en l'état je ne vois pas vraiment son utilité.

Par conséquent, j'aimerais savoir si vous avez déjà utilisé ce résultat et dans quel contexte.

Merci d'avance,
Seirios