Articles

La Théorie Révolutionnaire de Galois

Evariste Galois

Le 31 mai 1832, un révolutionnaire républicain français appelé Évariste Galois est mort d’un coup de feu. Il avait 20 ans. La veille, craignant sa propre mort, Galois avait écrit de nombreuses lettres, griffonnant frénétiquement « Je n’ai pas le temps, je n’ai pas le temps ». Une lettre est particulièrement précieuse pour des raisons historiques. Dans cette lettre, Galois prétend avoir effectivement déclenché la révolution. Pas politique. Mais mathématique.

Avait-il?

La révolution initiée par Galois s’est avérée plus grande et plus profonde qu’il n’aurait pu l’imaginer ! Le paysage des mathématiques a été profondément affecté par la vision de Galois, alors que sa progéniture s’est élevée et a envahi le monde mathématique. Cette descendance est désormais omniprésente et règne sur des terres illimitées. Il va sous le nom d’algèbre pure.

Pour romancer encore un peu plus le récit de la vie dramatique de Galois, voici un résumé d’un documentaire que j’ai réalisé sur l’algèbre :

Waw! Galois sonne sûrement comme un génie unique!

Manuscrit de Galois

Il l’est vraiment! Mais sa révolution mathématique ne s’est pas déroulée sans heurts. Comme tout chef de la révolution, il a d’abord eu les plus grandes difficultés. Ne pas envisager la révolution. Mais pour convaincre les autres de le rejoindre dans une approche des mathématiques qui change la donne. Quand Galois était encore en vie, ses idées révolutionnaires ont été rejetées à plusieurs reprises par l’académie des sciences French Parce que les meilleurs mathématiciens français de l’époque comme Siméon Denis Poisson ne pouvaient tout simplement pas l’obtenir! En partie à cause de l’écriture illisible de Galois affichée à droite

Comment la théorie de Galois a-t-elle encore réussi à être connue ?

En 1843, 10 ans après la mort de Galois, enfin, un brillant mathématicien français nommé Joseph Liouville réussit à saisir certaines des idées de Galois. Après 3 années de travail supplémentaires, Liouville publie un article pour les expliquer. Mais l’article de Liouville était encore trop tiré par les cheveux pour que d’autres mathématiciens puissent l’apprécier et le comprendre. Il a fallu encore 24 ans pour trouver un mathématicien français assez exceptionnel pour mieux comprendre Galois et rendre ses idées limpides. Cette mathématicienne exceptionnelle est Camille Jordan. En fait, le livre de Jordan de 1870 sur la théorie de Galois était si bien écrit que le mathématicien allemand Felix Klein l’a trouvé aussi lisible qu’un livre allemand!

Haha! Je suppose que cela a vraiment déclenché la révolution de Galois!

C’était vraiment un énorme coup de pouce. Mais il faudra encore 82 ans au grand mathématicien autrichien Emil Artin pour enfin donner à la théorie de Galois sa forme moderne, en 1942. Artin mérite beaucoup de crédits. Alors que Galois était le visionnaire qui avait prévu cette révolution, Artin, à bien des égards, est celui qui a réellement entrepris la révolution et renversé les mathématiques. Grâce à Artin et à quelques autres, la théorie de Galois est aujourd’hui devenue une pierre angulaire incontournable de la recherche en mathématiques, avec de nombreuses réalisations surprenantes et étonnantes (comme la preuve de Wiles du dernier théorème de Fermat), ainsi qu’un énorme réservoir de questions ouvertes et de mystères!

Cet article va vous pousser de plus en plus intellectuellement. La connaissance de l’algèbre linéaire, des nombres complexes et de la théorie des groupes peut être utile pour une lecture plus facile des sections 2, 4 et 5 respectivement. Mais, soyez courageux, car la récompense est d’avoir un bon aperçu de l’une des théories les plus belles et les plus perspicaces des mathématiques!

Champs en algèbre pure

La théorie de Galois concerne les symétries des nombres. Mais avant d’y arriver, je dois vous présenter pour vous armer en vous laissant un secret sur les chiffres. Et je suis sûr que vous en avez entendu parler! En effet, au lycée, on vous a probablement appris à ne jamais laisser de racines dans les dénominateurs.

Comment ça ?

Je veux dire que11/(\sqrt{2}-1) was n’était pas une bonne réponse. Pouvez-vous aider à vous débarrasser de la racine carrée de 2 dans le dénominateur?

Oh oui! Cela me sonne une cloche But Mais je ne me souviens pas de ce que nous étions censés faire

HeheHe On nous a appris à multiplier de haut en bas par le conjugué du dénominateur. Ce conjugué est obtenu en remplaçant $-$ par $+$ (ou vice-versa) dans le dénominateur:

les Racines du Numérateur

j’ai utilisé l’identité $(a+b)(a-b)=a^2-b^2$. Si vous ne connaissez pas cette formule, consultez la vidéo de Minute Physics qui explique pourquoi $(a + b)(c + d) = ac + ad + bc + bd$. Alors le remplacement de $c$ par $a$ et $d$ par $b$, vous devez obtenir l’identité que j’ai donné.
Donc, nous avons $1/(\sqrt{2}-1) = \sqrt{2} +1?? C’est surprenant !

