qui m a posé probleme car on est a priori pas sur qu il existe,mais en fait c est bon.Un moyen de faire:"soit x0 pas dans Z,Z(x0) est commutatif,soit x dans Z(x0) de degré minimal sur Z".Ca aurait été mieux de le préciser,mais bon,ca marche en tout cassoit x dans K tel que si C est un sous corps strict du corps engendré par x alors C est inclus dans le centre Z de K.
soit X'(resp Y') l ensemble des element de X(resp Y) tel que a^-1X'a=X'(resp...)
X'=X inter Y inclu dans Y' et dans Z
jeancam a écrit:donc xy-yx appartient l intersection des ideaux maximaux qui est le radical de jacobson c est a dire l ensemble des a tel que 1-ax inversible.
ffpower a écrit:dsl de répondre tard..
-Pour le 1 er lemme,chui ok
-Pour le 2eme lemme chui ok.Ya juste le qui m a posé probleme car on est a priori pas sur qu il existe,mais en fait c est bon.Un moyen de faire:"soit x0 pas dans Z,Z(x0) est commutatif,soit x dans Z(x0) de degré minimal sur Z".Ca aurait été mieux de le préciser,mais bon,ca marche en tout cas
ffpower a écrit:Tu définis un ensemble par une propriété?ou alors tu voulais écrire:"soit X' l ensemble des element x' de X tel que a^-1x'a=x'?
Des précisions s imposent la lol
jeancam a écrit:X'=X inter Y inclu dans Y' et dans Z
jeancam a écrit:d apres le lemme 2 (et le 1 (car l ensemble maximal etc.. EST l ensemble des x de X tel que a^-1xa=x)
X' et Y' sont dans Z
il reste à voir X' inclus dans Y'
c est vrai car si x commute avec a alors x appartient à clairement Y
mais aussi à Y' puisque a^-kxa^k=x (toujours d apres le lemme 1, la bonne à tout faire)
j espere que c'est un peu plus clair...lol
ffpower a écrit:dsl,j ai pas encore pris le tps de relire ca en détail,mais je le ferai promis.En tout cas si RMS l a accepté,c est qu elle doit etre juste.Je voulais justement apres verification te suggerer de leur envoyer ta demo^^
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 7 invités
Tu pars déja ?
Identification
Pas encore inscrit ?
Ou identifiez-vous :