Les groupes de Galois, révolution mathématique ( avec démonstration ) - Passe-science #31

Поделиться
HTML-код
  • Опубликовано: 29 сен 2024
  • Regardons ensemble l'une des plus grandes revolutions de l'histoire de mathématiques: la theorie des groupes introduites par Galois en 1830.
    Pour en savoir plus:
    El jj sur le lemme de Burnside: eljjdx.canalblo...
    Playlist(maintenant intégrale en une video) en français: • Vers la théorie de Gal...
    Playlist en anglais: • Visual Group Theory
    Sources diverses:
    en.wikipedia.o...
    en.wikipedia.o...
    en.wikipedia.o...
    en.wikipedia.o...
    en.wikipedia.o...
    Toolbox:
    Rubiks cube simulator:
    ruwix.com/onli...
    Retrouvez Passe-science sur Tipeee, Twitter et Facebook:
    www.tipeee.com...
    / thomascabaret84
    / passescience.youtube
    Musique:
    www.musicscree...
    Amphibonic lounge: www.jamendo.co...
    RUclips Audio Library "Clean Break" - Density & Time
    RUclips Audio Library "Two of us" - SaidBySed
    RUclips Audio Library "Flutey Funk" - Kevin Macleod incompetech.co...
    RUclips Audio Library "Groove Grove" - Kevin Macleod (Kerbal space program)

