Introduction Galois
Bonjour
Je viens de commencer une introduction à la théorie de Galois (je n'ai quasiment aucune connaissance sur ce sujet). Je précise que le document suit une approche historique et introduit donc le groupe de Galois de façon non standard.
Voici la définition. Soit $K$ un corps et $P \in K[X]$. Soient $x_1 , x_2 , \ldots , x_p$ les $p$ racines de $P$ dans la clôture algébrique de $K$. En réordonnant les racines, on note $x_1 , \ldots , x_n$ les $n$ racines distinctes. On appelle groupe de Galois de $P$ sur $K$ et on note $Gal_K (P)$ le sous-groupe de $\mathfrak S_n$ tel que pour tout $R \in K[x_1, \ldots , x_n]$ tel que $R(x_1 , \ldots , x_n) = 0$ : $$ \sigma R(x_1 , \ldots , x_n) = R(x_{\sigma(1)} ,\ldots , x_{\sigma(n)}) = 0 \iff \sigma \in Gal_K (P).
$$ Un élément de $Gal_K (P)$ est appelé une bonne permutation.
Voilà donc je comprends globalement la définition en interprétant $R(x_1 , \ldots , x_n) = 0$ comme des relations entre les racines. Le problème c'est qu'ensuite il est dit
"On observe déjà que si $x$ est une racine de $P$ qui appartient au corps de départ, elle reste forcément invariante par toute bonne permutation".
Cela ne m'est pas évident même si ça l'est certainement. Ca voudrait dire que pour tout $\sigma \in Gal_K (P)$ et pour toute racine $x_i \in K$, $x_{\sigma(i)} = x_i$. J'ai compris que dans le cas où un $x_i \in K$, alors il 'rentre' dans les coefficients de $R$ mais je n'arrive quand même pas à me figurer pourquoi il est alors invariant par action de $Gal_K (P)$ ...
Merci d'avance !
Je viens de commencer une introduction à la théorie de Galois (je n'ai quasiment aucune connaissance sur ce sujet). Je précise que le document suit une approche historique et introduit donc le groupe de Galois de façon non standard.
Voici la définition. Soit $K$ un corps et $P \in K[X]$. Soient $x_1 , x_2 , \ldots , x_p$ les $p$ racines de $P$ dans la clôture algébrique de $K$. En réordonnant les racines, on note $x_1 , \ldots , x_n$ les $n$ racines distinctes. On appelle groupe de Galois de $P$ sur $K$ et on note $Gal_K (P)$ le sous-groupe de $\mathfrak S_n$ tel que pour tout $R \in K[x_1, \ldots , x_n]$ tel que $R(x_1 , \ldots , x_n) = 0$ : $$ \sigma R(x_1 , \ldots , x_n) = R(x_{\sigma(1)} ,\ldots , x_{\sigma(n)}) = 0 \iff \sigma \in Gal_K (P).
$$ Un élément de $Gal_K (P)$ est appelé une bonne permutation.
Voilà donc je comprends globalement la définition en interprétant $R(x_1 , \ldots , x_n) = 0$ comme des relations entre les racines. Le problème c'est qu'ensuite il est dit
"On observe déjà que si $x$ est une racine de $P$ qui appartient au corps de départ, elle reste forcément invariante par toute bonne permutation".
Cela ne m'est pas évident même si ça l'est certainement. Ca voudrait dire que pour tout $\sigma \in Gal_K (P)$ et pour toute racine $x_i \in K$, $x_{\sigma(i)} = x_i$. J'ai compris que dans le cas où un $x_i \in K$, alors il 'rentre' dans les coefficients de $R$ mais je n'arrive quand même pas à me figurer pourquoi il est alors invariant par action de $Gal_K (P)$ ...
Merci d'avance !
Réponses
-
Je ne suis pas sûr d'avoir tout compris mais il me semble que si tu supposes par exemple que $x_1\in K$ alors en appliquant ta définition à $R:=X_1-x_1$ tu devrais t’apercevoir que $\sigma(1)=1$ pour toute "bonne permutation".
-
Ah oui c'est vraiment juste ça en fait je pense ... Merci bien c'est effectivement trivial
-
Tu peux partager ce document ?
-
Voilà : http://www.improov.fr/documents/files/theorieDeGalois.pdf
C'est une version plus 'directe' et 'simple' d'un exposé que j'ai eu l'année dernière (et qui à lieu chaque année) dont voici le lien : https://cpge-paradise.com/pdf2/
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres