Lecture zen
Il soumet dans les mois qui suivent plusieurs autres articles sur la résolubilité des équations algébriques. La légende veut que Cauchy, qui en était le rapporteur, les aurait égarés. Il est plus probable en fait qu’il les ait conservés pour que Galois puisse concourir au grand prix de mathématiques de l’Académie des sciences en 1830. Galois candidate à ce concours et Fourier qui est chargé de rapporter son manuscrit meurt peu après ... Le grand prix échoit à Abel et Jacobi.
Suite à la révolution de juillet 1830, Galois s’engage en politique au côté des républicains. Fin décembre 1830, il est expulsé de l’école préparatoire suite à la rédaction d’un texte critique à l’égard de son directeur. En 1831, lors d’un banquet, Galois porte maladroitement un toast à Louis-Philippe avec un couteau à la main ... Il est arrêté et passe un mois en prison. Quelques mois après, il est à nouveau arrêté et passe six mois en prison pour port illégal de l’uniforme de l’artillerie. Cette même année, il soumet un nouveau manuscrit à l’Académie des sciences, toujours sur la résolubilité des équations polynomiales. Poisson, qui le rapporte est rebuté par sa difficulté et le refuse. En prison, Galois poursuit ses recherches mathématiques et s’intéresse aux fonctions elliptiques.
Le 30 mai 1832, Galois se bat en duel au pistolet suite, semble-t-il, à une bête querelle amoureuse. Il décède le lendemain de ses blessures. La nuit précédant le duel, il rédige une lettre1 à son ami Auguste Chevalier lui enjoignant de faire connaître ses travaux à Jacobi et Gauss. Elle se termine par cette phrase très émouvante qui permet de mesurer l’optimisme de Galois quant à l’issue du duel : Après cela, il y aura, j’espère, des gens qui trouveront leur profit à déchiffrer tout ce gâchis. Liouville, dix ans plus tard, re-découvrira les travaux de Galois et qui les popularisera.
Structures algébriques de base.
Structures algébriques
Structures algébriques de base.
Pour bien aborder ce chapitre
La notion de groupe est apparue dès la fin du \(18^{\textrm{ e}}\) de manière parallèle dans différents domaines des mathématiques.
En \(1798\), Karl Friedrich Gauss, dans ses Disquisitiones Arithmeticae , utilise implicitement la notion de groupe abélien. Plus tard, au milieu du \(19^{\textrm{ e}}\), Ernst Kummer établie des résultats de factorisation sur les groupes dans une tentative de prouver le grand théorème de Fermat.
Dans la première moitié du \(19^{\textrm{ e}}\) siècle, le jeune mathématicien prodige Évariste Galois cherche à prouver que les équations polynomiales de degré \(\geqslant 5\) à coefficients complexes ne peuvent être résolues par radicaux, ce qui signifie que leurs racines ne peuvent être écrites au moyen des opérations usuelles. Pour ce faire, il s’intéresse à un groupe relié aux racines de l’équation considérée. Son génie consiste alors à comprendre que les difficultés pour résoudre l’équation ne proviennent pas de son degré mais des propriétés mathématiques de ce groupe.
À la fin du \(19^{\textrm{ e}}\), Félix Klein utilise les groupes pour classifier les nouvelles géométries tout juste découvertes.
Les mathématiciens savent depuis que les groupes interviennent dans de très nombreux domaines. L’ensemble des isométries de l’espace ou du plan est un groupe appelé groupe orthogonal, voir le chapitre [chap_prod_scal]. L’ensemble des isométries préservant un objet donné (un polygone régulier, un solide platonicien, etc...) a une structure de groupe. L’ensemble des permutations \(\mathfrak S_n\) d’un ensemble fini est un groupe qui fut étudié par Cauchy et Cayley à la fin du \(19^{\textrm{ e}}\) siècle. Le chapitre [chap_groupe_sym] lui est consacré. Le groupe découvert par Galois est d’ailleurs un sous-groupe de ce groupe. L’ensemble des transformations qui, en relativité restreinte, permettent de changer de référentiel galiléen tout en préservant les lois de la physique et la vitesse de la lumière, forment un groupe appelé groupe de Lorenz. En chimie, les symétries des molécules permettent de leur associer des groupes qui aident à comprendre mieux leurs propriétés. Plus concrètement encore, l’ensemble des manipulations qu’on peut effectuer sur un Rubik’s cube a lui aussi une structure de groupe. L’étude de ce groupe permet de mettre en place des stratégies gagnantes pour le reconstituer.
L’objet de ce chapitre, peu ambitieux, est d’introduire la notion de groupe ainsi que le vocabulaire attenant. Nous le terminerons par l’étude de deux autres structures, celles d’anneaux et de corps, qui sont elles aussi omniprésentes en mathématiques.
Groupe
Loi de composition interne
(Loi de composition interne). Soit \(E\) un ensemble. On appelle loi de composition interne une application de \(E\times E\) dans \(E\) : \[\varphi:\left\{ \begin{array}{ccl} E\times E & \longrightarrow & E \newline (a,b) & \longmapsto & \varphi(a,b) \end{array} \right.\]
Pour simplifier les notations, on utilisera, suivant le contexte, pour la loi de composition interne \(\star\) :
(Loi associative, commutative). Soit \(\star\) une loi de composition interne sur un ensemble \(E\). On dit que \(\star\) est :
(Pour montrer que...).
... \(\star\) est commutative :
... \(\star\) est associative :
... \(e\in E\) est neutre :
(Unicité de l’élément neutre). Si \((E,\star)\) possède un élément neutre, il est unique.
Supposons que \(e'\) soit un autre élément neutre pour \(\star\). Alors \(e=e\star
e' = e'\) et donc \(e=e'\).
Si une loi de composition interne est commutative et associative, on définit les notations suivantes pour \((x_1, \dots, x_n) \in E^n\) :
Soit \(E\) un ensemble. On considère l’ensemble des applications de \(E\) dans \(E\) muni de la composition : \(\left(\mathcal F \left(E,E\right), \circ \right)\). La loi de composition interne \(\circ\) est associative mais pas commutative. \(Id_E\) est l’élément neutre de cette loi.
Dans la suite, on suppose que \(\star\) est associative et admet un élément neutre.
(Symétrique). On suppose que \((E,\star)\) possède un élément neutre \(e\). Soit un élément \(x\in E\). On dit qu’un élément \(y\in E\) est un symétrique (ou un inverse) de l’élément \(x\) si et seulement si : \[x\star y = y\star x =e\] Si tel est le cas, \(y\) est unique et est appelé le symétrique de \(x\).
Supposons que \(x\) possède deux symétriques \(y_1 \in E\) et \(y_2 \in E\), alors, par application de la définition et par associativité de \(\star\), il vient : \[y_2=\left(x\star y_1\right)\star y_2=\left( y_1 \star x\right)\star y_2= y_1 \star \left(x \star
y_2\right)=y_1\star e=y_2.\]
(Pour montrer que \(y\in E\) est le symétrique de \(x\in E\)).
L’élément neutre est toujours son propre symétrique : \(e^{-1} = e\).
Si un élément \(x\) de \((E,\star)\) admet un symétrique :
(Règles de calcul avec les inverses).
La propriété \(\left(x\star y\right)^{-1}=y^{-1}\star x^{-1}\) dit simplement que l’on se déshabille dans l’ordre inverse de l’habillage. Si \(x\) désigne l’opération << je mets ma chaussette droite >> et \(y\) l’opération << je mets ma chaussure droite >>, les opérations inverses sont \(x^{-1}\), << j’ôte ma chaussette droite >> et \(y^{-1}\) l’opération << j’ôte ma chaussure droite >>. L’opération << je mets ma chaussette droite, puis ma chaussure droite >> est désignée par \(x\star y\). Son opération inverse est bien \(\left(x\star y\right)^{-1}=y^{-1}\star x^{-1}\) c’est-à-dire << j’ôte ma chaussure droite, puis ma chaussette droite >>.
L’opération \(z\) << je mets ma chaussette gauche >> commute avec \(x\) et \(y\), (donc avec \(x^{-1}\) et \(y^{-1}\)). De ce fait \(\left(x\star z\right)^{-1}=z^{-1}\star x^{-1}\), ce qui peut être facilement vérifié expérimentalement.
Groupe
(Groupe). Soit \(G\) un ensemble. On dit que \(\left(G,\star\right)\) est un groupe si \(\star\) est une loi de composition interne sur \(G\) vérifiant :
Si de plus la loi \(\star\) est commutative, on dit que le groupe est abélien (ou commutatif).
Présentons maintenant un autre exemple essentiel.
(Groupes des bijections d’un ensemble). Soit \(E\) un ensemble. On note \(\mathfrak S\left(E\right)\) l’ensemble des bijections de \(E\) dans \(E\). Alors \(\left(\mathfrak S\left(E\right),\circ\right)\) est un groupe (en général non abélien).
Évariste Galois né à Bourg-la-Reine le 25 octobre 1811, mort à Paris le 31 mai 1832.
Malgré une scolarité en dents de scie, Galois montre des capacités extraordinaires en mathématiques. Il a un tel goût pour cette matière qu’un de ses professeurs dira C’est la fureur des mathématiques qui le domine ; aussi je pense qu’il vaudrait mieux pour lui que ses parents consentent à ce qu’il ne s’occupe que de cette étude . En 1826, il obtient un prix en mathématiques au concours général. En 1828, il essaie d’intégrer l’école Polytechnique alors qu’il n’est pas élève, comme c’est normalement l’usage, en mathématiques spéciales. Il est recalé. Il entre alors en mathématiques spéciales à Louis-le-Grand dans la classe de Louis-Paul-Émile Richard. Ce dernier prend vite conscience du génie de son élève. Il conservera d’ailleurs ses copies. Le père de Galois se suicide pour des raisons politiques quelques jours avant que Galois ne se présente à nouveau à Polytechnique. Il est une seconde fois recalé, à la stupéfaction de son maître. La légende veut qu’il ait jeté le chiffon servant à effacer le tableau à la tête de son examinateur devant la stupidité des questions posées ... Il intègre cependant l’École préparatoire (appelée maintenant l’École Normale Supérieure, rue d’Ulm). Il publie cette même année son premier article de mathématiques dans les Annales de mathématiques pures et appliquées de Gergonne.
Il soumet dans les mois qui suivent plusieurs autres articles sur la résolubilité des équations algébriques. La légende veut que Cauchy, qui en était le rapporteur, les aurait égarés. Il est plus probable en fait qu’il les ait conservés pour que Galois puisse concourir au grand prix de mathématiques de l’Académie des sciences en 1830. Galois candidate à ce concours et Fourier qui est chargé de rapporter son manuscrit meurt peu après ... Le grand prix échoit à Abel et Jacobi.
Suite à la révolution de juillet 1830, Galois s’engage en politique au côté des républicains. Fin décembre 1830, il est expulsé de l’école préparatoire suite à la rédaction d’un texte critique à l’égard de son directeur. En 1831, lors d’un banquet, Galois porte maladroitement un toast à Louis-Philippe avec un couteau à la main ... Il est arrêté et passe un mois en prison. Quelques mois après, il est à nouveau arrêté et passe six mois en prison pour port illégal de l’uniforme de l’artillerie. Cette même année, il soumet un nouveau manuscrit à l’Académie des sciences, toujours sur la résolubilité des équations polynomiales. Poisson, qui le rapporte est rebuté par sa difficulté et le refuse. En prison, Galois poursuit ses recherches mathématiques et s’intéresse aux fonctions elliptiques.
Le 30 mai 1832, Galois se bat en duel au pistolet suite, semble-t-il, à une bête querelle amoureuse. Il décède le lendemain de ses blessures. La nuit précédant le duel, il rédige une lettre1 à son ami Auguste Chevalier lui enjoignant de faire connaître ses travaux à Jacobi et Gauss. Elle se termine par cette phrase très émouvante qui permet de mesurer l’optimisme de Galois quant à l’issue du duel : Après cela, il y aura, j’espère, des gens qui trouveront leur profit à déchiffrer tout ce gâchis. Liouville, dix ans plus tard, re-découvrira les travaux de Galois et qui les popularisera.
(Règles de calcul dans un groupe). Soit \((G,\star)\) un groupe.
(Groupe produit). On considère deux groupes \((G,\star)\) et \((H,\bullet)\) et sur l’ensemble \(G\times H\), on définit la loi \(\bigstar\) par : \[\forall ((x,y), (x',y'))\in (G\times H)^2, \quad(x,y) \bigstar (x',y')=
(x\star x', y\bullet y')\] Alors \((G\times H, \bigstar)\) est un groupe appelé groupe produit.
La preuve est laissée en exercice. Il suffit de vérifier chacun des axiomes définissant un groupe.
(Sous-groupe). Soit \((G, \star)\) un groupe. On dit qu’une partie \(H\subset G\) est un sous-groupe de \(G\) si et seulement si :
(Caractérisation des sous-groupes). Soient \(\left(G,\star\right)\) un groupe et \(H\) une partie non vide de \(G\). \(H\) est un sous-groupe de \(G\) si et seulement si
(Pour montrer que \(H \subset G\) est un sous-groupe du groupe \((G,\star)\)).
(Un sous-groupe a une structure de groupe). Si la partie \(H\) est un sous-groupe de \((G, \star)\), alors puisque cette partie est stable pour la loi de composition interne, on peut définir la restriction de la loi \(\star\) à \(H\) qui est une loi de composition interne sur \(H\). Muni de cette loi restreinte, \((H, \star)\) est un groupe.
Ce théorème est d’une grande utilité pour prouver rapidement que des ensembles sont des groupes.
(Pour montrer qu’un ensemble a une structure de groupe...). ...il suffit de montrer que c’est un sous-groupe d’un groupe connu.
Montrons que \((\mathbb U,\times)\) est un groupe avec : \(\mathbb U=\{ z\in \mathbb{C}\mid
\left|z\right| =1 \}\). Il suffit de prouver que c’est un sous-groupe de \(\left(\mathbb{C}^*,\times\right)\).
( L’intersection de deux sous-groupes est un sous-groupe). Si \(H_1\) et \(H_2\) sont deux sous-groupes d’un groupe \(G\), alors \(H_1
\cap H_2\) est un sous-groupe de \(G\)
Notons \(H=H_1 \cap H_2\) et montrons que \(H\) est un sous-groupe de \(G\). Utilisons la caractérisation précédente. Soit \((x,y)\in H^2\). On a alors \((x,y)\in H_1^2\) ce qui amène que \(x\star y^{-1} \in
H_1\) car \(H_1\) est un sous-groupe de \(G\) et \((x,y)\in H_2^2\) ce qui amène aussi que \(x\star y^{-1} \in H_2\). Donc \(x\star y^{-1}\in H_1\cap H_2=H\) et \(H\) est bien un sous-groupe de \(G\).
\(H_1 \cup H_2\) n’est pas un sous-groupe de \(G\), sauf si \(G_1 \subset G_2\) ou \(G_2 \subset G_1\). Voir exercice [exo_roger] p. [exo_roger].
Morphisme de groupes
(Morphisme). Soient deux groupes \((G_1, \star)\) et \((G_2, \bullet)\). Une application \(f~:~G_1\longrightarrow G_2\) est un morphisme de groupes ou homomorphisme si et seulement si : \[\forall (x,y)\in G_1^2, \quad f( x\star y) = f(x) \bullet f(y)\]
On dit de plus que \(\varphi\) est un :
(Pour montrer que \(f:G_1\longrightarrow G_2\) est un morphisme).
(Propriétés des morphismes de groupes). Si \((G_1,\star)\) est un groupe d’élément neutre \(e_1\), si \((G_2,\bullet)\) est un groupe d’élément neutre \(e_2\) et si \(f:G_1\longrightarrow G_2\) est un morphisme de groupes, alors
(Image directe et réciproque de sous-groupes par un morphisme). Soient \(\left(G_1,\star\right)\) et \(\left(G_2,\bullet\right)\) deux groupes et soit \(f~:~G_1
\mapsto G_2\) un morphisme de groupes.
(Noyau, image d’un morphisme de groupes). On considère un morphisme de groupes \(f~:~G_1\mapsto G_2\). On note \(e_1\) l’élément neutre du groupe \(G_1\) et \(e_2\) l’élément neutre du groupe \(G_2\). On définit
(Le noyau et l’image d’un morphisme de groupes sont des sous-groupes). On considère un morphisme de groupes \(f~:~G_1\mapsto G_2\). Alors
(Caractérisation des morphismes injectifs). Un morphisme \(f\) de \(\left(G_1,\star\right)\) dans \(\left(G_2,\bullet\right)\) est injectif si et seulement si \(\boxed{\operatorname{Ker}f=\left\{e_1\right\}}\).
(Pour montrer qu’un morphisme \(f~:~(G_1,\star)\mapsto
(G_2,\bullet)\) est injectif).
(Caractérisation des morphismes surjectifs). Un morphisme \(f\) de \(\left(G_1,\star\right)\) dans \(\left(G_2,\bullet\right)\) est surjectif si et seulement si \(\boxed{\mathop{\mathrm{Im}}f = G_2 }.\)
Par définition de la surjectivité!
Ajoutons, à titre indicatif, les deux propositions suivantes. Leur preuves forment un exercice instructif laissé au lecteur.
(Composition de morphismes de groupes).
(L’ensemble des automorphismes d’un groupe est un groupe pour la composition). Si \(\left(G,\star\right)\) est un groupe, on note \({\rm Aut}\left(G\right)\) l’ensemble des automorphismes de \(G\). \(\left({\rm Aut}\left(G\right),\circ\right)\) est un groupe.
Anneau, corps
Structure d’anneau
(Anneau). Soit \(A\) un ensemble muni de deux loi de composition interne notées \(+\) et \(\times\). On dit que \((A,+,\times)\) est un anneau si et seulement si :
Dans un anneau \((A, +, \times)\), on note \(-x\) le symétrique de l’élément \(x\) pour la loi \(+\) et \(0\) l’élément neutre de la loi \(+\). Attention, un élément \(x\in A\) n’a pas forcément de symétrique pour la loi \(\times\), la notation \(x^{-1}\) n’a pas de sens en général.
(Règles de calcul dans un anneau). On considère un anneau \((A, +, \times)\). On a les règles de calcul suivantes :
Soit \((a,b)\in A^2\)
Si \((A, +, \times)\) est un anneau, \((A,\times)\) n’est pas un groupe . Sauf dans le cas où \(1=0\) et \(A = \{0\}\).
En général, \[\boxed{a\times b = 0 \not \Rightarrow a=0 \textrm{ ou } b=0} .\] On dit que de tels éléments \(a\) et \(b\) sont des diviseurs de zéro. Par exemple, dans l’anneau \(\mathcal{F}(\mathbb{R} ,\mathbb{R} )\), considérer les fonctions \(\delta_a : \mathbb{R} \rightarrow \mathbb{R}, x \mapsto \begin{cases}0&\textrm{ si } x\neq a\newline 1
&\textrm{ si } x=a \end{cases}\) pour \(a\in\mathbb{R}\). Il est clair que \(\delta_2
\delta_0 =0\) et pourtant \(\delta_2\) et \(\delta_0\) ne sont pas identiquement nulles.
(Anneau intègre). Soit un anneau \((A, +, \times)\). On dit que cet anneau est intègre si et seulement si :
Dans un anneau intègre, on peut simplifier à gauche et à droite : Si \((a, y, z) \in A^3\), avec \(ax = ay\), et si \(a \neq 0\), alors \(x = y\), que \(a\) soit inversible ou non. Cette propriété est fausse dans un anneau général.
(Notations). On considère un anneau \((A, +, \times)\). Soit un élément \(a\in A\) et un entier \(n\in \mathbb N\). On note
(Élément nilpotent). Soit un anneau \((A, +, \times)\). On dit qu’un élément \(a\in A\) (\(a \neq 0\)) est nilpotent s’il existe un entier \(n \in \mathbb{N}^*\) tel que \(a^n = 0\).
Le plus petit entier \(n\) vérifiant \(a^n = 0\) s’appelle l’indice de nilpotence de l’élément \(a\).
Si l’anneau \(A\) est intègre, il n’y a pas d’élément nilpotent dans cet anneau.
(Formule du binôme de Newton et formule de factorisation). Dans un anneau \((A,+,\times)\), si \((a,b)\in A^2\) vérifient \[\boxed{ a\times b = b\times a}\] Alors pour tout \(n\in\mathbb{N}\), on a la formule du binôme de Newton \[\boxed{(a+b)^n = \sum_{k=0}^n \binom{n}{k}a^k b^{n-k}}\] et pour tout \(n\geqslant 1\), la formule de factorisation suivante \[\boxed{a^n -b^n =(a-b)(a^{n-1}+a^{n-2}b+\dots + ab^{n-2}+b^{n-1})=
(a-b)\sum_{k=0}^{n-1}a^{n-1-k}b^k}.\]
La démonstration de la formule du binôme dans le cas où \(a\) et \(b\) sont des éléments d’un anneau \(A\) tels que \(ab=ba\) se fait comme dans le cas où \(a\) et \(b\) sont des complexes. On consultera alors la démonstration [formule_du_binome] page [formule_du_binome]
Prouvons la seconde formule : \[\begin{aligned} & & (a-b)(a^{n-1}+a^{n-2}b+\dots + ab^{n-2}+b^{n-1})\\ &=& \left(a^{n}+a^{n-1}b+\dots + a^2b^{n-2}+ab^{n-1}\right)-\left(a^{n-1}b+a^{n-2}b^2+\dots + ab^{n-1}+b^{n}\right)\\ &=&a^n +\left(a^{n-1}b - a^{n-1}b\right) + \dots+\left(a^2b^{n-2} -a^2b^{n-2} \right) + \left(ab^{n-1} - ab^{n-1}\right) - b^n\newline &=&a^n-b^n.\end{aligned}\]
(Calcul d’une progression géométrique). Soit un anneau \((A, +, \times)\) et un élément \(a\in A\). On considère un entier \(n\in \mathbb N\), \(n\geqslant 1\). De la formule de factorisation, on tire : \[\boxed{ 1-a^{n} = (1-a)(1+a+a^2+\dots + a^{n-1}) }\] En particulier, si l’élément \(a\) est nilpotent d’indice \(n\) : \(a^n=0\), alors l’élément \((1-a)\) est inversible pour la loi \(\times\) et on sait calculer son inverse : \[(1-a)^{-1}=1+a+a^2+\dots +a^{n-1}\]
(Sous-anneau). On considère un anneau \((A, +, \times)\) et une partie \(A' \subset A\) de cet anneau. On dit que la partie \(A'\) est un sous-anneau de \(A\) si et seulement si :
Structure de corps
(Corps). On considère un ensemble \(K\) muni de deux lois de composition interne, notées \(+\) et \(\times\). On dit que \((K,+,\times)\) est un corps si et seulement si :
Comme \((K,+,\times)\) est intègre, la loi \(\times\) (ou plutôt sa restriction à \(K\setminus\{0\}\times K\setminus\{0\}\)) est interne, ce qui permet d’envisager que \((K\setminus\{0\},\times)\) soit un groupe (commutatif).
\((\mathbb{Q}^{,} +,\times)\), \((\mathbb{R} ,+,\times)\), \((\mathbb{C},+,\times)\) sont des corps, mais \((\mathbb{Z} ,+,\times)\) n’en est pas un car ses seuls éléments inversibles sont \(1\) et \(-1\).
(Sous-corps). Soit \(K'\setminus K\) un sous-ensemble d’un corps \((K, +, \times)\). On dit que la partie \(K'\) est un sous-corps du corps \(K\) si et seulement si :
(Calcul d’une somme géométrique dans un corps). Soit un élément \(k\in K\) du corps \((K, +, \times)\). Alors la formule suivante permet de calculer une progression géométrique de raison \(k\) : \[\sum_{i=0}^n k^i = 1+k+k^2+\dots +k^n =
\begin{cases}
(1-k)^{-1}\bigl(1-k^{n+1}\bigr) & \textrm{ si } k\neq 1 \newline
(n+1)1_K & \textrm{ si } k=1
\end{cases}\]
Laissée en exercice.
- 1 On peut consulter cette lettre à l’adresse http://www.imnc.univ-paris7.fr/oliver/galois/LettreGaloisA4.ps
Bibliographie
Barre utilisateur
[ID: 72] [Date de publication: 28 décembre 2021 14:06] [Catégorie(s): Le cours de SUP ] [ Nombre commentaires: 0] [nombre d'éditeurs: 1 ] [Editeur(s): Emmanuel Vieillard-Baron ] [nombre d'auteurs: 3 ] [Auteur(s): Emmanuel Vieillard-Baron Alain Soyeur François Capaces ]Commentaires sur le cours
Documents à télécharger
L'article complet