Je sais! L’expression compliquée $1/(\sqrt{2}-1) represents représente le même nombre que $\sqrt{2} + 1$. Et cela explique pourquoi nos professeurs voulaient que nous écrivions les résultats d’une manière plutôt que de l’autre: Lorsque tout est écrit de la même manière, les examens deviennent beaucoup plus faciles à corriger!

Haha! Je vois leurs points!

Mais qu’en est-il de $1/(\sqrt{2}-1)$? Pouvez-vous vous débarrasser de la racine dans le dénominateur? Peut-on même le faire?

Racine cubique du Dénominateur

me Laisser tenter… Si on remplace $-$ par $+$ au dénominateur, nous obtenons $\sqrt{2}+1$. En multipliant le dénominateur par cela, on obtient $(\sqrt{2}-1) \ times(\sqrt{2} +1) = \sqrt{2}^2-1$. Arg there il y a encore une racine cubique!

Je sais!

Alors, comment pouvons-nous supprimer les racines cubiques du dénominateur?

Tu me dis !

Hummm…

Une chance ?

De l’aide ?

Hehe Interestingly Fait intéressant, toute puissance de\\sqrt{2}-1 can peut être écrite comme une somme de puissances de $\sqrt{2}$. En effet, il suffit de distribuer les produits :

Puissances de Racine Cubique de 2 Moins 1

WaitWaitIsn’t\\sqrt{2}^3 equal égal à 2 ?

Oui c’est le cas ! En procédant de cette substitution dans la troisième équation, nous avons montré que les trois premières puissances de $\sqrt{2}-1$ peut être écrit comme une somme d’un nombre rationnel, de $\sqrt{2}$ et de $\sqrt{2}^2$!

OK So Alors ?

Nous avons donc maintenant 3 équations, avec 2 expressions racines dont nous voulons nous débarrasser! Ainsi, nous pouvons combiner les équations pour supprimer toutes les expressions racines à droite!

Hummm How Comment?

Multiplions les 2 premières lignes par 3 et additionnons les 3 équations:

Le polynôme est égal à Rationnel

Remarquez comment la troisième ligne a été obtenue en remplaçant $\sqrt{2}^3$ par 2.
Je suppose que c’est bien nice Mais cela ne me dit pas comment obtenir $\sqrt{2} to au numérateur!

Hehe The Ce qui est cool, c’est que le terme de gauche que nous avons obtenu peut maintenant être factorisé par $\sqrt{2}-1!! Laissez-moi sauter quelques calculs ennuyeux And Et arriver au résultat $(\sqrt{2}-1)((\sqrt{2}^2 + \sqrt{2} + 1)$ $= 1$. Donc, pour se débarrasser des racines dans le dénominateur, nous pouvons multiplier de haut en bas par\\sqrt{2}^2 +\sqrt{2} + 1$! Enfin, nous obtenons la formule surprenante et belle suivante:

Racine cubique en Solution de dénominateur

Waw! C’est assez soigné!

Je sais! Mais ce qui est encore plus net, c’est que la méthode que nous avons utilisée est très générale! Avec des techniques similaires, nous pouvons maintenant supprimer tous les radicaux des dénominateurs!

Génial!

Ce qui intéressait particulièrement Galois, ce n’était pas le fait qu’une méthode permettait d’éliminer les radicaux des dénominateurs. Mais plutôt, que tout nombre avec des radicaux dans les dénominateurs égalait un nombre avec des radicaux sur le dessus. Cela signifiait que les nombres avec des radicaux au-dessus étaient stables par division.

Comment ça ?

Il est courant de désigner $\mathbb Q{2}] the l’ensemble des nombres qui peuvent être écrits comme une somme de puissances de\\sqrt{2}$. Puisque $\sqrt{2}^3 = 2$ est un nombre rationnel, une somme de puissances de $\sqrt{2}$ peut en fait être écrit dans le standard de la forme $a\sqrt{2}^2 + b\sqrt{2} + c$. Maintenant, si vous ajoutez, soustrayez ou multipliez deux de ces nombres, il n’est pas difficile de voir que nous obtenons des nombres qui peuvent toujours être mis sous la forme standardaa \sqrt{2}^2 + b\sqrt{2} + c$. De plus, ce que nous venons de montrer ici, c’est que l’inverse de tous les nombresaa \sqrt{2}^2 + b \ sqrt{2} + c can peut également être écrit sous forme standard. Cela montre que toute addition, soustraction, multiplication et division de nombres dans $\mathbb Q{2}] yields donne un nombre, qui peut être écrit sous forme standard and et appartient donc à $\mathbb Q{2}]$. En termes d’algèbre pure, $\mathbb Q{2}] is est donc stable par les quatre opérations arithmétiques classiques. Pour cette raison, nous appelons cela un champ.

Ce champ ne doit pas être confondu avec les champs de physique qui mappent des emplacements sur des nombres ou des vecteurs. Vous pouvez en apprendre davantage sur ces champs scalaires ou vectoriels dans mon article sur la mécanique quantique. Ici, un champ est un ensemble d’objets qui peuvent être ajoutés, soustraits, multipliés et divisés, donnant des objets qui appartiennent toujours au champ.

