Discussion:Théorie des groupes/Exercices/Conjugaison, centralisateur, normalisateur

Problème 4 du chapitre Théorie des groupes/Conjugaison, centralisateur, normalisateur

Il s'agit de montrer que dans un groupe fini où les sous-groupes maximaux ont une intersection égale à 1, un au moins est normal dans le groupe. Dans la démonstration l'auteur montre très justement qu'un sous-groupe maximal M a son normalisateur égal à M et que donc le conjugué de M par tout g n'appartenant pas à M est différente de M  : M^g # M. Dans la suite de la démonstration il utilise un résultat établi dans le problème 2, mais ce résultat n'est valable que si l'intersection de M et de M^g est égale à 1.

Je ne vois pas pourquoi g n'appartenant pas à M maximal dans G et M^g # M impliquent que l'intersection de M^g et M est égale à 1.

Toute aide serait appréciée.

De Masson (discuter) 16 novembre 2023 à 14:21 (UTC)