théorie de Galois
Répondre à la discussion
Page 1 sur 2 1 DernièreDernière
Affichage des résultats 1 à 30 sur 37

théorie de Galois



  1. #1
    invite387b90a8

    théorie de Galois


    ------

    Alors voilà mon premier message sur ce forum: c'est une série de questions sur la théorie de Galois que j'apprends avec le livre d'Ivan Gozard dont vous avez deviné le titre.
    1/ On sait qu'un corps de décomposition pour un polynôme P sur un corps K est une extension engendrée par les racines de P. Si à une telle extension je rajoute un élément extérieur, n'ai-je pas un nouveau corps de décomposition? (en quoi est il alors K-isomorphe au précédent?)
    2/ Soit K un corps et P un polynôme à coeffs dans K, non constant. On sait qu'il existe un corps de décomposition de P sur K, dont le degré sur K est inférieur ou égal à (deg P)!. Est-ce vrai pour tous les corps de décomposition? (Je sais qu'ils sont tous K-isomorphes). Y a t-il une cns pour que la valeur (deg P)! soit atteinte?
    3/ Là je m'adresse à ceux qui ont le bouquin de Gozard: page 61 théorème V.21: il fait une récurrence sur le degré n du corps de décomposition d'un polynôme P sur K, et un peu plus loin il numérote de 1 à n les racines de ce polynôme, ce qui sous-entend que le degré sur K du corps de décompo est le degré de P. N'y a -t-il pas une erreur?
    4/ Sur le degré sur K d'un corps de décomposition d'un polynôme de degré 3, supposé irréductible sur K: j'ai vu sur plusieurs pdf sur internet des démo de ceci:
    "en notant a,b,c les racines de P et d=(a-b)(b-c)(c-a):
    - si d² est un carré dans K, alors le degré du corps de décompo sur K est 3
    - sinon, le degré est 6"
    Dans les démos que j'ai vu, ils utilsent l'artillerie lourde de la théorie, alors j'ai cherché une version plus simple. Je vous passe les détails, j'ai démontré que "le" corps de décomposition est K(a,d).
    C'est la suite dont je suis moins sûr, alors je la soumet à votre analyse:
    On a [K(a,d):K] = [K(a)(d):K(a)].[K(a):K]
    = 3[K(a)(d):K(a)]
    (on sait aussi que d² est dans K car d² est symétrique en les racines, donc peut s'écrie uniquement à l'aide d'une expression rationnelle en les coeff).
    Maintenant:
    - ou bien d² est un carré dans K, auquel cas d est dans K donc dans K(a), d'où [K(a)(d):K(a)]= 1 est c'est fini.
    - ou bien d² n'est pas dans K, et alors d non plus (sinon son carré serait dans K). Mais d est de degré 2 sur K (polynome minimal X²-d²), donc de degré au plus 2 sur K(a). Mais ça ne peut pas être 1 sinon on aurait d dans
    K(a) ce qui donnerait K(d) inclus dans K(a). Ce qui autoriserait alors à écrire
    [K(a):K(d)]. [K(d):K] = [K(a):K] soit 2[K(a):K(d)] =3, ce qui est impossible.
    Donc d est de degré 2 sur K(a) et c'est fini.

    Merci d'avance, je sais que j'en demande beaucoup!

    -----

  2. #2
    invited73f5536

    Re : théorie de Galois

    Salut.

    Pour la 1), si tu ajoutes un élément extérieur, l'extension ne sera pas l'extension engendré par les racines de P, mais strictement plus grande. Ce n'est donc pas un corps de décomposition de P, juste une extension sur laquelle P est scindé. C'est pour avoir cette condition de minimalité qu'on exige que le corps de décomposition d'un polynôme soit engendré par les racines.

    Pour la 3), je n'ai pas ce livre, mais sur son corps de décomposition, un polynôme de degré n à n racines, comptées avec leur multiplicités, les n racines qu'il considère ne sont pas forcément distinctes.

  3. #3
    invite4ef352d8

    Re : théorie de Galois

    Pour la 2) non ce n'est pas toujours atteint. par exemple, si tu considere une extension L de K qui est galoisienne (ie qui est le corps de décomposition d'un certain polynome) et un polynome P minimal de L (ie telle que L=K[X]/(P) ) alors L est un corps de décomposition de P et deg L = deg P

    pour ce qui est une CNS pour que deg L = deg P ! c'est relativement compliqué. je t'en quelques une, mais il y a rien de miraculeux :
    Soit P un polynome de degrée n à coeficient dans K, L un corps de décomposition, et (x1,...xn) les racines de P dans une extension de K (qui contiens donc L)
    alors deg L = deg P! si et seulement si "pour tous polynome F en n variable à coeficent dans K, P(x1,...,xn) appartiens à K si et seulement si P est un polynome symétrique"


    deux autre beaucoup plus subtil (basé sur le théorème de Chebotarev) dans le cas ou P est un polynome à coefcient entier (meme notation que précedement) :
    a) deg L = deg P ! si est seulement si pour tous ecriture de n sous la forme n=n1+n2..+nk ou les ni sont des entier non nul, il existe un nombres premier u telle que la réduction de P dans Z/uZ, ce décompose en facteur premier de la facon suivante : P=P1...Pk avec deg Pi=ni
    b) meme chose en remplacant "il existe un nombre premier" par "il existe une infinité de nombres premier"
    c)deg L = deg P! si et seulement si il existe un nombre premier u telle que P est iréductible dans Z/uZ, et un autre nombres premier q telle que P ce réduit dans Z/qZ avec (n-2) facteur de degré 1 distincts et un facteur de degrée 2.

  4. #4
    invite4ef352d8

    Re : théorie de Galois

    Pour la 3) :

    "et un peu plus loin il numérote de 1 à n les racines de ce polynôme, ce qui sous-entend que le degré sur K du corps de décompo est le degré de P. N'y a -t-il pas une erreur?" >>>

    non il y a toujours n racines (enfin... en comptant plusieur fois les eventuellent racines multiples) le degrée de l'extension n'a rien à voir avec le nombre de racines : quand on dit que L est engendré par la racines, c'est comme anneau, pas comme espaces vectoriels : par exemple Q[i] est engendré par un seul element, mais est de degrée deux sur i.

  5. A voir en vidéo sur Futura
  6. #5
    invite4ef352d8

    Re : théorie de Galois

    et pour la 4) ca m'a l'air tous à fait correcte...

  7. #6
    invite387b90a8

    Re : théorie de Galois

    Merci pour vos réponses claires et instructives.

    Pour le truc bizarre dans mon bouquin, j'ai du mal me faire comprendre: l'auteur appelle n le degré du corps de décomposition sur le corps de base (degré d'une extension), puis plus loin il dit que c'est le même que celui du polynôme puisqu'il numérote les racines de 1 à n. Ne devrait il pas choisir une autre lettre que n? Je sais, je pinaille , mais vous le savez mieux que moi, il n'y a pas de détail en mathématiques.

    Au fait, bravo pour votre maitrise du sujet!

    Si vous pouviez prendre le temps d'examiner ma démo aussi, ce serait génial. Merci de rester sur ce topic, j'ai d'autres questions en réserve.

  8. #7
    invite4ef352d8

    Re : théorie de Galois

    oui, c'est un problème ca doit etre une inatention de l'auteur...

    pour ta démonstration, je l'ai lu et je n'y vois pas de problème. normalement, le point difficile est plutot de montrer que L=K[a,d].

  9. #8
    invitecbade190

    Re : théorie de Galois

    Bonsoir,

    Je me permets de poster une question qui me taraude depuis quelques instants, mais qui ne demande pas d'ouvrir un nouveau fil vu sa simplicité je crois :

    Une sous extension d'une extension ( algébrique ) est normale si son groupe de Galois correspondant par la correspondance de Galois est normal.
    Qu'en est -t-il d'une sous extension séparable ? En d'autres termes : Quel impact a la séparabilité de la sous extension par rapport au sous groupe de Galois correspondant ?

    Merci d'avance.

  10. #9
    inviteded0667c

    Re : théorie de Galois

    Si le sous-groupe est normal alors l'extension est séparable et normale dans la correspondance.

  11. #10
    invitecbade190

    Re : théorie de Galois

    Merci pour votre réponse si rapide.
    En fait, je sais que pour parler d'un sous groupe de Galois, il faut que la sous extension qui lui correspond par la correspondance Galois, soit Galoisienne ( i.e : séparable et normale ), mais si on allège un peu les conditions : Si on supprime la condition que la sous extension soit normale mais, reste séparable, comment se comporte le groupe de Galois correspondant, c'est à dire, est ce qu'il est normal ou quoi exactement, résoluble, unipotent, nilpotent ... ?
    Merci d'avance.

  12. #11
    inviteded0667c

    Re : théorie de Galois

    Toute sous extension d'une extension séparable est séparable. Donc par la correspondance, à tout sous groupe correspond une extension séparable.

  13. #12
    invitecbade190

    Re : théorie de Galois

    Ah d'accord, merci.
    Une autre question qui peut s’avérer être triviale :
    Est ce qu'une extension d'un corps peut avoir un spectre non trivial ?
    Merci d'avance.

  14. #13
    invitecbade190

    Re : théorie de Galois

    D'accord, souvent une extension est muni d'une structure de -algèbre, c'est pourquoi : n'est pas trivial normalement. Je suis souvent lent dans l'apprentissage.

  15. #14
    invite47ecce17

    Re : théorie de Galois

    C'est quoi un spectre trivial? Réduit à un point?

  16. #15
    invitecbade190

    Re : théorie de Galois

    Oui MiPaMa.

  17. #16
    invite47ecce17

    Re : théorie de Galois

    Le spectre d'un corps est toujours réduit à un unique point. L'ideal nul.

  18. #17
    invitecbade190

    Re : théorie de Galois

    Oui, mais dans le cas d'une "extension" de corps, c'est différent il me semble, parce que une extension de corps peut être muni d'une structure de -algèbre, donc, contient des idéaux non triviaux, non ?

  19. #18
    invite47ecce17

    Re : théorie de Galois

    Non.

  20. #19
    invitecbade190

    Re : théorie de Galois

    Tu expliques un petit peu plus stp, parce que ici : http://math.stackexchange.com/questi...ale-cohomology , on parle de qui ne doit pas être trivial, sinon, ça devient insipide.

  21. #20
    invite47ecce17

    Re : théorie de Galois

    Y a rien a expliquer, un corps n'a que deux ideaux, tous les deux triviaux, et un seul des deux est premier.

  22. #21
    invitecbade190

    Re : théorie de Galois

    Mais ici ce n'est pas des corps qu'on parle, on parle des extensions de corps qui sont des espaces vectoriels sur le corps de base , donc, ils qui contiennent des sous espaces vectoriels qui sont donc des sous modules, et on sait qu'il y'a plein d’idéaux qu'on peut munir de structures de sous modules. Tu n'es pas d'accord ? Explique un peu plus où se trouve l'erreur dans ce que je dis.

  23. #22
    invite47ecce17

    Re : théorie de Galois

    Une extension de corps L/k, c'est deux corps, k et L, plus un morphisme k->L

  24. #23
    invitecbade190

    Re : théorie de Galois

    Citation Envoyé par MiPaMa Voir le message
    Une extension de corps L/k, c'est deux corps, k et L, plus un morphisme k->L
    Voilà. Et qu'est ce que ça veut dire qu'on a un morphisme : . ça veut dire que est une - algèbre. En théorie des schémas, on ne cesse pas de voir des trucs du genre : avec : une - algèbre de type fini.

  25. #24
    invite47ecce17

    Re : théorie de Galois

    Et? Le fait que L soit une k-algèbre change ses ideaux premiers?

  26. #25
    invitecbade190

    Re : théorie de Galois

    Citation Envoyé par MiPaMa Voir le message
    Et? Le fait que L soit une k-algèbre change ses ideaux premiers?
    Non, cela nous amène à conclure que le spectre de n'est pas trivial généralement.

  27. #26
    invite47ecce17

    Re : théorie de Galois

    Le spectre d'un corps est toujours trivial.

  28. #27
    invitecbade190

    Re : théorie de Galois

    Tu as vu le lien que je t'ai mis en haut ? Tu l'as lu ? Est ce que l'auteur suppose que est trivial ?

  29. #28
    invite47ecce17

    Re : théorie de Galois

    J'ai pas besoin d'aller voir un lien pour savoir qu'un corps, quel qu'il soit, qu'il soit muni d'une structure de k-algèbre ou pas, n'a qu'un seul ideal premier. La démonstration se fait en 5 secondes de tete.

  30. #29
    invitecbade190

    Re : théorie de Galois

    Oui, je sais, parce que ton but dans cette discussion n'est pas que je finis par comprendre ...

  31. #30
    invite47ecce17

    Re : théorie de Galois

    Je viens de lire le lien, et cette phrase devrait te mettre la puce à l'oreille quant au sujet de notre discussion
    In particular, for X=Spec(k), we see that H1((Spec(k)e´t,GLn)=0 since there are no non-trivial vector bundles on a literal point!
    In particular, we see that H1((Spec(k))e´t,Gm)=0 since there are no non-trivial line bundles on a point.
    Au passage, merci pour le fou-rire. Ta réponse
    Thank you SIr. Your answear is extremely clear.
    ne manque pas de sel au vu de cette discussion (non pas que la réponse donnée ne soit pas claire).

Page 1 sur 2 1 DernièreDernière

Discussions similaires

  1. Théorie de Galois et compagnie
    Par invitefb392423 dans le forum Mathématiques du supérieur
    Réponses: 48
    Dernier message: 29/05/2008, 08h21
  2. Evariste GALOIS
    Par invitec255c052 dans le forum Mathématiques du supérieur
    Réponses: 8
    Dernier message: 24/05/2008, 16h32
  3. Groupe de Galois
    Par invite97a92052 dans le forum Mathématiques du supérieur
    Réponses: 5
    Dernier message: 22/06/2007, 20h06
  4. Théorie de Galois
    Par invite97a92052 dans le forum Mathématiques du supérieur
    Réponses: 5
    Dernier message: 15/01/2007, 19h33
  5. Evariste Galois
    Par invite0c0b3272 dans le forum Lectures scientifiques
    Réponses: 3
    Dernier message: 03/06/2006, 11h50