Géométrie des extensions de champs

Le champ que vous connaissez le plus est probablement l’ensemble Q\mathbb Q Q des nombres rationnels. D’autres exemples de champs sont les ensembles R\mathbb R of de nombres réels et l’ensemble C\mathbb C C de nombres complexes. Et maintenant, nous avons aussimath\mathbb Q{2}]$. Puisque $\mathbb Q{2}]$ est un champ qui contient le champ de $\mathbb Q$, on dit que $\mathbb Q{2}] / \mathbb Q$ est un champ d’extension.

En fait, il peut être montré que si un champ $k$ satisfait $x+x+ \ldots+x \neq 0$ pour tous les finis de la somme et tout $x \neq 0$, alors $k$ doit contenir $\mathbb Q$. Sinon, le champ de $k$ est nécessairement construit sur les corps finis $\mathbb Z /p\mathbb Z$, aussi connu comme $\mathbb F_p$, où $p$ est premier. Dans ces champs, une somme de elementsp elements élémentsxxx est toujours égale à 0. En fait, tous les corps finis sont $\mathbb F_{p^n} \cong \mathbb F_p^n$, où $n$ est un nombre entier $p$ est premier. Ces champs finis sont essentiels en informatique et en cryptographie !

Le fait que $\mathbb Q{2}]/\mathbb Q is soit une extension de champ donne une connexion très naturelle entre les deux champs. À savoir, can\mathbb Q{2}] can peut être vu comme un espace vectoriel, où $\mathbb Q is est le champ scalaire. En particulier, le fait que tout nombre dans $\mathbb Q{2}]$ peut être écrit $a \sqrt{2}^2 + b\sqrt{2} + c$ signifie que $(1, \sqrt{2}, \sqrt{2}^2)$ une base de $\mathbb Q{2}]$ en $\mathbb Q$-espace vectoriel. Et cela signifie que nous pouvons le représenter géométriquement comme un espace à 3 dimensions!

Extension de champ en espace vectoriel

À ce stade, si vous n’êtes pas familier avec les espaces vectoriels, je vous recommande de lire mon article sur l’algèbre linéaire.

La dimension de l’espace vectoriel ci-dessus est une propriété intéressante des extensions de champ. Il est connu sous le nom de degré, et il est généralement notébig\big {2}]: \mathbb Q \big] = 3 = par exemple.

Existe-t-il des extensions de champ de Q\mathbb Q{2}]? ?

Oui! Il est en fait assez facile de créer une extension de champ de ceci: Ajoutez simplement un nombre radical qui n’appartient pas à $\mathbb Q{2}]$!

Comme, je pourrais ajouter $\sqrt{2}??

Oui! Cela créerait le champ $(\mathbb Q{2}]) = \mathbb Q{2}, \sqrt{2}]$. Ces champs contiennent tous les nombres qui sont des produits et des sommes de\\sqrt{2} and et\\sqrt{2}$. Ces sont de la forme $a\sqrt{2}^2$+$b\sqrt{2}+c$+$ d\sqrt{2}^2\sqrt{2}$ +$ e \sqrt{2} \sqrt{2} $+$ f \sqrt{2}$. Une idée du degré is\big{2}, \sqrt{2}]: \mathbb Q{2}]\big] is est-elle?

Hummm 22?

Oui! En effet, nous avons $a\sqrt{2}^2$+$b\sqrt{2}$+$c $+$ d\sqrt{2}^2\sqrt{2} $+$ e \sqrt{2} \sqrt{2} $+$ f \sqrt{2} $=$ (a\sqrt{2}^2+b\sqrt{2}+c) $ + $d\sqrt{2}^2 + e \sqrt{2} + f) \sqrt{2}$. Ainsi, un nombre quelconque de $\mathbb Q{2},\sqrt{2}]$ peut être écrit $A+B\sqrt{2}$, où $A$ et $B$ appartient à $\mathbb Q{2}]$. Ainsi, 2 scalaires de $\mathbb Q{2}] determine déterminent un nombre dans $\mathbb Q{2}, \sqrt{2}]$. Cela signifie que le degré de l’extension de champ\\mathbb Q{2}, \sqrt{2}]/\mathbb Q{2}] is est 2. En fait, nous avons la relation de Chaslesbig\big{2}, \sqrt{2}]: \mathbb Q\big]= =big\big{2}, \sqrt{2}] : \mathbb Q {2}] \big]\big {2}]: \mathbb Q\big]= = 22\ fois 3 = 6 6.

Une extension de champ de $\mathbb Q be peut-elle être écrite $\mathbb Q Q?

C’est mieux que ça ! Toute extension de champ de degré fini, appelée extension de champ fini, est étendue par un seul nombre. Par exemple $\mathbb Q{2}, \sqrt{2}] $=$ \mathbb Q{2} + \sqrt{2}]$, ce qui signifie que tous les nombres qui sont des sommes de puissances de $\sqrt{2}$ et $\sqrt{2}$ sont aussi des sommes de puissances de $\sqrt{2} + \sqrt{2}$. N’est-ce pas étonnamment génial?

