Discussion:Centralisateur

message: Le texte original étant un copier/coller de http://perso.club-internet.fr/mmathou/commutation.html, je l'ai reformulé. -- Grum 29 nov 2004 à 22:34 (CET)
thread_title:  Copier-coller 

message: La section "Propriétés" consiste en ces deux alinéas :
"Le centralisateur de S rend S central d'une certaine façon : s'il existe un sous-groupe H de G tel que S soit inclus dans le centre de H, alors H est inclus dans le centralisateur de S. Autrement dit, le centralisateur de S est le plus grand (au sens de l'inclusion) sous-groupe de G dont le centre contient S, à condition qu'un tel sous-groupe existe effectivement (c'est toujours le cas si S est un singleton). 
Dans le cas général, le centralisateur de S est un sous-groupe distingué du normalisateur de S. On peut donc considérer le groupe quotient N(S)/C(S), dont on montre si S est un groupe qu'il est isomorphe à Int(S), le groupe des automorphismes intérieurs de S."
Le premier alinéa me semble sans grand intérêt (je ne me souviens pas avoir lu quelque part cette explication du mot "centralisateur").
Le second alinéa me semble erroné : prendre pour G le groupe symétrique Sn et pour S le sous-groupe alterné An. Si n > 3, le centralisateur C(S) = C(An) de An dans Sn est réduit à la permutation identité. (Soit f un élément du centralisateur, soit a un élément de l'ensemble sur lequel opère Sn. Nous pouvons choisir dans cet ensemble des éléments b, c et d distincts de a et distincts entre eux. Alors f (a b c) f-1 = (a b c), d'où, en identifiant les supports, {f(a), f(b), f(c)} = {a, b, c}. De même, {f(b), f(c), f(d)} = {b, c, d}. La comparaison des deux résultats donne  f(a) = a, donc f est la permutation identité.) D'autre part, An est normal dans Sn, donc N(S) = N(An) = Sn. Ainsi, N(S)/C(S) est isomorphe à Sn et a donc strictement plus d'éléments que S = An. Il ne peut donc pas être isomorphe à Int(S), qui est un quotient de S = An.
Si quelqu'un est d'accord avec mes objections, on pourra peut-être s'entendre sur un remaniement (auquel je pourrais travailler dans la soirée). Marvoir (d) 31 janvier 2011 à 12:42 (CET)
replies: text: ok pour supprimer le 1er alinéa, et remplacer le 2ème par des résultats corrects, comme sur :en (j'avoue que je ne connais pas leur "N/C theorem", mais il ne dit peut-être rien de plus que ce qu'ils lui font dire là). Anne Bauval (d) 31 janvier 2011 à 19:16 (CET)
replies: text: Merci de la réponse. J'ai cité le lemme N/C dans l'article Groupe complet. Ce lemme dit que si H est un sous-groupe d'un groupe G, le centralisateur C de H dans G est sous-groupe distingué du normalisateur N de H dans G et que le quotient N/C peut être plongé dans Aut(H). (Voir Rotman 1999, p. 156.) Ce dernier fait est intéressant quand on connaît bien H et Aut(H) et qu'on s'interroge sur NG(H). Je travaillerai sans doute à l'article mercredi. Marvoir (d) 31 janvier 2011 à 20:40 (CET)
thread_title:  La section "Propriétés" 

message: Dans le résumé d'une modification de l'article Centralisateur, Anne Bauval signale qu'une partie de l'article fait double emploi avec les articles Commutant et Bicommutant et suggère de ne pas répéter ici la partie commune.
Tu as raison, Anne ! Dommage que quand j'ai travaillé à l'article Centralisateur, il ne contenait pas de lien vers Commutant et Bicommutant ... On pourrait maintenant se contenter de dire dans Centralisateur, au lieu de la section "Compléments", que le centralisateur est le commutant et qu'il possède donc telle et telle propriété du commutant. On pourrait carrément supprimer la section "Compléments". Qui le fait, toi ou moi ? (Je n'aime pas beaucoup faire grossir mon edit count grâce à une idée qui vient de quelqu'un d'autre...) Note : il serait bon de sourcer les articles Commutant et Bicommutant. On peut le faire en renvoyant à Bourbaki, Algèbre, ch. I, 1970, pp. 7-8. Marvoir (d) 5 février 2011 à 16:50 (CET)
thread_title:  Commutant et bicommutant