Répondre à la discussion
Affichage des résultats 1 à 6 sur 6

Modulo un polynôme



  1. #1
    Piroy

    Modulo un polynôme


    ------

    Bonsoir à tous !

    Je suis étudiant en informatique et je me retrouve ce semestre à étudier de l'arithmétique en même temps que des gens issus de maths ; en bref c'est la galère =D .

    Je ne vais pas vous demander de faire l'exo qu'on m'a donné à faire, je vais juste vous demander de m'illuminer sur deux trois choses que je n'arrive pas à comprendre.

    Tout d'abord, on m'a présenté les polynômes à coefficients dans un corps. Là, aucun problème, je vois bien le truc.
    Par contre, on a ensuite mis ça modulo un polynôme. Ca veut dire que chaque polynôme qui se factorise et qui possède le modulo en facteur se réduit en l'autre composante de sa factorisation, c'est bien ça ?

    Du coup, tous les polynômes de degré inférieur au polynôme du modulo sont irréductibles logiquement ?

    On m'a parlé rapidement du corps F9 (F3[X] modulo (X^2+1)) en cours. C'est là que commencent les problèmes : je bloque pour visualiser ses éléments. On m'a dit qu'il en a 9, et je pense que ce sont en fait les ax+b, a et b appartenant a Z/3Z, car leur degré est inférieur à celui du modulo et sont dont irréductibles. Est-ce juste ?

    J'ai le sentiment que c'est faut car je me rends compte que je n'ai pas tenu compte de la structure et des propriétés du corps (notamment l'existence des inverses) et que je pense qu'il doit même exister des polynômes à coefficients dans Z/3Z de degré supérieur à celui du polynôme mais ne le possédant pas comme facteur...


    Voilà, au final ça fait un petit pavé pas forcément bien structuré, j'en suis désolé, mais j'ai vraiment du mal à assimiler tout ça.
    Pourriez-vous me dire ce que j'ai juste et ce qui cloche là-dedans ?

    Quoi qu'il en soit je vous remercie pour m'avoir lu .

    -----

  2. Publicité
  3. 📣 Nouveau projet éditorial de Futura
    🔥🧠 Le Mag Futura est lancé, découvrez notre 1er magazine papier

    Une belle revue de plus de 200 pages et 4 dossiers scientifiques pour tout comprendre à la science qui fera le futur. Nous avons besoin de vous 🙏 pour nous aider à le lancer...

    👉 Je découvre le projet

    Quatre questions à explorer en 2022 :
    → Quels mystères nous cache encore la Lune 🌙 ?
    → Pourra-t-on bientôt tout guérir grâce aux gènes 👩‍⚕️?
    → Comment nourrir le monde sans le détruire 🌍 ?
    → L’intelligence artificielle peut-elle devenir vraiment intelligente 🤖 ?
  4. #2
    lapin savant

    Re : Modulo un polynôme

    Salut,
    vaste sujet pour le développer en un post, et surtout je préfère ne pas te souffler des bêtises !
    Voilà un document dans lequel tu trouveras ton bonheur : explications claires et exemples simples à comprendre (pour "visualiser"), mais néanmoins très sérieux.
    Images attachées Images attachées
    "Et pourtant, elle tourne...", Galilée.

  5. #3
    God's Breath

    Re : Modulo un polynôme

    Bonjour,

    Travailler modulo le polynôme , signifie que tu remplaces systématiquement par lorsque tu le rencontres en cours de calcul.

    Les nombres complexes sont des polynômes en à coefficients réels : est un nombre complexe. On calcule sur les nombres complexes modulo . Donc on remplace systématiquement par : , que l'on utilise plus généralement sous la forme , ce qui permet de simplifier = .

    Pour , c'est pareil, les éléments de sont polynômes à coefficients dans , mais avec la relation , soit et, comme dans le cas des nombres complexes, on peut toujours ramener l'élément d'un élément de à la forme .
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  6. #4
    Piroy

    Re : Modulo un polynôme

    Merci beaucoup à tous les deux pour vos réponses.

    @God's Breath : je n'avais pas du tout fait le rapprochement avec les nombres complexes, mais c'est vrai qu'aborder le modulo de cette manière aide beaucoup pour comprendre plus facilement.

    Du coup, F9 est bien composé des ax+b ; comme je suis dans Z/3Z ça me laisse 3 possibilités pour a et b donc F9 contient 9 éléments.

    Par contre j'ai un petit problème pour la suite, c'est que je prouve que le groupe des inversibles de F9 est un groupe cyclique à 8 éléments (les 9 sauf le 0 donc). Mais au moment de la recherche de ses générateurs certains éléments ont un ordre qui m'a l'air de grimper vers l'infini...

    Exemple de (x+1) :

    (x+1)^2=x²+2x+1=2x
    (x+1)^3=2x(x+1)=2x-2
    (x+1)^4=(2x)(2x)=-4
    ... (je continue sans tomber sur le neutre pour autant)
    (x+1)^8=(-4)(-4)=16

    Pourtant d'après Lagrange les éléments de F9* devraient tous avoir un ordre fini divisant l'ordre du groupe puisqu'il est cyclique, non ?
    Est-ce que j'ai mal fait quelques chose ? Pourtant, la seule chose que je fais est, comme l'a fait remarquer God's Breath, utiliser le modulo X²+1, c'est à dire remplacer les X² par des -1...


    Merci d'avance pour vos réponses !

  7. A voir en vidéo sur Futura
  8. #5
    God's Breath

    Re : Modulo un polynôme

    Citation Envoyé par Piroy Voir le message
    .Exemple de (x+1) :

    (x+1)^2=x²+2x+1=2x
    (x+1)^3=2x(x+1)=2x-2
    (x+1)^4=(2x)(2x)=-4
    ... (je continue sans tomber sur le neutre pour autant)
    Attention !! Les coefficients des polynômes ne sont pas des nombres réels, même pas des entiers, mais des éléments du corps , de caractéristique 3 ; tu as donc 3 = 0 !!!
    Par suite :







    et engendre le groupe multiplicatif d'ordre 8 , dont les autres générateurs sont donc , et .
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  9. #6
    Piroy

    Re : Modulo un polynôme

    Ah oui d'accord j'avais complètement oublié ça, merci du rappel !

    Je vais essayer de voir ce que ça donne et si j'ai un souci je repasserai.

    Merci beaucoup God's Breath !

  10. Publicité

Discussions similaires

  1. modulo
    Par belga dans le forum Mathématiques du supérieur
    Réponses: 4
    Dernier message: 06/03/2009, 00h22
  2. (4^x) Modulo y = (y+1)/2
    Par SPH dans le forum Mathématiques du supérieur
    Réponses: 19
    Dernier message: 09/04/2008, 16h27
  3. Réponses: 1
    Dernier message: 14/03/2008, 12h03
  4. polynome, m paramètre , différentes valeurs degré du polynome
    Par monkeydluffy dans le forum Mathématiques du collège et du lycée
    Réponses: 8
    Dernier message: 15/10/2007, 18h54
  5. modulo
    Par carl159 dans le forum Mathématiques du supérieur
    Réponses: 10
    Dernier message: 11/08/2006, 09h08