de galois des Extensions

de manière Plus générale, tout de galois de l’extension de $\mathbb Q$ peut être écrit $\mathbb Q$ certains $x$ qui est ajouté à $\mathbb Q$.

Les degrés d’extensions de champ peuvent-ils être infinis ?

Oui. C’est le cas pour l’extension de champ\\mathbb R/\mathbb Q Q. Et, il en est de même de l’extension de champ la plus importante de la théorie de Galois! Cette extension de champ est $\bar {\mathbb Q} /\mathbb Q,, où $\bar{\mathbb Q} is est l’ensemble des nombres algébriques. Ce sont toutes des solutions à des équations polynomiales de la forme $a_n x^n $ + a a_{n-1} x^{n-1} $+$ … $+$ a_1 x x + a a_0 = 0$. Par exemple,\\sqrt{2} is est un nombre algébrique car il est solution àxx^4-2x = 0$. Ainsi, $\bar {\mathbb Q} is est une extension de champ à toutes les extensions de champ fini de Q\mathbb Q$.

En savoir plus sur les nombres algébriques avec mon article sur les nombres et la constructibilité. De plus, je dois mentionner que\\bar {\mathbb Q} is s’appelle la fermeture algébrique de $\mathbb Q since car elle consiste à ajouter toutes les solutions aux équations algébriques. Il a été prouvé par Ernst Steinitz que cette fermeture algébrique existe et est unique jusqu’à l’isomorphisme. Cette unicité est importante dans la théorie de Galois, car elle garantit que toutes les fermetures algébriques ont les mêmes symétries. Curieusement cependant, l’unicité nécessite l’axiome controversé du choix, sans lequel les fermetures algébriques peuvent ne pas être isomorphes!

Nombres conjugués

Nous y sommes presque ! Nous avons besoin d’un dernier détour par les équations polynomiales.

Division euclidienne

Comme $x^4-2x=0??

Exactement! Galois a remarqué que certaines équations pouvaient être simplifiées. Par exemple, $x^4-2x=0$ peut être factorisée comme $x(x^3-2)=0$, ce qui correspond à $x=0$ ou $x^3-2=0$. Donc, l’équation $x^4-2x=0$ peut être réduite à des équations $x=0$ et $x^3-2=0$. Et en fait, cette réduction est très similaire à la façon dont des nombres comme 35 peuvent être réduits à 5 et 7, car55 \ fois 7 = 35$. La similitude entre les équations et les nombres entiers est si forte que nous pouvons même faire des divisions euclidiennes de polynômes, tout comme vous avez appris à le faire pour les nombres! À droite, un exemple d’une telle division (ne vous inquiétez pas si vous ne le comprenez pas, ce ne sera pas important pour la suite).

Donc je suppose que Galois a étudié l’équivalent des nombres premiersExactly

Exactement! Celles-ci sont connues sous le nom d’équations polynomiales irréductibles. L’équation $x^3-2 = 0 is est un exemple d’équation polynomiale irréductible.

Attendez… Vous avez juste factorisée en tant que $x^3-2$=$(x-\sqrt{2})$ $(x^2+\sqrt{2}x+\sqrt{2}^2)$!

Oui! Mais, surtout, Galois voulait se concentrer sur les équations à coefficients rationnels. Ou plutôt des polynômes à coefficients appartenant au champ de base. Donc, ce que je voulais dire, c’est que, pour $\mathbb Q as comme champ de base,xx^3-2 = 0 is est irréductible.

Assez juste So Alors qu’est-ce qui est si intéressant avec les équations polynomiales irréductibles?

Considérons $x^2-2x-1=0$ pour avoir quelques indices. Cette équation peut être prouvée irréductible. Vous souvenez-vous comment le résoudre?

Bien que les solutions de $ax^2+bx+c=0$ sont $x=(-b \pm \sqrt{b^2-4ac})$/$(2a)$, right?

Sibb^2-4ac\geq 0$, oui.

Donc les solutions ici sont $x=(2\pm\sqrt{8})/2 $=$ 1 \ pm\sqrt {2} right, non?

Exactement! Ainsi, le polynôme irréductible de l’équation $x^2 + 2x -1=0$ a deux solutions: $1+\sqrt{2}$ et $1-\sqrt{2}$… un commentaire?

Non Wait Attendez! Ce sont des conjugués!

Bingo! C’est la découverte clé de Galois. Plus généralement, Galois dit conjugue toutes les solutions à une équation polynomiale irréductible. Et, comme vous pouvez l’imaginer, ceux-ci sont essentiels pour éliminer les radicaux des dénominateurs!

Hummm How Comment fait-on cela?