Комментарии • 293

  • @PasseScience
    @PasseScience  4 года назад +17

    Questions? Si vous en avez n’hésitez pas à utiliser un commentaire avec "question" + le timing dans la video qui vous fait vous interroger (PAS en réponse de ce commentaire mais dans un nouveau commentaire). Comme cela tout le monde profitera des réponses en parcourant les commentaires. :)

    • @laurentgarnier8738
      @laurentgarnier8738 4 года назад +2

      Excellente vidéo ! J'aurais aimé la voir il y a 13 ans en cours sur la théorie des groupes de Galois.
      Je me demandais quels logiciels tu utilises pour faire tes animations ?

    • @patheba4394
      @patheba4394 4 года назад +2

      Une autre vidéo sur la théorie de Galois s'il vous plaît.

    • @gilleschanvin689
      @gilleschanvin689 3 года назад +1

      J'ai vu ça à la fac. Il y a longtemps. Enfin je commence à y voir plus clair. Merci merci. Peut-être vais je approfondir.
      Encore merci.
      Chapeau bas.

    • @mackaaron9842
      @mackaaron9842 3 года назад

      You all prolly dont give a shit but does someone know a tool to log back into an Instagram account..?
      I stupidly forgot the password. I would love any assistance you can offer me!

    • @garyira6857
      @garyira6857 3 года назад +1

      @Mack Aaron instablaster ;)

  • @antoinebrgt
    @antoinebrgt 4 года назад +64

    C'est de la vulgarisation de très haut vol ! On comprend bien le principe sans se perdre dans les détails, bravo !

    • @PasseScience
      @PasseScience  Год назад +2

      Hehe, for this one there are eng subs in case of doubt :) If I managed to explain Galois fundamental theorem in 20 minutes only visually that's quite an unlocked achievement :)

  • @godefroidelaguinguette7554
    @godefroidelaguinguette7554 4 года назад +5

    question 20:58 tu peux expliciter comment on fait avec l'équation x^5 - 3x + 1 pour avoir un exemple plus concret ?

    • @QuadriviuumTremens
      @QuadriviuumTremens 4 года назад +9

      Premièrement, il faut noter que ce polynome est irréductible (ce qui peut se montrer par l'absurde) et qu'il possède trois racine réelles (calculer f(-2), f(à) et f(1) et conclure avec le TVI). Il y a 5 racines, donc le groupe de Galois (celui qui permute les racines) est un sous-groupe du groupe de permutations de 5 éléments. Comme le polynome est irréductible, l'image de n'importe quelle racine peut être n'importe quelle racine, et on dit alors que l'orbite de chaque racine est l'ensemble des 5 racines. Une conséquence de ceci est que le nombre d'éléments du groupe est divisible par 5 et donc qu'il contient un élément d'ordre 5 (une transformation qui, répétée 5 fois, revient au point de départ).
      De plus, vu qu'il y a deux racines complexes conjugués, alors il y a aussi une transposition (l'échange des ces deux racines) dans le groupe des permutations. Or, tout sous-groupe du groupe de permutations de 5 éléments contenant une transformation d'ordre 5 et une transposition contient toutes les transpositions de 5 éléments, groupe que l'on appelle S5.
      Du coup, le groupe associé à cette équation est S5, qui ne contient pas de "bon chemin".

    • @godefroidelaguinguette7554
      @godefroidelaguinguette7554 4 года назад +3

      @@QuadriviuumTremens Alors ça m'interesse énormément mais je suis en 3e, tu peux mettre des liens pour que je puisse un peu mieux comprendre ce que tu dis ?

    • @QuadriviuumTremens
      @QuadriviuumTremens 4 года назад +1

      @@godefroidelaguinguette7554 Est ce que tu comprends bien l'anglais ?

    • @godefroidelaguinguette7554
      @godefroidelaguinguette7554 4 года назад +1

      @@QuadriviuumTremens oui

    • @PasseScience
      @PasseScience  4 года назад +2

      @@godefroidelaguinguette7554 Je rajoute que sur le wiki fr ici fr.wikipedia.org/wiki/Groupe_de_Galois
      tu peux cliquer sur "Détails de l'exemple X5 - 3X - 1" dans la page. Tout ne sera pas clair mais ca te donnera un point de depart.

  • @zeed54
    @zeed54 Год назад +1

    Tres sympa

  • @AtheosAtheos
    @AtheosAtheos 4 года назад +47

    Comme disait Provençal le Gaulois, c'est pas faux.

    • @AtheosAtheos
      @AtheosAtheos 4 года назад +8

      @Valchap Ils ont pas de bol, quand même ! Mettre au point un truc pareil et tomber sur des cerveaux comme nous !

    • @vinuxcyldrik
      @vinuxcyldrik 4 года назад +4

      @@AtheosAtheos De toute façon, ce qui compte, c'est les valeurs.

    • @unviewerlambda7100
      @unviewerlambda7100 2 года назад +2

      Tempora mori, tempora mundis recorda. Voilà. Et bien ça, par exemple, ça veut absolument rien dire, mais l’effet reste le même

  • @Jayson.J
    @Jayson.J Год назад +2

    Bonjour, vidéo très intéressante
    J'aurais une question un peu en dehors de ce sujet pour ma part
    Ma question est la suivante : "est il possible de résoudre un Rubik's Cube en faisant des mouvements au hasard ?"
    Le problème c'est que je n'ai pas de réponse à cette question
    Je sais que le nombre de combinaisons est d'environ 43 milliards de milliards, il y aurait donc 1 chance sur 43 milliards de milliards de résoudre un Rubik's cube par le hasard, or quand on fait une succession de mouvement on peut retomber plusieurs fois sur une même combinaison, donc les chances de reconstituer les Rubik's Cube en faisant des mouvements au hasard sont infimes, on pourrait dire qu'elles sont nulles
    J'aurais donc voulu savoir si vous aviez une réponse à cette question et sinon si vous aviez des théorèmes ou d'autres explications mathématiques qui pourraient expliquer ce raisonnement 😊
    Merci par avance

  • @Moinsdeuxcat
    @Moinsdeuxcat 3 года назад +5

    1:37 Non. Le théorème d'Abel est, une fois n'est pas coutume, dû à Abel. Galois a trouvé une autre preuve s'inscrivant dans un formalisme plus général, certes, mais la question était déjà close (il est amusant de lire l'article original d'Abel ! Certaines idées comme la permutation des racines sont déjà présentes)

    • @PasseScience
      @PasseScience  3 года назад +3

      Oui j'ai ajouté le mot "satisfaisante" :) j'ai pas dit le premier à donner une réponse, mais le premier à donner une réponse satisfaisante :P (avec tout le floue subjectif que ca implique sur ce que chacun considère ou non satisfaisant) justement pour me protéger contre cette remarque sur le théorème d'Abel :) mais oui j'avoue que cette pirouette c'est aussi pour vendre la star de l’épisode, car l’épisode est sur les groupes de Galois.

  • @j9dz2sf
    @j9dz2sf 3 года назад +4

    La play list "mathweb" (en français) semble ne plus exister. Le lien ne fonctionne pas et je ne l'ai pas retrouvée par la recherche.

    • @fabienleguen
      @fabienleguen 3 года назад +1

      J’ai fait le même constat malheureusement :-(. Un site web existe encore : www.mathweb.fr/ avec des vidéos disponibles mais la playlist sur la théorie de Galois n’y est pas :-/.

    • @PasseScience
      @PasseScience  2 года назад +2

      @@fabienleguen et @roglo, il a remis l’intégrale en ligne ici: ruclips.net/video/IpAr2besf3A/видео.html

  • @blarze16
    @blarze16 Год назад +2

    OUF, entendre que le discriminant est vue au collège alors que maintenant c'est le premier chapitre de 1er en spé math, ça fait mal... faut croire que le niveau exigé en math est clairement beaucoup plus faible qu'avant.
    PS: je suis en terminal (ou fin de terminal vue qu'on est en juin)

  • @abinadvd
    @abinadvd 2 года назад +2

    Un truc est sur , tout le monde n'est pas Galois.
    Il a envoyé une enclume sur le monde des mathématiques, c'est évident.
    J'ai pas tout compris en qq minutes. Par contre l'idée les corps "ressemblent" aux groupes , laisse tomber.
    On a du bol que ce Monsieur n'aie pas connu les 2 notions qui ont été généralisées par la suite.
    Jamais il ne l'aurait trouvé les regardant comme 2 notions "distinctes".
    Pis bordel , je savais pas que le rubik's cube était associatif ! Ici ca rigole pas.

  • @linedup28
    @linedup28 4 года назад +3

    Question à 17:40 : si j'ai bien compris un bon chemin est ce qui permet à partir d'un rationnel en appliquant les opérations d'obtenir la racine du polynôme. Mais je ne comprends pas quelle est alors la signification de bon chemin dans la version s'appliquant au corps des symétries. Quelqu'un pourrait-il m'expliquer s'il vous plaît ?

    • @PasseScience
      @PasseScience  4 года назад +1

      Hello, c'est normal que tu ne le comprenne pas, ce n'est volontairement pas detaillé. Dans la video ce que je veux dire c'est "admettez que c'est le cas qu'il y a une propriete homologue aux bon chemin coté corps mais coté groupe". Ce choix de ne pas détailler ce point est volontaire biensur (comme beaucoup d'autres points ou étapes passé sous silence) Si tu veux qq details technique: dans la chaine de groupe la propriete qu'on veut c'est que chaque sous groupe de la chaine (sous groupe du groupe qui le suit dans la chaine) soit des sous group normaux. Definition ici: en.wikipedia.org/wiki/Normal_subgroup
      Ca c'est ce qu'on cherche à démontrer lorsqu'on veut utiliser la machine de Galois sur un polynome donné, mais biensur dans les travaux de Galois il a falut à la base demontrer que la propriete cote corps de bon chemin se traduit par celle ci cote groupe, et pour cela il faudrait rentrer d'avantage dans les details :)

  • @skhuksle
    @skhuksle 4 года назад +19

    Moi, algébriste, lisant le titre : waouh, chapeau de tenter de vulgariser un tel sujet.

  • @jean-baptiste6479
    @jean-baptiste6479 3 года назад +2

    Et a l'époque de Galois, le Rubik's cube n'existait pas non plus, comment est ce qu'il visualisait sa découverte?

  • @R_V_
    @R_V_ 4 года назад +7

    Vidéo très satisfaisante, mais j'ai l'impression qu'il manque une toute petite brique, à savoir comment on prouve qu'il n'existe pas de "bon chemin" pour telle ou telle équation. Peut-être en vidéo bonus, si ça ne rentre pas dans l'espace d'un commentaire ?

    • @loicp07
      @loicp07 4 года назад

      j'ai eu la même réflexion, je sais pas si c'est moi qui n'ai pas compris qqchose ou s'il manque réellement qqchose

    • @PasseScience
      @PasseScience  4 года назад +2

      Hello, oui le point n'est pas détaillé volontairement! (comme beaucoup d'autres points ou étapes) Dans la chaine de groupe la propriete qu'on veut c'est que chaque sous groupe de la chaine (sous groupe du groupe qui le suit dans la chaine) soit des sous group normaux. Definition ici: en.wikipedia.org/wiki/Normal_subgroup
      Ca c'est ce qu'on cherche a demontrer lorsqu'on veut utiliser la machine de Galois sur un polynome donné, mais biensur dans les travaux de Galois il a falut à la base demontrer que la propriete cote corps se traduit par celle ci cote groupe.

    • @patheba4394
      @patheba4394 4 года назад +1

      Une autre vidéo de vulgarisation serait la bienvenue

    • @DanielFrance81
      @DanielFrance81 3 года назад +1

      @@PasseScience Heu... Super vidéo, mais là je dois corriger ce commentaire ! La condition, c'est que le groupe doit être résoluble (fr.wikipedia.org/wiki/Groupe_r%C3%A9soluble). Donc on veut un chemin où, en effet, chaque sous-groupe est normal dans le suivant (ça existe toujours), mais surtout on veut qu'à chaque étape le quotient soit un groupe commutatif. On peut l'expliquer autrement. Le grand théorème dans il est question à la fin de la vidéo, c'est la classification des groupes finis simples (fr.wikipedia.org/wiki/Classification_des_groupes_simples_finis), qui sont en quelque sorte les constituants élémentaires des groupes finis : il y a toujours des chemins où chaque sous-groupe est normal dans le suivant, et où chaque quotient est simple ; de plus s'il y a plusieurs tels chemins, la collection de groupes simples obtenus sera la même, avec les mêmes multiplicités, mais si l'ordre peut être différent (théorème de Jordan-Hölder). Les groupes finis simples abéliens sont faciles à classifier : ce sont les groupes cycliques d'ordre p avec p premier. Les groupes finis simples non abéliens sont les groupes alternés A_n avec n >=5, les groupes finis de type de Lie, et 26 groupes sporadiques. Un groupe fini résoluble est un groupe fini dont tous les constituants simples sont cycliques d'ordre p. Nous aurons besoins de savoir ce qu'est le groupe alterné. Déjà, le groupe symétrique S_n, c'est le groupe de toutes les permutations de {1,2,...n}, il y en a n! = 1x2x3x...xn. Le groupe alterné A_n est constitué des permutations paires, i.e. qui s'obtiennent comme composition d'un nombre pair de transpositions (une transposition échange deux éléments et laisse les autres invariants) ; il y en a n! / 2. Le sous-groupe A_n est normal dans S_n. Prenons maintenant un polynôme P irréductible de degré n, à coefficients rationnels. Le groupe de Galois est un sous-groupe de S_n (il permute les n racines), pour P "générique" il est égal à S_n. La question est donc de savoir si S_n est résoluble. C'est le cas si et seulement si n = 5, et est donc un constituant simple non abélien de S_n pour n >= 5. Ce point-là n'est pas très difficile à montrer. En tout cas merci pour ce travail de vulgarisation, j'aimerais tellement que tout le monde en entende parler au lycée !

    • @Faxbable
      @Faxbable 3 года назад

      Vidéo brillante à tout niveau, magnifique ! Après je dois avouer que je suis un peu choqué que (dans un souci de ne pas trop compliquer les choses j'imagine), ne soient retenues dans les fameuse opérations élémentaires que +, -, x, /, et racine carrée. Ce qui ou sous-entendrait que ne sont concernées et suffisantes que ces opérations lorsque la détermination exacte des racines d'un polynôme est possible (en particulier les polynômes de degré 4 ou inférieur) : que dire de racine cubique de 2 ? N'y avait-il pas moyen de vulgariser sans trop compliquer l'ensemble des nombres définis par radicaux, les racines énièmes ne sont-elles considérées comme si atroces ;)

  • @jeromedieudonne6004
    @jeromedieudonne6004 4 года назад +4

    Attaquer la théorie de Galois sur RUclips, il fallait oser. Passe-Science l'a fait. Mille merci.

  • @remigaborit2486
    @remigaborit2486 Месяц назад +1

    question (05:19) Il me semble quand dans l'image du bas, qu'il c'est glissé une erreur : il est écrit 3 fois D; Il me semble qu'il aurait fallu écrire : 3 fois D' (Avec la flèche dans l'autre sens : Anti-horaire ou géométrique) ? P.S: Merci, pour vôtre excellent travaille 😄

  • @rizgoureux2743
    @rizgoureux2743 4 года назад +6

    Commentaire de référencement parce que ça parle de Rubik's Cube !

  • @guillaumelimousin7988
    @guillaumelimousin7988 4 года назад +2

    Mince. Je rêvais de comprendre enfin cela. Et... j'ai toujours pas compris. Bouh ouh. Je vois toujours pas le rapport (cf. par exemple ce qui devrait pourtant être l'aboutissement, à 23minutes10)

    • @PasseScience
      @PasseScience  4 года назад

      Reprend la video à partir de 10:18 pour la demo, arrête toi au premier point pas clair, et pose une question en indiquant le timing (c'est mieux si tu le fais dans un nouveau commentaire et pas en reply de cette conversation, comme ca tout le monde peut en profiter et surtout je reçois une notif alors qu'en réponse pas toujours).

    • @guillaumelimousin7988
      @guillaumelimousin7988 4 года назад

      @@PasseScience A mon avis c'est à 15min23 et ensuite, que je n'arrive pas à faire le lien. Ca reste un "os" pour moi. Je vois très bien ce qu'est un corps au sens des nombres, les liens entre eux. Mais je ne vois pas le lien avec les groupes de symétrie d'objets géométriques.

    • @PasseScience
      @PasseScience  4 года назад

      ​@@guillaumelimousin7988 Hello alors au moment que tu indiques je ne dis pas que ça a un lien avec le groupes de symétries d'un objet quelconque; je dis que ça a un lien avec le groupe de symétrie de CET objet la: le corps des racines. Un corps c'est un objet comme un autre, un ensemble de points, il présente des symétries, et on s’intéresse au groupe des symétries de cet objet la; les symétries du corps des racines du polynôme qu'on est en train d’étudier, pas d'autre chose. Apres c'est peut être le sens du mot symétrie que tu ne saisis pas en ce qui concerne un corps; donc je peux détailler ce point, mais avant de détailler ce point il faut que ça soit clair qu'on parle d'un groupe composé de transformation de ce corps des racine du polynôme qu'on regarde.
      Donc sur la notion de symétrie pour un corps, en fait ce qu'on désire c'est que les transformations qu'on fait subir à notre corps, elles envoient chaque point du corps sur un autre point du corps et qu'elles préservent les relations algébriques, c'est à dire que si dans le corps initial tu as par exemple les nombres a b et c tel que a + b = c on veut que les transformation "t" qu'on considère garantissent que t(a)+t(b)=t(c) et si on a a*b=c on veut que t(a)*t(b)=t(c), etc... En résume toutes les relations algébriques que pourraient entretenir un sous ensemble de points de notre corps; on souhaite qu'elles soient préservées dans l'image du corps par chacune des transformations qu'on considère. C'est en ce sens qu'un corps présente des symétries: dans les transformations qu'il peut subir et qui envoient chaque point sur un autre de lui même en préservant les relations, on parle d'automorphismes du corps. Et l'ensemble des automorphismes du corps des racines du polynôme qu'on considère forme un groupe. NB: l'exemple que je donne respecte la structure d'un vrai groupe d'automorphisme, il y a un nombre fini d’éléments. Et ce groupe de la vidéo, qui se nomme S3 (le groupe des permutations de 3 éléments ou des symétries du triangle) est le même groupe que celui des automorphismes du corps des racines de certains polynômes de degré 3.

    • @guillaumelimousin7988
      @guillaumelimousin7988 4 года назад +1

      @@PasseScience Ah OK. Déjà, j'avais pas compris que c'est pour ce seul polynome. Donc en fait, quand on dit "ça marche pas à partir du degré 5", c'est simplement que "ça marche pas toujours". C'est ça ? en tous cas c'est super de tomber sur un youtuber qui, en plus, répond si vite aux questions

    • @PasseScience
      @PasseScience  4 года назад

      @@guillaumelimousin7988 oui c'est ça, à partir du degrés 5 pour certains polynômes, on peut démontrer (avec ce processus) qu'on ne peut pas formuler au moins une de leur solutions numériques (formule avec des chiffres puisque le polynôme est ici donné) avec les opérations usuelles. Et que du coup ça implique que si on considère la famille des polynômes de degrés 5 (donc donné maintenant avec des coefficients littéraux) on ne puisse pas trouver de formule littérale générique pour ce degré la.

  • @WahranRai
    @WahranRai 2 года назад +2

    On pourrait l'appeler Evariste le Gaulois !

  • @quc8363
    @quc8363 2 года назад +4

    Bonjour,
    Je laisse très rarement des commentaires sur RUclips, mais vu la qualité du contenu que tu proposes, je me sens réellement en gratitude envers toi ! Merci, continue comme ça, ta chaîne est tout bonnement excellente ! :) Amicalement

  • @saltydemon7107
    @saltydemon7107 5 месяцев назад +2

    Une pépite: ça fait bientôt une semaine non stop que je cherche à comprendre une, à la fois mathématiquement et intuitivement, toutes les notions qui touche à la théorie de Galois et aux racines quintiques, cette vidéo est tellement bien faite que l'on peut retrouver le lien entre les idées 'vulgarisées', et leur format mathématiques brute (typiquement, j'adore la manière dont la vidéo parle de la stabilité d'un corps et de cette idée d'engendrement de corps par un ensemble, et aussi de la manière dont sont représenté les extension de corps et le fait qu'elles impliquent d'admettre toutes les composition de racine de 2 par les loi interne pour rester stable!!)
    j'adore cette théorie, et encore plus grâce à cette vidéo, Merci Passe-Science d'avoir été aussi doué!!

  • @kalgon57
    @kalgon57 Год назад +1

    Dommage qu'il soit mort si jeune, qui sait ce qu'il aurait pu encore découvrir (que nous n'avons toujours pas découvert aujourd'hui peut-être même)

  • @dexter9313
    @dexter9313 4 года назад +23

    Développer l'un des cadres mathématiques les plus prolifiques à 18 ans... Y'a pas à dire, s'il avait vécu plus longtemps on vivrait dans un autre monde.

    • @patrickhorlaville
      @patrickhorlaville 4 года назад

      c'est tout de même fascinant. il y a quelques années je me demandais si ce que l'on appelle parfois le « talent » existe réellement. il faut croire que certains sont dotés d'une intuition beaucoup plus forte que les autres. se dire que des merveilles se produisent (sans effort)*, c'est profondément élégant.

    • @slals
      @slals 4 года назад +3

      @@patrickhorlaville En disant ça, tu présupposes que cette intuition est causale de sa seule personne... Il a vécu pour sortir cette théorie, il a échangé avec des gens, il a étudié des notions déjà élaborées, etc. Et surtout, le problème lui a été posé, que ce soit lui qui l'ait posé ou quelqu'un d'autre, ce problème posé lui a été extérieur. C'est l'ensemble de toutes ces choses, plus son intuition propre effectivement, qui ont amené à produire une théorie pertinente. Je pense pas qu'on puisse parler d'intuition plus forte quand les facteurs environnants sont multiples .

  • @lmz-dev
    @lmz-dev 4 года назад +5

    C'est pas très Galois 3:53 de multiplier un xscale par -1 ;p

  • @pauselab5569
    @pauselab5569 Год назад +1

    les deux autres propriete qui definissent un ensemble est
    1. element neutre. quand appliquer, elle ne change pas la valeur
    2. existence d'un inverse quand appliquer, s'anulle avec le input et devient l'element neutre

  • @fractalphilosophorum9405
    @fractalphilosophorum9405 4 года назад +2

    Maintenant que j'y penses, est-ce le fait que certains polynômes ne possèdent pas de formule en + - * ÷ et racine-nième pour trouver leurs points d'annulation implique qu'il n'est pas possible de trouver des solutions analytiques aux équations différentielles dont les polynômes caractéristiques répondent aux mêmes critères que les polynômes ci-dessus ?

    • @PasseScience
      @PasseScience  4 года назад +1

      Hello, hum je ne sais pas mais je ne suis pas sur d'avoir saisi la question

    • @fractalphilosophorum9405
      @fractalphilosophorum9405 4 года назад +1

      Hello, merci pour votre réponse ^^
      J'ai appris à résoudre ainsi les équations différentielles (ED), en particulier celles de la forme :
      f ' ' + af ' + bf = 0 avec a et b deux réels
      En gros, on peut réécrire l'équation ainsi:
      [ d² + ad + b ] (f) = 0 avec d l'opération de dérivation, donc on applique cet opérateur à f.
      C'est ce qu'on appelle le polynôme caractéristique d'une ED. Alors on peut trouver les racines du polynôme, disons r et s, et le factoriser ainsi :
      [d-r][d-s](f) = 0
      Ce qui nous donne 2 ED simples à résoudre :
      f ' =sf et f ' = rf
      Maintenant si j'ai une ED de la forme suivante :
      f ' ' ' ' ' - 3f ' + f =0
      Son polynôme associé est:
      d^5 - 3d +1 = 0
      qui est le polynôme que vous présentez à 20:53 , comme il n'est pas possible de trouver ses racines à l'aide de + - * / et racine-nieme, alors la méthode que j'ai décrit pour trouver les solutions d'une ED n'est plus applicable.
      A moins qu'il n'y ait d'autres méthodes pour trouver les solutions d'une ED.
      Et donc en supposant qu'il n'y ait pas d'autres méthodes, ce qu'a démontré Galois implique l'impossibilité d'avoir des solutions analytiques pour certaines ED.
      Après je ne connais pas grand chose aux ED, c'était une simple question de curiosité ^^

    • @bazounet32
      @bazounet32 4 года назад

      Effectivement, dis comme ça, si l'équation caractéristique n'a pas de solution que l'on peut écrire de manière "conventionelle", il doit en être de même pour la fonction solution de l'équation différentielle associée.

    • @fractalphilosophorum9405
      @fractalphilosophorum9405 4 года назад

      @@bazounet32 En supposant que la méthode que j'ai énoncée est la seule méthode, ce qui est une hypothèse assez douteuse ^^

    • @MarcusCactus
      @MarcusCactus Месяц назад

      @@fractalphilosophorum9405Il y a plein d'autre méthodes, cela dépend beaucoup de la forme de l'EqDiff originelle.
      Mais en effet, pour celles qui reposent sur un polynome quintique, il n'y aura pas d'expression analyitque. Toutefois vous pourrez l'écrire en chiffres (coupés assez précis pour votre besoin technique).

  • @brevnobia1238
    @brevnobia1238 Год назад +2

    Passionnant, à rapprocher de cette citation de Gallois :
    "Sauter à pieds joints sur ces calculs; grouper les opérations, les classer suivant leurs difficultés et non suivant leurs formes; telle est selon moi, la mission [des géomètres futurs]"

  • @fornlike
    @fornlike 2 года назад +8

    Merci pour ce remarquable travail. Grâce à vous je mesure beaucoup mieux la grandeur de ce jeune homme que j'ai du mal à ne pas considérer comme le plus grand génie scientifique de l'histoire. La race humaine a connu tellement de génies scientifiques qu'il est forcément difficile (et peut être même impossible et vain) de dire lequel est le plus incroyable, mais franchement Galois me semble être cette personne (tout en présentant mon profond respect à Riemann, Gauss, Grothendieck...).

    • @kalgon57
      @kalgon57 Год назад +1

      Ramanujan, Einstein, Von Neuman

    • @fornlike
      @fornlike Год назад

      @@kalgon57 En effet, mais comme la liste est hyper longue...

    • @kalgon57
      @kalgon57 Год назад

      @@fornlike tant que ça ? un génie par définition c'est exceptionnel. il doit y en avoir ... genre 2 ou 3 tous les 10 ans.

    • @fornlike
      @fornlike Год назад

      @@kalgon57 Après avoir pas mal creusé la question, je dirai qu'il y en a bien plus fréquemment qu'on ne pourrait le penser. ... Isaac Newton, Leonhard Euler, Leibniz, Niels Henrik Abel, Gotthold Eisenstein, Georg Cantor, Henri Poincaré, Nikola Tesla, David Hilbert, Kurt Gödel, Marie Curie, Emmy Noether, Ettore Majorana, Grigori Perelman, Terence Tao, Maryam Mirzakhani,... Lequel de ces noms selon toi ne mériterait pas le titre de génie? Et cette liste est très courte. L'Asie notamment a aussi des génies très peu connus.

    • @kalgon57
      @kalgon57 Год назад +1

      @@fornlike Je ne les connais pas assez bien et certains même pas du tout. Mais je dirais qu'il ne suffit pas d'avoir fait avancer la science, fait une découverte ou d'avoir obtenu un prix Nobel pour être qualifié de génie. Une personne douée avec de la chance et de la persévérance peut faire une découverte. Parfois il faut de nombreuses petites contribution pour arriver à un résultat intéressant. Parfois il faut aussi beaucoup de subventions. Tout chercheur en mathématiques est susceptible de faire une découverte et de donner son nom à un théorème par exemple. Sommes-nous d'accord sur cela ? Par exemple Perelman ne se qualifie lui-même pas de génie, il a eu de bonnes opportunités tout au long de son parcours pour l'amener au plus haut niveau, il a consacré sa vie entière à ses recherches et a donc maximisé ses chances. Il est très doué, peut-être surdoué, mais de là à dire génie je dirais qu'il y a un cran en plus. Je ne sais pas si j'ai pris le bon exemple, mais tu as compris l'idée.
      Quand tu dis que tu as pas mal creusé la question, c'est quoi ? Tu as fait une thèse, un article, un mémoire sur ce sujet ? Si oui, j'imagine que tu en sais plus que moi et que tu pourras me donner une définition consensuelle du génie ?

  • @davidarenard
    @davidarenard Год назад +2

    bravo

  • @fly7thomas
    @fly7thomas 4 года назад +5

    Pas tout bien compris mais c'est cool quant même.

  • @Amine-gz7gq
    @Amine-gz7gq 2 года назад +2

    c'est utilisé dans la correction d'erreurs dans les supports optiques CD/DVD. Il va sans dire que c'est compliqué (plein de calculs matriciels/systèmes d'équations) mais grâce à des circuits électroniques spécialisées cela se fait rapidement.

    • @koomky
      @koomky Год назад

      J’ai travaillé dans le CD-DVD. Chaque disque contient 5 fois le code de lecture (5 fois la vidéo, par exemple). Cinq fois car c’est l’equation max en (x) puissance 5 dont on sait tirer les racines en cas d’erreur liée à une rayure, une poussière ou un problème de matriçage du disque.

  • @francoisgirardot6277
    @francoisgirardot6277 2 года назад +3

    Exceptionnel ! La clarté au service de la connaissance. Ayant étudier la theorie de Galois, cette introduction est au top! Souvent cela manque dans d'autres domaines ex les probas

  • @QuadriviuumTremens
    @QuadriviuumTremens 4 года назад +6

    Super vidéo ! Un de mes sujets favoris pendant le confinement en plus.

  • @nicolastaureau3007
    @nicolastaureau3007 2 года назад +2

    Chapeau !!!! Félicitations !!!! Vidéo accessible à tous même s'il doit sacrément falloir s'accrocher quand on n'a pas déjà une connaissance des groupes, des corps, des extensions de corps, des automorphismes, du groupe symétrique, etc. Quelle aisance !!!! La passion de l'exposant est totalement communicative !!!! Je pense du coup après plusieurs visionnages avoir compris les grands principes de la théorie de Galois sans l'avoir étudiée précisément.

  • @Dungha-sk3uy
    @Dungha-sk3uy 7 месяцев назад +1

    😂🎉 Gallois fait pousser les cheveux 😮😅

  • @jadiswb654
    @jadiswb654 4 года назад +4

    j'aimerais beaucoup une video qui expliquerait une phrase qu'on entend souvent dans les conférences d'etienne klein: "la définition du groupe de symétrie associé à une particule détermine entièrement les caractéristiques de cette particule". il cite ca souvent en exemple pour justifier la capacité des mathématiques à adhérer sur le réel. ca semble super profond, j'aimerais beaucoup qu'unde mes vulgarisateurs préférés m'explique cela plus en détails un jour

    • @PasseScience
      @PasseScience  4 года назад +1

      Je parle du théorème de Noether dans cette video la autour de 7:00 ruclips.net/video/MIeYz6aMBbk/видео.html et je reparle un peu de Noether dans la video "espace temps masse energie". Ca ne repond pas totalement à ta question mais c'est fortement lié ca te montrera le rapport entre une invariance des lois physiques et une loi de conservation (energie ou quantite de mouvement). Et tu peux chercher d'avantage sur le theoreme de Noether sur youtube. Lorsque Klein il dit "symetrie" cest dans le meme sens que invariance dans ma phrase precedente, les particules en quantiques sont represente par des champs (des valeurs en tout point de l'espace pour faire court) ses champs ont des invariances particulieres et des mathematiques de la meme famille que Noether implique des lois de conservations et d'autres proprietes. En effet je ferais peut etre une video dessus un jour :)

    • @jadiswb654
      @jadiswb654 4 года назад +1

      @@PasseScience Merci pour ta réponse. En effet j'avais déjà vu le théorème de Noether et le lien entre invariance des lois et conservation de l'énergie. Je pensais que le propos de klein désignais une réalité mathématique plus profonde. En tous cas merci beaucoup pour toutes tes videos, je les regarde toutes ;)

    • @PasseScience
      @PasseScience  4 года назад +1

      @@jadiswb654 oui ca désigne une mathematique plus profonde a cause du type de symétrie qui implique des choses plus riches, on parle de symétries de jauge local (on ne dit jamais le "local" mais c'est quand c'est local que c'est important). Une symetrie de jauge globale cest lorsque par exemple tu peux ajouter une constante partout et ca change rien (un champ de potentiel), une symetrie de jauge local c'est lorsque tu es encore plus libre, tu peux ajouter un certain champ (donc pas partout pareil) et avoir encore une situation formelle qui decrit la meme situation physique. ET ce type particulier d'invariance implique pas mal de chose (que je maitrise mal)

    • @jadiswb654
      @jadiswb654 4 года назад

      @@PasseScience merci encore. en trois mots j'ai deja l'impression de mieux comprendre. J'attends le prochain episode avec impass-science

    • @PasseScience
      @PasseScience  4 года назад +1

      @@jadiswb654 Pour la route tu as un exemple "simple" d'invariance de jauge ici concernant V et A le potentiel electrique et le potentiel vecteur:
      fr.wikipedia.org/wiki/Potentiel_vecteur_du_champ_magn%C3%A9tique
      Tu peux voir que V tout seul a une invariance globale, mais l'ensemble V,A (qu'il vaut mieux voir comme un object unique un quadrivecteur potentiel, voir video physique et perspective) a une symétrie de jauge et est donc defini a un champ de jauge pres. le phi dans le paragrape "Potentiel vecteur et invariance de jauge" sur la page. Ca permet deja de saisir ce que c'est une invariance de jauge avec des objets courants avant d'entammer les objet exotique et les consequence de l'invariance :)

  • @gmangman9363
    @gmangman9363 Месяц назад +1

    Comment etre sûr que les solutions de polynômes à partir du degré 5 n'existent pas ? En effet si l'on ne trouve pas de solutions c'est peut être qu'il manque des opérations supplémentaires à +, -, x, /,racine pour exprimer ces solutions ? Si tel est le cas, est-ce que plus les degrés des polynômes sont importants plus il est necessaire de disposer de nouvelles opérations mathématiques ?

    • @PasseScience
      @PasseScience  Месяц назад +1

      @@gmangman9363 Ah, mais elles existent toujours ! Le théorème, enfin le résultat de Galois, ce n'est pas du tout une question d'existence de ces solutions, il y a toujours des solutions complexes pour un polynôme de degré qcq. Le résultat de Galois concerne l'expressibilité de ces solutions via des opérations précises. Et en effet, si on change l'ensemble d'opérations utilisées, on change potentiellement jusqu'à quel degré on peut exprimer ces solutions avec le nouvel ensemble d'opérations. Quand on y réfléchit, le résultat de Galois est bien plus fou qu'une démonstration de non-existence, parce qu'il y a plein de manières en maths de démontrer des non-existences de solutions, alors que réussir à démontrer que, malgré leur existence, on ne pourra jamais les exprimer de manière générique avec un ensemble donné d'opérations, c'est beaucoup plus subtil et assez vertigineux.

  • @lecommentaire4639
    @lecommentaire4639 2 года назад +1

    Bravo pour la vidéo !
    Les sous-titres sont néanmoins bourrés de fautes de conjugaison, d'accords... « suiviT de » , des mouvement_, l'opération qui les combineNT...

    • @PasseScience
      @PasseScience  2 года назад +1

      Merci, vous avez regardé lesquels, ceux fait à la main ou les autogénérés? ça m'intéresse d'avoir les timestamps.

  • @malicksoumare370
    @malicksoumare370 4 года назад +5

    Merci c'est une très bonne vidéo. Est ce que par hasard on pourrait avoir une sorte de vidéo "hardcore" ou "hors-série" pour quelques détails supplémentaires comme par exemple avec "les bons chemins"?

    • @QuadriviuumTremens
      @QuadriviuumTremens 4 года назад +5

      Je vais essayer d'expliquer comment fonctionne l'existence et la recherche d'un bon chemin. L'avantage, c'est que la vidéo a déjà parlé des sous-groupes et des graphes de Caylay.
      L'idée, c'est de d'abord comprendre qu'est-ce qu'un sous-groupe normal. En fait, on peut voir un sous groupe comme un ensemble de transformations stable, c'est à dire dont la compositions d'éléments produit des éléments uniquement dans ce sous groupe. Prenons alors un sous-groupe que l'on va appeler N. Maintenant, si on prend une transformation au hasard (que l'on va appeler k) en dehors de ce sous groupe, et que l'on forme l'ensemble des transformations de la forme k.n (la transformation n puis la transformation k, où n est une transformation quelconque du sous groupe N). Cela va nous créer un autre ensemble de transformations, que l'on peut appeler k.N. Et, l'ensemble de ces k.N forme une partition du groupe de départ, c'est à dire que le groupe peut être séparé en un ensemble de parties égales, de même forme, disjointes et dont l'union constitue le groupe de départ.
      Mais aussi, on peut réaliser la même construction, avec cette fois-ci les N.k (c'est à dire l'ensemble des éléments de la forme k, avec ensuite une transformation n de N). Il se peut que l'on obtienne une autre partition du groupe de départ, mais il se peut aussi que l'on obtienne la même permutation. Dans le second cas, on dit que le sous groupe N est normal. En résumé, un sous-groupe est dit normal quand transformant l'ensemble de ses éléments dans un sens où dans l'autre, on parcours la même partition.
      Enfin, quand on a un groupe G ainsi qu'un sous-groupe normal N, l'ensemble des permutations que l'on peut réaliser avec ce sous-groupe normal et ses images par les transformations est lui même un groupe de permutations. On le nomme le groupe quotient entre G et N, noté soouvent G/N.
      Et bien, les bon chemins correspondants à des racines n-ièmes (les faaaameux bons chemins) sont ceux passant par un sous groupe normal dont le quotient est un groupe dit commutatif (c'est à dire dans lequel les résultats par les opérations ne dépendent pas de l'ordre des éléments, contrairement au cas du rubik's cube) ! Et donc, selon Galois, une équation est résoluble avec les quatre équations fondamentales et les racines n-ièmes si, en partant du groupe de permutation de ses racines, on peut y touver un sous-groupe normal au quotient commutatif, puis un sous-groupe normal de ce sous-groupe au quotient commutatif, et ainsi de suite, jusqu'à l'identité elle-même (la transformation qui ne change rien).

    • @QuadriviuumTremens
      @QuadriviuumTremens 4 года назад +1

      @@aaaa8130 Oui !

    • @QuadriviuumTremens
      @QuadriviuumTremens 4 года назад +2

      @@aaaa8130 Oui. D'ailleurs, un tel groupe s'appelle un groupe résoluble !

    • @malicksoumare370
      @malicksoumare370 4 года назад +2

      @@QuadriviuumTremens Waouhhh je ne pensais pas trouver une explication aussi claire aussi rapidement. Merci

    • @malicksoumare370
      @malicksoumare370 4 года назад +1

      @@QuadriviuumTremens Ahhh si j'ai bien compris les différents sous-groupes de la chaîne doivent être distingués et abéliens pour pouvoir respecter les règles de l'arithmétique ???

  • @Algneo
    @Algneo 4 года назад +3

    Excellent. J'avais jamais compris le lien entre les groupes et les racines de polynômes. En Terminal on nous disait "c'est impossible d'avoir une formule au-delà du degré 5, ça a été montré grâce à la théorie des groupes", puis quand dans le supérieur on fait cette théorie des groupes ça semble n'avoir aucun rapport.

    • @QuadriviuumTremens
      @QuadriviuumTremens 4 года назад +1

      Les mathématiques sont pleines de liens insoupçonnés !

  • @JohnSmith-hr7rz
    @JohnSmith-hr7rz 2 года назад +1

    Question 14:27 tu parles de "Bon chemin": pourrais-tu développer un peu? J'aimerais comprendre ce qu'est un "bon chemin", concept essentiel dans ta vidéo. Est-ce le fait de partir du corps étendu avec une des racines, puis en étendant consécutivement les corps en y rajoutant d'autres nombres issus du précédent avec des + - × ÷ racine on arriverait au corps minimal contenant toutes les racines?
    Ta vidéo est exceptionnelle, merci pour cet effort de vulgarisation

    • @PasseScience
      @PasseScience  2 года назад +2

      Hello, je conseille cette playlist: ruclips.net/p/PLwV-9DG53NDxU337smpTwm6sef4x-SCLv
      La question est détaillée dans le 6.6 (et du coup faut fouiller un peu avant en fonction), de memoire et si j'ai bien compris, lorsqu'on a une suite de groupe N1 N2 N3..... pour que ca soit un "bon chemin" il faut que les "groupes quotients" fr.wikipedia.org/wiki/Groupe_quotient des maillons consécutifs dans la chaine (donc N2/N1, N3/N2, etc...) soient abéliens fr.wikipedia.org/wiki/Groupe_ab%C3%A9lien (c'est a dire commutatif, on peut composer leur elements dans n'importe quel ordre, ca ne change pas le résultat).

  •  4 года назад +2

    Super vidéo! Les concepts abstraits sont super bien expliqués je comprend enfin certains éléments du cours ^^ Et en plus ça parle de cube

  • @victordunord7261
    @victordunord7261 3 года назад +2

    1:20 ... aux années collège
    le discriminant et les polynômes ?
    dans quel pays ou dans quelle période ? antiquité, non
    moyen âge ? non
    renaissance ? oui peut-être
    la 3ème république, oui
    avant les années 70, dans 60% des collèges peut-être
    mais depuis 20 ans au moins dans aucun collège avec 0,5% de risque d’erreur
    malheureusement

    • @PasseScience
      @PasseScience  3 года назад +2

      He oui, petite erreur de script, ça me paraissait tellement "mécanique et simple" que j'avais oublié que c’était si tard. (Bon après je ne cautionne pas cette apprentissage mécanique et perroquet sans compréhension des maths). On a qu'a dire que je dis college par respect pour Galois qui commence à construire la theorie des groupes que je presente dans cette vidéo certainement à l'age de 16 ans. Il va se retourner dans sa tombe si je dis qu'on fait le discriminant qu'à partir du lycée. :)

  • @jamalmoustanif8922
    @jamalmoustanif8922 3 года назад +2

    Malgré les difficultés pour comprendre cette théorie vous avez su la présenter d une manière abordable. Je vous remercie infiniment. Jamal

  • @arthurreitz9540
    @arthurreitz9540 4 года назад +3

    Merci, enfin je peux comprendre.
    Seulement en partie malheureusement ;)

  • @eachannel8341
    @eachannel8341 4 года назад +2

    Je souhaitais depuis un moment connaitre la façon avec laquelle a réfléchit Galois. J'ai connu son histoire dans mon cours d'algèbre (ça fait maintenant quelques années) et j'étais fasciné par le fait qu'on puisse produire une connaissance ci poussée à un très jeune âge. Dommage qu'il n'ait pas pu vivre assez pour voir l'impact de sa théorie :/

  • @ergenekonualkslayanliberal1077
    @ergenekonualkslayanliberal1077 Год назад +2

    I don't even understand the language, but I get the point. That was that good of an explanation.

  • @s9009
    @s9009 4 года назад +2

    J ai limpression de mieux comprendre des notions géométriques de la physique des particules

  • @sidahmedben5463
    @sidahmedben5463 2 года назад +1

    Avec son ami le mathématicien suisse Abel ils ont révolutionné l'algèbre moderne ( ensembles, groupes, espaces de Banach, Hilbert ...)

  • @ramdamdam1402
    @ramdamdam1402 4 года назад +1

    question + 7:20
    Ma question n'a pas directement à voir avec les groupes de Galois.
    Je m'intéresse aux groupes pour mes travaux (recherche en informatique), et je trouve élégant de voir un groupe comme un graphe où les noeuds sont les éléments du groupe et les arêtes sont étiqueté par un element du groupe et 2 noeuds e1 e2 sont reliés par l'arete e3 si e1*e3=e2 (comme tu l'as presque fait au time stamp donné). J'ai essayé de caractériser les graphes qui peuvent représenter un groupe ainsi (je suis pas naïf ça revient à faire classification des groupes simples finis ce qui prend 2*7! pages). Bref, après quelques recherches de mon côté et sur le net ("viewing groups as graphs" sur google), je n'ai rien trouvé, en tout cas pas quelque chose qui relie graphe et groupe comme je parle, ce qui m'a étonné. En saurais-tu plus sur le sujet ? Des ressources peut-être puisque tu as utilisé cette représentation ? Penses tu peut-être que c'est une vision qui n'apporte pas grand chose ?
    Merci pour tes vidéo tu es un de mes créateurs favoris

    • @PasseScience
      @PasseScience  4 года назад +2

      Hello, merci. La représentation que j'utilise se nomme graphe de Cayley (en.wikipedia.org/wiki/Cayley_graph), oui c'est un bon outil et dont on parle paradoxalement peu. Ne pas oublier qu'un graphe de Caley va dependre du choix des générateurs que tu prendras pour ton groupe (un même groupe aura potentiellement donc plusieurs graphe de Caley), une des raisons pour lesquelles on utilise peu cet outil, est, je pense, le fait qu'en dehors des groupes triviaux avec très peu d’éléments, un graphe de Caley est intracable (beaucoup trop gros).

  • @nejiblarby2651
    @nejiblarby2651 9 месяцев назад +1

    Je ne comprends toujours pas la relation avec les polynômes
    Trop dur pour moi j’abandonne

    • @PasseScience
      @PasseScience  9 месяцев назад +1

      Oui ce n'est pas facile^^. Je propose quand meme mon aide si besoin, il suffit de commencer par poser une question sur le premier moment de la video ou il y a quelque chose qui vous parait essentiel mais que vous ne saisissez pas.

  • @alainvaneghem6755
    @alainvaneghem6755 3 года назад +3

    Je ne sais pas en France mais en Belgique dès le début des mathématiques modernes (+/- 1970) on a toujours parlé de champs; c'est là première fois que j'entend parler de corps!

    • @PasseScience
      @PasseScience  3 года назад +2

      Pour désigner la même chose? parce que en effet "champ" ca aussi aussi en terme mathématique francais, mais pour désigner autre chose que la structure algebrique dont on parle ici, on parle de champ vectoriel ou de champ de scalaire par exemple pour parler de l'association d'un certain object (vecteur ou nombre ou autre) en chaque point d'un espace. "Corps" c'est plus précis, ca désigne un ensemble dans lequel certaines opérations sont permises sans en sortir.

    • @alainvaneghem6755
      @alainvaneghem6755 3 года назад +1

      @@PasseScience Oui chez nous votre corps c'est un champ N, Z, R sont des champs (à moins que celà ai changé ce siècle ci mais ça m'étonnerait!)

    • @Moinsdeuxcat
      @Moinsdeuxcat 3 года назад +1

      En France, les champs sont les "stacks" anglais (des sortes de généralisations des faisceaux).

    • @skywalker3423
      @skywalker3423 3 года назад

      @@alainvaneghem6755 En français N et Z ne sont pas des corps, seulement Q et R. Z est un anneau, comme les matrices ou les polynômes, mais il faut avoir tous ses éléments inversibles pour la loi x pour être un corps.

    • @MarcusCactus
      @MarcusCactus Месяц назад

      Alain Vaneghem, je pense que votre mémoire vous taquine.
      J'ai grandi dans les années septante et je n'ai jamais entendu appeler N ou R des "champs" . Mais bien, en primaire, des ensembles, et en humanités, des corps ou anneaux.

  • @thom1897
    @thom1897 4 года назад +2

    Bravo une super vidéo, ca fais super plaisir de voir les automorphismes des corps de Galois de cette façon là schématique simple et je trouve plutôt claire, j'espère que la vidéo plaira :)

  • @fredericderboux4256
    @fredericderboux4256 3 года назад +1

    merci pour la vidéo. j'ai bien sur entendu parler de ce génie mort si jeune car j'ai fais des études de sciences, il y a longtemps. j'ai toujours bien aimé les maths mais là franchement c'est compliqué comme sujet. j'aime bien l'abstrait mais je suis un peu dépassé...qu'aurais découvert Evariste s'il avait vécu jusqu'à 70 ans ...?

  • @youkad
    @youkad 3 года назад +2

    Quel niveau de vulgarisation excellent, je suis bluffé, bravo et merci !
    Petit chipotage inutile : à partir de 18:00, j'aurais renversé le sens des flèches dans les diagrammes de Hasse du côté groupe, comme la correspondance est contravariante (le groupe trivial fixe l'extension de Galois L/F dans sa totalité, et le groupe de Galois entier ne fixe que le plus petit corps F duquel on est parti). Mais c'est vraiment pinailler sur des détails, merci encore et bravo !

    • @PasseScience
      @PasseScience  3 года назад +3

      Hello, merci, oui c'était volontaire de tricher ainsi, justement pour ne pas avoir à expliquer l'aspect contravariant de la correspondance (c'est déjà chaud à suivre pour le novice). C'est aussi pour cette raison (tricherie) que j'ai choisi une hiérarchie qui a une symetrie de renversement. :p

    • @youkad
      @youkad 3 года назад +2

      @@PasseScience Aaah, bien joué, c'était sûrement le meilleur choix d'un point de vue pédagogique en effet ! 👍

  • @egillandersson1780
    @egillandersson1780 4 года назад +1

    Fort intéressant mais j'ai l'impression qu'une vidéo de 23 minutes pour vulgariser un tel sujet c'est un peu trop ambitieux. Même en ayant de bonnes bases en math, je n'ai pas pu tout suivre, notamment les "bons chemins" (?). Reste que le versant historique est accrocheur et qu'on saisit tout de même l'idée globale. Mais le sujet aurait mérité d'être fractionné pour détailler un peu.

  • @gps3360
    @gps3360 2 года назад +1

    Un génie !

  • @riennn2
    @riennn2 4 года назад +3

    Les recommandations qui font plaisir :)

  • @brianbernard3259
    @brianbernard3259 4 года назад +2

    Merci beaucoup pour cette vidéo, qui m'introduit parfaitement à la théorie des groupes ! (La petite musique de Kerbal space program est très appréciable).

  • @-Eric-P-
    @-Eric-P- 4 года назад +2

    Plusieurs choses m'impressionnent ici : la qualité remarquable de ta vulgarisation, le génie de Galois (et sa capacité à conceptualiser et à relier des choses qui n'ont en apparence pas grand chose à voir), ... et le petit nombre de pouces bleus (1 semaine après sa diffusion, 8275 vues et 840 pouces en l'air, c'est une bien faible reconnaissance de ton travail). Un grand bravo à toi.

    • @PasseScience
      @PasseScience  4 года назад +3

      Merci beaucoup pour les encouragements. Oui je pense objectivement que cette video et qq autres de la chaines méritent d'avantage de vues, mais c'est le fameux "algo" qui veut cela. Avec un peu de chance le partage touchera une chaine plus influente qui en parlera :)

  • @guillaumelimousin7988
    @guillaumelimousin7988 4 года назад +6

    "années collège" ? non, années lycée, quand même...

  • @damienphilippe2276
    @damienphilippe2276 24 дня назад +1

    Question (13:49): Je comprend pas ce que représentent les 4 corps (bleu, vert…) par rapport aux racines. En particulier pq r1 et r3 ne sont dans aucun corps construit à partir de Q (comme dans l’exemple précédent). Est-ce une simplification? C’est pour moi le plus gros saut dans l’explication qui fait que j’adhère pas bien à la suite. En tout cas super vidéo et super pédagogique. Quand on parle des ensembles en Maths, je visualise toujours les noeuds dans mon cerveau qui se créent au fur et à mesure des démonstrations. Merci.

    • @PasseScience
      @PasseScience  24 дня назад +1

      Dans l'exemple un peu avant tu as le corps qui contient 'racine de (1 plus racine de 2)", et tu remarques que ce corps contient un sous corps en jaune. Donc dans le cas général un corps a une structure en poupées russes il peut contenir un ou des sous corps qui contiennent potentiellement eux aussi un ou des sous corps etc... qui au niveau le plus bas contiennent chacun Q. Ce n'est pas forcément une hiérarchie linéaire avec Q dans A puis A dans B ça peut être arborescent avec Q dans A, Q dans B (avec A et B non inclus l'un dans l'autre) mais A et B inclus dans C etc... Dans le schéma à 13:49 toutes les racines sont dans un corps qui contient Q, il est représenté en blanc-gris et sur ce schéma on s’intéresse au plus petit corps (au dessus de Q) qui contient toutes les racines de notre polynômes et qu'on peut atteindre avec la construction hiérarchique précédemment expliquées (avec le minimum d'etapes de racine depuis un sous corps pour en construire un plus gros). Le fait qu'une des racines soit également dans un des sous corps du corps gris est juste là pour rendre l'illustration plus "générale" rien ne l'empêche, ça peut arriver. C'est plus clair ?

    • @damienphilippe2276
      @damienphilippe2276 24 дня назад +1

      Compris! (Enfin je crois). J avais mal abordé la partie précédente qui explique ce qu’est la partie “banc gris”. C’est génial! Merci beaucoup. Extrêmement bien fait et très jouissif d’apprendre quelque chose de nouveau comme cela. Je vais regarder les autres vidéos!

    • @PasseScience
      @PasseScience  24 дня назад +1

      @@damienphilippe2276 Merci! Si les sujets maths avancées comme cette vidéo t'interessent, il y a notamment la vidéo sur l'equidecomposition et la mesure.

  • @fredericmazoit1441
    @fredericmazoit1441 4 года назад +2

    Juste une petite remarque en passant. D'mon temps, les équation du second degré, c'était du programme de première S, pas du collège.

    • @lcheylus
      @lcheylus 4 года назад

      C'est toujours le cas. Perso j'ai appris la résolution des équations du second degré et le discriminant en seconde (il y a bien longtemps), maintenant c'est en 1ère avec spécialité Maths.

  • @dgrandlapinblanc
    @dgrandlapinblanc 8 месяцев назад +1

    Ok. Merci.

  • @godetaalibaba2522
    @godetaalibaba2522 3 года назад +1

    Si seulement j'avais découvert cette vidéo plus tôt ! J'ai eu l'occasion de travailler sur les codes correcteurs d'erreurs, et notamment ceux de Reed-Solomon (je suis en dut informatique et on a eu au cours de l'année une partie présentation d'un sujet en math où l'on se renseignait par nous même) et les mathématiques derrière le code de rire solomon font appelles à des notions complexes telles que les corps finis et polynômes dans le champ de Galois ce qui même avec beaucoup de recherches google, est resté imcomprehensible à mes yeux.
    Je te remercie pour ton travail tu abordes des sujets complexes mais très intéressants et les vulgarise vraiment bien :D

  • @sudofrou
    @sudofrou 3 года назад +2

    11:42 J 'ai souris en voyant le point " 2 / sq(2) " séparé de " sq(2) " ;-)

  • @baptistelafoux2247
    @baptistelafoux2247 4 года назад +3

    Merci pour votre super travail, toujours aussi clair !

  • @armagedongota6178
    @armagedongota6178 4 года назад +2

    superbe video;en plus cest un sujet que j'etudie en ce moment en autodidacte ;durant cette periode de confinement,faut bien s'occuper hein:)

    • @gordub
      @gordub 4 года назад +1

      É bé, t'es motivé...

  • @openedmind3704
    @openedmind3704 4 года назад +2

    T es mon youtubeur scientifique préféré !

  • @brunodoussau_from_tyumen
    @brunodoussau_from_tyumen 4 года назад +1

    Très bon nouvel opus !
    Pour ceux qui veulent aller plus loin, une conf de Alain Connes là dessus : ruclips.net/video/qrpp1Mh8EDo/видео.html

  • @nicolascasteleyn9579
    @nicolascasteleyn9579 Год назад +1

    Merci

  • @fromburgundy3316
    @fromburgundy3316 4 года назад +1

    Et aprés ça, qui peut contester qu'il y a un génie Français.

  • @johnmichel7061
    @johnmichel7061 2 года назад

    formule des années collèges... on ne doit pas vivre dans le même Univers, on voit ça en 1ère... tout comme les additions (non là je plaisante)

  • @LaitheAboudouIbouroi
    @LaitheAboudouIbouroi 4 года назад +2

    Continue!

  • @Porculoide
    @Porculoide 11 месяцев назад +1

    oui mais avec le cube , droite *haut est différent de haut*droite !!

    • @PasseScience
      @PasseScience  11 месяцев назад +1

      C'est bien ce que j'explique à 4:50 non ?

    • @Porculoide
      @Porculoide 11 месяцев назад +1

      @@PasseScience
      oui effectivement ! j'y étais pas arrivé !
      Alors c'est un groupe non commutatif, mais associatif .. Etrange !
      Quant à la fin, j'avoue que ça demande réflexion

  • @howardcheung8304
    @howardcheung8304 2 года назад +1

    I can’t understand French,but this is recommended to me lol

    • @PasseScience
      @PasseScience  2 года назад +1

      English subtitles are available but It will be challenging :) (even without having to read subtitles the video is challenging).

    • @howardcheung8304
      @howardcheung8304 2 года назад +1

      @@PasseScience i am math major haha

    • @PasseScience
      @PasseScience  2 года назад +1

      @@howardcheung8304 So you should accept the challenge :), the second part is a sketch of proof of Galois fondamental theorem.

  • @ilovekog
    @ilovekog 4 года назад +1

    Voila pourquoi il faut présenter ces travaux correctement :)

  • @hadrienbainier8435
    @hadrienbainier8435 Год назад +1

    Magnifique travail! Un bonheur à regarder. Bravo!

  • @vincentb9827
    @vincentb9827 2 года назад +1

    J'ai rien pigé mais chapeau Galois !

    • @PasseScience
      @PasseScience  2 года назад +1

      Je vous invite à poser une question à partir du premier moment de la video ou quelque chose le necessite.

  • @Fine_Mouche
    @Fine_Mouche 4 года назад +1

    après peut-être qu'a partir du degré 5 ont se retrouve avec des racines n-iemes ou des puissance rationnels, mais il doit bien y avoir des formules pour trouver les racines.
    Et i est-il considéré comme un opérateur ? Si oui c'est un peu bizarre :/

    • @PasseScience
      @PasseScience  4 года назад +2

      Hello, dans la video je dis racine mais en fait il est bien question de racine n-ieme. Lorsque ce n'est pas résoluble par radicaux on utilise des fonctions assez étranges.
      Si tu rentres l'exemple que je donne dans wolfram alpha et clique sur "exact forms" pour les "real roots" tu vas voir la fonction F_3:
      www.wolframalpha.com/input/?i=x%5E5-3x%2B1
      qui est une "Appell Hypergeometric Function" c'est defini ici:
      mathworld.wolfram.com/AppellHypergeometricFunction.html
      Donc tu peux constater que ce ne sont plus des opérateurs triviaux :)

  • @guardianangel6332
    @guardianangel6332 2 года назад +1

    Bravo ! D'une grande aide pour sentir la portée de cette théorie !

  • @Marguerite-Rouge
    @Marguerite-Rouge 4 года назад +1

    Décidément, je suis vraiment fan de cette chaîne youtube ! J'ai beaucoup aimé cette manière d'introduire la théorie de Galois. Et je trouve vraiment appréciable de trouver de la bonne vulgarisation sur ce genre de sujets complexes et profonds.

  • @MonCompteTubulaire
    @MonCompteTubulaire 4 года назад +2

    merci pour ta vidéo !

  • @moularaoul643
    @moularaoul643 3 года назад +2

    Merci beaucoup!!!

  • @therealrotoutou
    @therealrotoutou 4 года назад +2

    Très bien, merci ! :)

  • @j9dz2sf
    @j9dz2sf 4 года назад +1

    C'est pas plutôt Abel qui a prouvé que ça ne marchait pas dans le cas général au delà du degré 5 ? Ce qu'a fait Galois, c'est donner un critère pour que ça marche, puisque ça marche quand même dans certains cas.

    • @PasseScience
      @PasseScience  4 года назад +1

      Tout à fait théorème Abel-Ruffini, dans la video j'ai ajouté "satisfaisante" ie: "le premier à donner une réponse satisfaisante". :) C'est le premier à avoir vraiment compris la raison structurelle pour laquelle ce n est pas possible et donc du coup comme tu le rappelle fournir un critère.

  • @fractalphilosophorum9405
    @fractalphilosophorum9405 4 года назад +5

    Il va me falloir revoir ça une seconde fois ^^
    Super travail merci :)
    Mickaël Launay a une série sur les structures algèbriques, il parle de groupes de corps et de rubiks cube notamment :
    ruclips.net/p/PLNefH6S6myiMFlgsEIGHb8KZaLKE2eAZQ

  • @cicccucb1699
    @cicccucb1699 4 года назад +1

    J'ai plutôt rien bité. C'est un peu comme avec El Jj et/ou Sciences Clic, des fois ça vole trop haut pour moi.

    • @gordub
      @gordub 4 года назад +1

      En même temps, faut avouer que c'est assez ambitieux comme projet de vulgarisation.
      Présenter le théorie de Galois en vingt minutes en ne présupposant aucune connaissance préalable chez son auditoire, ça me semble très compliqué.
      Du coup j'ai l'impression qu'on est u peu le cul entre deux chaises :/
      Ceux qui ne connaissaient rien au sujet n'ont pas du piger grand chose, et ceux qui sont plus familiers doivent être restés un peu sur le faim...
      Mais l'exercice de vulgarisation est intéressant, je trouve. Donc pourquoi pas :)

    • @cicccucb1699
      @cicccucb1699 4 года назад

      ​@@gordub Plutôt d'accord. Pour ma part la décomposition en produit de facteurs d'un polynôme du second degré m'aurait permis de suivre, mais là cinquième degré ..., Évariste Galois ...

  • @XavierBERTHET
    @XavierBERTHET 2 года назад +1

    Brillante explication qui m'a donné le goût d'approfondir. Bravo et merci!

    • @PasseScience
      @PasseScience  2 года назад +1

      Merci! je suggere la playlist en anglais dans la description, très complete.

  • @refusneant
    @refusneant 4 года назад +1

    difficile pour moi ,mais je vais y revenir merci

  • @philippeconstantin9779
    @philippeconstantin9779 2 года назад +1

    Super vidéo. Bravo et merci pour votre travail !

  • @mickaelg1941
    @mickaelg1941 Год назад +1

    merci ! travail remarquable

  • @CCc-ui7wb
    @CCc-ui7wb 3 года назад +1

    C'est Quoi les solutions de l'équation x^5-3x+1=0 du coup

    • @PasseScience
      @PasseScience  3 года назад +2

      Des nombres qui ne peuvent pas s'exprimer avec nos operations et fonctions usuelles +-*/et racine nieme mais necessitent d'autres fonctions. Voir le lien suivant, vous cliquez sur "exact form" dans l'encadré solution et vous allez voir des notations etrange avec des F3 etc... www.wolframalpha.com/input/?i=x%5E5-3x%2B1%3D0 des fonctions de la famille hypergeometric: en.wikipedia.org/wiki/Hypergeometric_function
      Apres gardez bien en tente que pouvoir designer un nombre solution avec une fonction ca ne le rend pas plus existant qu'il ne l'est en lui meme. Ces equations ont des solutions, c'est a dire des nombres precis, et il est possible de ne pas pouvoir les designer autrement que de simplement dire que ce sont les solutions de telles ou telles equations.

    • @CCc-ui7wb
      @CCc-ui7wb 3 года назад +1

      @@PasseScience ha d'accord parceque dans les solutions "exactes" je vois des notations comme 1/3 4F3(1/5...)
      En effet les solutions ici ne s'écrivent pas comme on a l'habitude au lycée etc.. et du coup le 1/3 3F4(1/5,2/5...) ça peut-être lu ou interpreté comment?

    • @MarcusCactus
      @MarcusCactus Месяц назад

      Il y a 0,335 , 1,214 , une négative et deux complexes conjuguées.

  • @adrien7072
    @adrien7072 4 года назад +1

    C'est con : si plutôt que de faire des maths le gars avait voulu aller sur la Lune, il aurait inventé la fusée...

    • @PasseScience
      @PasseScience  4 года назад +2

      Turing lui il a voulu écrire un programme pour craquer un code, mais avant de le faire il a du inventer le concept de code et le concept de machine programmable (ordinateur)

  • @SimoneChoule81
    @SimoneChoule81 Год назад

    très pédagogique!

  • @r_y_4557
    @r_y_4557 4 года назад +1

    J'ai rêvé de cette vidéo, il l'a fait

  • @LeZinZin95
    @LeZinZin95 4 года назад +1

    Super épisode, très bien vulgarisé

  • @RemiDelloque
    @RemiDelloque 4 года назад +2

    Je suis en train d'apprendre la théorie de Galois (3ème année de licence) et je ne pensais pas que c'était vulgarisable, bravo !

    • @victorcaudan6783
      @victorcaudan6783 4 года назад +1

      Tu serais pas à l'ENS Lyon par hasard ? Et en effet, incroyable cette vidéo !

    • @RemiDelloque
      @RemiDelloque 4 года назад +1

      @@victorcaudan6783 Si, le monde est petit xD

    • @phixi7417
      @phixi7417 2 года назад

      Les gars comment vous avez travaillé les maths?
      Je suis a bac+2 et je me sors bien mais je vois pas comment progresser...
      J'ai une intuition correcte mais sens plus(en gros pas l'intuition d'un mec de l'ens mais plutot ccp/mine et encore)

    • @RemiDelloque
      @RemiDelloque 2 года назад

      @@phixi7417 Si t'es en prépa, je te dirais de faire des annales de concours, comme ça tu seras pas trop surpris le jour J et ça te fera surtout bosser ce qui tombe souvent.
      Fais en qui soient à ton niveau, si c'est trop simple ça ne sert à rien, si c'est trop compliqué ça va te désespérer.
      Et surtout taffe tes points faibles, l'intuition c'est pas magique, ça vient avec l'entraînement

  • @freezoulou
    @freezoulou 4 года назад +1

    nice nice nice nice :)

  • @cclerc4169
    @cclerc4169 3 года назад +1

    Bonjour, j'ai 16 ans et je ne comprends pas tous . J'aimerais savoir s'il y'a un moyen avant cela à connaitre pour mieux comprendre ou je peut le comprendre juste avec cette vidéo ????

    • @PasseScience
      @PasseScience  3 года назад +1

      Ça dépend du niveau de précision auquel tu veux comprendre. (Et de ton niveau). Je t'invite à poser une question à partir du premier moment de la vidéo ou tu ne comprend plus ( dans un autre commentaire et non en réponse ici comme ça tout le monde en profitera). L'age n'est pas un facteur important ici (Galois avait 16 ans lorsqu'il a découvert cela) c'est plutôt une questions des outils mathématiques que tu connais déjà et maîtrise bien.

    • @cclerc4169
      @cclerc4169 3 года назад +1

      J'ai compris , la chose qui me bloque et que cella ne m'aide pas dans la phrase que je cherche qui est