La première chose à remarquer est que si $x_1$, $x_2$, …, $x_n$ sont toutes les solutions d’un polynôme irréductible de l’équation $a_n x^n + a_{n-1} x^{n-1} $+$ … + a_1 x + a_0 = 0$ à coefficients rationnels, alors ce polynôme irréductible équation peut effectivement être réécrite $a_n(x-x_1)(x-x_2)…(x-x_n)=0$. L’identification des termes constants donne alors $x_1 x_2 xx_n= = ((-1) ^n a_0/a_n$. Donc, de manière cruciale, le produit des nombres conjugués est le nombre rationnel^(-1) ^n a_0 /a_n,, qui est non nul (prouvez-le!).

Pour faire ce que je viens de dire, les solutions d’équations polynomiales irréductibles doivent toutes avoir la multiplicité 1. Cette propriété est connue sous le nom de séparabilité. Cette propriété ne dépend que du champ de base. Les champs de base dont les polynômes irréductibles sont séparables sont appelés parfaits. Heureusement, dans notre cas, $\mathbb Q is est parfait, ainsi que toutes ses extensions.

Voici une petite blague pour garder à l’esprit le lien fort entre les conjugués:

Conjugués et Rationnels

Alors, comment cela s’applique-t-il à la suppression des radicaux des dénominateurs?

Considérons une fraction $1/x_1,, où $x_1 is est une expression compliquée avec des radicaux. En multipliant en haut et en bas par les conjugués $x_2$, …, $x_n$ de $x_1$, alors les rendements de 1 $x_1 $=$ (-1)^n a_n x_2…x_n/a_0$, ce qui n’a pas de radical au dénominateur, comme nous l’avons établi $a_0$ pour un non-nulle du champ de base!

Waw! Fantastique! Alors qu’en est-il de $\sqrt{2}?? Quels sont ses conjugués ?

Rappelons que $x^3-2 = 0 is est l’équation polynomiale irréductible\\sqrt{2} is est la solution de. Ainsi, ses conjugués sont les autres solutions à cette équation, qui sont les nombres complexes $\sqrt{2}j$ et $\sqrt{2}j^2$, où $j= e^{i\tau/3}$ avec $\tau = 2\pi$ étant le rapport entre la circonférence d’un cercle par son rayon. La figure suivante montre les emplacements des solutions conjuguées dans ce plan complexe :

Racines cubiques dans le Plan complexe

Ambiguïté de Galois

Enfin, nous arrivons à l’aperçu clé de Galois!

Qu’est-ce que c’est ?Les conjugués

sont parfaitement permutables. Cela signifie que, si vous changez systématiquement $\sqrt{2} by par son conjugué $-\sqrt{2},, alors les égalités tiennent toujours. Par exemple, puisque nous avions $1/(\sqrt{2}-1) = \sqrt{2} + 1$, je peux vous dire directement que $1/(-\sqrt{2}-1) = -\sqrt{2} +1$! De même, nous avons l’implication étonnante suivante:

Remplacement de la racine Cubique de 2

Waw! C’est surprenant ! D’où ça vient ?

Hehe Let Permettez-moi d’abord de rappeler que les champs finis sont couverts par un seul élément. Donc, si le champ de base est de $\mathbb Q$, tout corps fini peut être écrit $\mathbb Q$ pour un droit de $x_1$. Maintenant, envisager de $x^n + a_{n-1}x^{n-1} $+$ … + a_1 x + a_0 = 0$ le polynôme irréductible de l’équation $x_1$ est la solution. Ensuite, ce qui définit $\mathbb Q$ est $\mathbb Q$-espace vectoriel engendré par $x_1$, $x_1^2$, …, $x_1^{n-1}$, avec la simplification des pouvoirs accrus de $x_1$ en conséquence de la règle algébrique $x_1^n $=$ – a_{n-1}x_1^{n-1} $-$ … – a_0$.

Donc $\mathbb Q can peut être construit uniquement sur ces règles algébriques ?

Exactement! Surtout, ces algébrique des règles de $\mathbb Q$ n’ont pas vraiment dépend de la nature de $x_1$; ils dépendent uniquement de l’irréductible polynôme $x_1$ est la solution de! Par conséquent, les règles de $\mathbb Q$ sont identiques à ceux de $\mathbb Q$, …, $\mathbb Q$, où $x_1$ est remplacé par l’un de ses conjugués $x_2$, …, $x_n$. En particulier, les champs\\mathbb Q{2}] and et\\mathbb Q{2}j] operate fonctionnent exactement selon les mêmes règles. C’est pourquoi les conjugués sont parfaitement permutables ! Nous disons que les champs de $\mathbb Q{2}]$ et $\mathbb Q{2} j]$ est isomorphe, et que le remplacement de $\sqrt{2}$ par $\sqrt{2}j$ est un isomorphisme $\mathbb Q{2}] \rightarrow \mathbb Q{2}j]$.

Plus généralement, le champ construit sur des règles algébriques dérivées d’une équation polynomiale irréductible est appelé champ de rupture de l’équation polynomiale irréductible. Désignant $P$ le polynôme, ce champ de rupture s’écrit souvent $\mathbb Q/(P)$.
Donc, $\mathbb Q{2}] and et $\mathbb Q{2}j] are sont en fait plus ou moins les mêmes ?

D’une manière très similaire (mais plus forte) que deux espaces vectoriels de dimension 2 sont plus ou moins les mêmes! Cela a une conséquence terrible. Cela signifie que, d’un point de vue algébrique, il n’a aucun sens de faire une différence entre un nombre et l’un de ses conjugués (à condition de remplacer systématiquement le nombre par son conjugué)! Ainsi, par exemple, $\sqrt{2} and et and-\sqrt{2} are sont algébriquement indiscernables ! Pour garder cela à l’esprit, voici une autre blague que j’ai inventée:

Racine cubique de Deux est Remplacé

$\sqrt{2}$ et $-\sqrt{2}$ indiscernables… Hummm… Tu exagères, droit?

Pas du tout ! Toute distinction entre ces deux nombres doit impliquer d’autres mathématiques que l’algèbre, comme les relations d’ordre ou la topologie. Ce que je veux dire, c’est que, par exemple, la relation $\sqrt{2} > 0$ t faire une différence entre $\sqrt{2}$ en $-\sqrt{2}$, mais c’est parce qu’il s’agit d’une relation d’ordre. Mais si nous nous limitons aux égalités polynomiales, il n’y a absolument aucune différence entre $\sqrt{2} and et $-\sqrt{2}$. De même, $i$ et $-i$, les solutions du polynôme irréductible de l’équation $x^2+1=0$, sont également algébriquement indiscernables. Pourtant, nous appelons arbitrairementi je one l’un d’entre eux. C’est pourquoi Galois a appelé sa théorie la théorie de l’ambiguïté. Aujourd’hui, l’ambiguïté du choix de la classique de la racine carrée de $-1$ parmi $i$ et $-i$ est plutôt appelé la symétrie entre $i$ et $-i$.

Groupes de Galois

Galois s’est particulièrement concentré sur les extensions de champ qui sont stables par conjugaison. De telles extensions de champs stables sont maintenant connues sous le nom d’extensions de Galois. Donc, si $x_1$ appartient à un de Galois de l’extension, puis ce de Galois de l’extension contient tous ses conjugués $x_2$, …, $x_n$.

Puisque la conjugaison dépend du champ de base, la stabilité par conjugaison aussi.
Comment construire une extension de Galois ?

Une façon simple de construire des extensions de Galois consiste à prendre le champ couvert par des solutions d’une équation polynomiale irréductible. Par exemple, si $x_1$, …, $x_n$ sont conjugués pour le champ de base de $\mathbb Q$, alors $\mathbb Q / \mathbb Q$ est un de Galois de l’extension. Les champs construits de cette façon sont appelés champs de fractionnement.

Notez que l’équation polynomiale d’un champ de fractionnement n’a pas besoin d’être irréductible. De plus, il peut être prouvé que toutes les extensions de champs finis de Galois divisent des champs.
Pouvez-vous donner un exemple?

Par exemple, le champ de division de l’équationxx^3-2 =0 is est l’extension de Galois $\mathbb Q{2}, \sqrt{2}j, \sqrt{2}j^2]/\mathbb Q span étendue par ses solutions.

Qu’est-ce qui est si intéressant avec les extensions Galois ?

Si $x_1 spans couvre une extension de Galois, ses conjugués aussi. Ainsi, $\mathbb Q = \mathbb Q =$ … $= \mathbb Q = =\\mathbb Q$. Ainsi, l’isomorphisme entre $\mathbb Q$ et $\mathbb Q$ qui consiste à toujours remplacer $x_1$ par $x_2$ est en fait un isomorphisme entre $\mathbb Q$ et de lui-même! Nous appelons cela un automorphisme. Les automorphismes d’une extension de Galois forms\mathbb Q/\mathbb Q forms forment le groupe de GaloisGalGal(\mathbb Q/\mathbb Q)$.

Vous pouvez en savoir plus sur les groupes avec mon article sur les symétries.

Maintenant, il est crucial, si $\mathbb Q = \mathbb Q$, alors tous les automorphismes de Galois de l’extension $\mathbb Q/ \mathbb Q$ sont des permutations de $x_1$ avec l’un de ses conjugués! En particulier, nous voyons ici que la cardinalité d’un groupe de Galois est égale au degré de l’extension de Galois.

Pouvez-vous donner un exemple?

Bien sûr! Vous pouvez remarquer que $\mathbb Q = \mathbb Q$ et $\mathbb Q = \mathbb Q$, ce qui signifie que $i$ et $\sqrt{2}$ chacun s’étend sur le fractionnement des champs de l’irréductible équation polynomiale ils sont la solution de. Ainsi, $\mathbb Q/\mathbb Q and et $\mathbb Q/\mathbb Q are sont toutes deux des extensions de Galois. Par conséquent, leurs automorphismes consister à remplacer $i$ par l’un de ses conjugués, $i$ ou $-i$, et le remplacement de $\sqrt{2}$ par $\sqrt{2}$ ou $-\sqrt{2}$. Dans les premiers cas, nous ne changeons rien en nombres, ce qui correspond à la symétrie nulle. Les seconds cas peuvent être visualisés sous forme de symétries axiales, comme indiqué dans la figure ci-dessous:

Symétries du Plan complexe

N’est-ce pas incroyable?

C’est bien nice Mais peut-on avoir des symétries plus compliquées ?

Bien sûr! Passons au champ de division Q\mathbb Q{2}, \sqrt{2}j, \sqrt{2}j^2] of dexx^3-2 = 0$. Mais, avant d’aller plus loin, notons que $\mathbb Q{2}, \sqrt{2}j, \sqrt{2}j^2] = \mathbb Q{2}, j]$.

Comment prouver l’égalité ?

Il suffit de prouver que tous les générateurs d’un champ appartiennent à l’autre. Commençons par prouver que les générateurs de ce dernier, $\sqrt{2} and etjj$, appartiennent au premier. C’est évident pour $\sqrt{2}$. Maintenant,jj =(\sqrt{2}j) / \sqrt{2}$, doncjj belong appartiennent également à l’ancien champ. Cela prouve que tous les éléments demath\mathbb Q{2}, j] belong appartiennent à $\mathbb Q{2}, \sqrt{2}j, \sqrt{2} j^2]$. Réciproquement, il est simple que tous les producteurs de l’ancien champ, $\sqrt{2}$, $\sqrt{2}j$ et $\sqrt{2}j^2$, sont les produits de l’générateurs de ce dernier. Ainsi, les deux champs sont égaux. Et, en particulier,\\mathbb Q{2}, j]/\mathbb Q is est une extension de Galois.

Cool! Alors, quel est le groupe de GaloisGalGal(\mathbb Q{2}, j]/\mathbb Q)$?

Hehe ToPour comprendre les symétries de Q\mathbb Q{2}]$, nous devrons aller plus loin dans l’étude de Galois des groupes de Galois

Correspondance de Galois

Le problème avec les groupes de Galois est qu’ils peuvent devenir extrêmement grands et compliqués. C’est notamment le cas du groupe infiniGalGal(\bar{\mathbb Q}/\mathbb Q)$. Pour appréhender des groupes aussi immenses et complexes, Galois a eu la brillante idée de les découper en petits morceaux.

Alors, comment pouvons-nous briser les groupes de Galois?

Étonnamment, Galois a découvert que les groupes de Galois pouvaient être divisés en sous-groupes de symétries en ne regardant que ceux qui laissent un sous-champ inchangé. Par exemple,\\mathbb Q is est un sous-champ de $\mathbb Q{2}, j],, puisque tout nombre du premier appartient au second. Ainsi, les symétries de $\mathbb Q{2},j]$ qui ne sont pas de changer quoi que ce soit de $\mathbb Q$ forment un sous-groupe du groupe de Galois de $\mathbb Q{2},j]/\mathbb Q$. Ces symétries forment le groupe de GaloisGalGal(\mathbb Q{2},j]/\mathbb Q)$.

Wow! Cela devient abstrait!

Je sais! J’aime visualiser ces symétries comme les moyens de brancher $\mathbb Q{2}, j] onto sur onto\mathbb Q$. Voici une image imagée du « branchement sur »:

Branchement sur

Ici, il y aurait 2 façons (identité et symétrie axiale horizontale), mais dans des dimensions plus élevées, les symétries peuvent être beaucoup plus compliquées.
DoncGalGal(\mathbb Q{2},j]/\mathbb Q) is est un sous-groupe deGalGal(\mathbb Q{2},j]/\mathbb Q)??

Exactement! Et c’est tout simplement parce que $\mathbb Q{2},j]$ est un de Galois de l’extension de $\mathbb Q$ qui est lui-même un champ d’extension de $\mathbb Q$.

Et il y a plus! Galois a montré que tous les sous-groupes d’une extension de Galois sont obtenus de cette façon ! Plus précisément, la cartographie d’un champ $K$ entre le Galois de l’extension $\mathbb Q{2},j]$ et le champ de base de $\mathbb Q$ pour le groupe de Galois $Gal(\mathbb Q{2},j] / K)$ est bijective. Ce fait s’appelle la correspondance de Galois ! Cette correspondance est schématiquement affichée ci-dessous pour une extension de Galois $\mathbb Q/\mathbb Q$.

Correspondance de Galois

Ce mappage est également strictement décroissant dans le sens où plus le champKK$ est grand, plus le groupe de Galois $Gal(\mathbb Q{2},j]/K) is est petit. Et, naturellement, ce théorème vaut pour n’importe quel champ de base de $k$ autre que $\mathbb Q$ et tout de Galois de l’extension $L/k$ autre que $\mathbb Q{2},j]$. Notez queKK$ ici n’est pas supposé être une extension de Galois du champ de base. Mais tant queLL/k is est une extension de Galois, $L/K will sera aussi une extension de Galois.
Comment cela s’applique-t-il àGalGal(\mathbb Q{2}, j]/\mathbb Q)$?

Au lieu d’essayer de décrire directement ce groupe, concentrons-nous sur son sous-groupeGalGal(\mathbb Q{2},j]/\mathbb Q)$. Il est simple que $\sqrt{2}$ s’étend sur $\mathbb Q{2},j]$ lorsqu’il est ajouté à $\mathbb Q$. Ainsi, $\mathbb Q{2}, j]/\mathbb Q is est une extension de Galois étendue par $\sqrt{2}$. Par conséquent, en utilisant un théorème que nous l’avons vu précédemment, nous savons que tous les automorphismes de ce de Galois de l’extension consister à remplacer $\sqrt{2}$ par l’un de ses 3 conjugués (lui-même, $\sqrt{2} j$ et $\sqrt{2} j^2$)!

Vous pouvez alors voir queGalGal(\mathbb Q{2},j]/\mathbb Q) is est isomorphe au groupe\\mathbb Z/3\mathbb Z of de nombres entiers modulo 3 avec addition.

Maintenant, je pourrais continuer à étudier d’autres morceaux deGalGal(\mathbb Q{2},j]/\mathbb Q)$, comme le sous-groupe de GaloisGalGal(\mathbb Q{2},j]/\mathbb Q{2}])$. Mais je préfère utiliser un autre des puissants théorèmes de Galois. À savoir, il a prouvé que si $\mathbb Q /\mathbb Q was était en outre une extension de Galois elle-même, alors le sous-groupeGalGal(\mathbb Q{2}, j]/\mathbb Q) is est normal.

Officiellement, $H$ est un sous-groupe normal de $G$ si $gH = Hg$ pour tout $g \in G$.

Ainsi, le groupe de Galois de $\mathbb Q{2},j]/\mathbb Q can peut être quotienté par ce sous-groupe, et le groupe de quotient est alors égal àGalGal(\mathbb Q/\mathbb Q)$. Pourtant, $\mathbb Q/\mathbb Q$ est en effet un de Galois de l’extension engendré par $j$, dont le conjugué est $j^2$. Ainsi, $Gal(\mathbb Q/\mathbb Q)$ est constitué soit en laissant $j$ que $j$ ou de le remplacer par $j^2$.

de manière Plus générale, si nous avons le champ des extensions de $L/K/k$ avec $L/k$ et $K/k$ de Galois des extensions, puis $Gal(L/K)$ est un sous-groupe normal de $Gal(L/K)$ et $Gal(L/k)/Gal(L/K) \cong Gal(K/k)$. Cela montre que nous avonsGalGal(\mathbb Q{2}, j]/\mathbb Q) / Gal(\mathbb Q{2}, j]/\mathbb Q) \cong Gal(\mathbb Q/\mathbb Q) \cong\mathbb Z /2\mathbb Z$.

On peut maintenant déduire toutes les symétries de $Gal(\mathbb Q{2},j]/\mathbb Q)$ par la combinaison de ces de $Gal(\mathbb Q{2},j] / \mathbb Q)$ et $Gal(\mathbb Q/\mathbb Q)$. On peut afficher ces symétries par le dessin de la façon dont ils affectent nos trois couvrant conjugués de $\sqrt{2}$, $\sqrt{2}j$ et $\sqrt{2}j^2$:

Groupe de Galois

Remarque que ci-dessus, la symétrie de $Gal(\mathbb Q{2},j] / \mathbb Q)$ est fait avant que de $Gal(\mathbb Q/\mathbb Q)$.

De manière cruciale, la figure ci-dessus contient toutes les symétries deGalGal(\mathbb Q{2},j]/\mathbb Q)$. Et étonnamment, ces symétries correspondent à un groupe de symétrie bien connu.

Quel est ce groupe de symétrie bien connu ?

Je vais laisser Marcus du Sautoy vous le présenter:

Alors, les symétries sont-elles ici comme une étoile de mer ou comme un triangle?

Comme un triangle, évidemment !

Oui, en effet! Ce groupe de symétries du triangle est appeléDD_3$, et il est le même que le groupeSS_3 of de permutations de 3 éléments. Cela nous amène à la formule suivante, que j’ai trouvée si belle, que j’ai décidé de l’encadrer !

Isomorphisme de groupe de Galois

Concluons

À bien des égards, Galois doit être considéré comme le père de l’algèbre moderne. Son point de vue clé était de regarder les mathématiques sous l’angle des règles de fonctionnement, ce qui l’a amené à dévoiler des ambiguïtés surprenantes et perspicaces, ou symétries, entre les nombres. À partir d’un point de vue algébrique, les nombres tels que $\sqrt{2}$, $\sqrt{2}j$ et $\sqrt{2}j^2$ sont en effet parfaitement symétrique et totalement interchangeables.

Mais, la théorie de Galois a-t-elle une application?

La compréhension de ces symétries a eu des applications étonnantes en géométrie algébrique et en topologie algébrique, entre autres. En particulier, les premiers succès de la théorie incluent une classification des polygones réguliers constructibles et un théorème affirmant que les équations polynomiales de haut degré ne pouvaient pas être résolues par des radicaux.

Mais c’était il y a des siècles

Des succès récents apparaissent dans la cryptographie et la preuve du dernier théorème de Fermat par Andrew Wiles. Cette preuve consiste à étudier le groupe de GaloisGalGal(\bar{\mathbb Q}/\mathbb Q) with avec une représentation de groupe. Mais je dirais que la théorie est en quelque sorte encore jeune et qu’il reste beaucoup à découvrir. Après tout, c’est l’un des domaines de recherche les plus actifs dans la recherche en mathématiques pures d’aujourd’hui.

Cela devrait nous amener à rendre beaucoup plus d’hommages à l’incroyable génie de Galois Let Permettez-moi d’en inclure un de SocraticaStudios.