summaryrefslogtreecommitdiffstats
path: root/chapitres
diff options
context:
space:
mode:
authorDavid A. Madore <david@procyon.(none)>2011-04-29 15:14:06 +0200
committerDavid A. Madore <david@procyon.(none)>2011-04-29 15:14:06 +0200
commit230aa1ca2495bafd5dd5a06b1eb197ba6eee990a (patch)
treebd866de9a122d1677921ce938e5ebdae0f359f90 /chapitres
parenta8e832b736ab4cd940bd10fe7cdf0b26616d547a (diff)
downloadgalois-230aa1ca2495bafd5dd5a06b1eb197ba6eee990a.tar.gz
galois-230aa1ca2495bafd5dd5a06b1eb197ba6eee990a.tar.bz2
galois-230aa1ca2495bafd5dd5a06b1eb197ba6eee990a.zip
[calculs] Réorganisation pour plus de clarté (pas de changement mathématique).
Diffstat (limited to 'chapitres')
-rw-r--r--chapitres/calculs-galois.tex148
1 files changed, 90 insertions, 58 deletions
diff --git a/chapitres/calculs-galois.tex b/chapitres/calculs-galois.tex
index 3748ae5..6103b78 100644
--- a/chapitres/calculs-galois.tex
+++ b/chapitres/calculs-galois.tex
@@ -1064,12 +1064,14 @@ moins un, appelons-le $Q$, tel que $Q(\xi'_1,\ldots,\xi'_d) \neq
Q(\xi_1,\ldots,\xi_d)$. Ceci montre que (ii) n'est pas vérifié.
\end{proof}
+La proposition suivante montre que l'étude des fractions rationnelles
+invariantes par un sous-groupe $H$ de $\mathfrak{S}_d$ peut
+généralement se ramener à l'étude des polynômes :
\begin{proposition2}\label{action-sur-les-racines-polynomes-et-fractions-rationnelles}
-Soit $f \in K[X]$ un polynôme de degré $d$ à coefficients dans un
-corps $K$, irréductible dans $K[X]$, dont on note $\xi_1,\ldots,\xi_d$
-les racines comptées avec multiplicité dans un corps de
-décomposition $L$. Alors, pour $H$ un sous-groupe de
-$\mathfrak{S}_d$, les affirmations suivantes sont équivalentes :
+Soit $K$ un corps, et $L = K(\xi_1,\ldots,\xi_d)$ une extension de $K$
+engendrée par $d$ éléments $\xi_1,\ldots,\xi_d$. Alors, pour $H$ un
+sous-groupe de $\mathfrak{S}_d$, les affirmations suivantes sont
+équivalentes :
\begin{enumerate}
\item pour tout polynôme $P \in K[Z_1,\ldots,Z_d]$ invariant par $H$
(c'est-à-dire tel que $P(Z_{\sigma(1)},\ldots,Z_{\sigma(d)}) =
@@ -1103,30 +1105,91 @@ $R(\xi_1,\ldots,\xi_d) =
P^*(\xi_1,\ldots,\xi_d)/Q^*(\xi_1,\ldots,\xi_d) \in K$.
\end{proof}
+Même si la proposition est énoncée avec $\xi_1,\ldots,\xi_d$
+quelconques, nous nous intéresserons à la situation ci-dessus dans le
+cas où $\xi_1,\ldots,\xi_d$ sont les racines comptées avec
+multiplicité d'un polynôme $f \in K[X]$ dont $L$ est, donc, le corps
+de décomposition. Autrement dit, nous nous poserons la
+\begin{question2}\label{question-trouver-critere-polynomes-invariants}
+Soit $f \in K[X]$ un polynôme de degré $d$ à coefficients dans un
+corps $K$, dont on note $\xi_1,\ldots,\xi_d$ sont les racines comptées
+avec multiplicité dans un corps de décomposition $L =
+K(\xi_1,\ldots,\xi_d)$, et soit $H$ un sous-groupe de
+$\mathfrak{S}_d$. À quelle condition sur $f$ et $H$ peut-on dire que
+l'affirmation suivante est vérifiée ?
+\begin{itemize}
+\item[($*$)] Pour tout polynôme $P \in K[Z_1,\ldots,Z_d]$ invariant
+ par $H$ (c'est-à-dire tel que $P(Z_{\sigma(1)},\ldots,Z_{\sigma(d)})
+ = P(Z_1,\ldots,Z_d)$ dès que $\sigma\in H$), on a
+ $P(\xi_1,\ldots,\xi_d) \in K$.
+\end{itemize}
+(Autrement dit : trouver des conditions équivalentes à celles de la
+proposition ci-dessus.)
+\end{question2}
+
\begin{remarque2}
-Il est tentant de comparer le (ii) de la proposition ci-dessus
+Il est tentant, pour répondre à la question, de comparer le (ii) de la
+proposition \ref{action-sur-les-racines-polynomes-et-fractions-rationnelles}
avec \ref{polynomes-invariants-de-sous-groupes}. Notamment, on sait
qu'il existe des polynômes $P$ tels que $\Stab_{\mathfrak{S}_d}(P) =
H$, et que si $P$ est un tel polynôme, alors le corps $F(P)$ qu'il
-engendre au-dessus du corps $K(\sigma_1,\ldots,\sigma_d)$ des
+engendre au-dessus du corps $F = K(\sigma_1,\ldots,\sigma_d)$ des
fonctions rationnelles totalement symétriques en les $Z_i$ est
-précisément le corps des fonctions rationnelles invariantes
-par $H$ : on peut donc être tenté de penser que l'hypothèse
-$P(\xi_1,\ldots,\xi_d) \in K$ suffit à entraîner la conclusion (ii) de
-la dernière proposition. Or il n'en est rien : par exemple, si $K$
-est un corps de caractéristique $3$ non parfait, $L$ l'extension
-purement inséparable de $K$ obtenue en ajoutant la racine cubique
-$\xi$ d'un élément $a \in K$ qui ne soit pas un cube dans $K$, si on
-pose $d=3$ et $H = \ZZ/2\ZZ$ opérant en échangeant les
-indéterminées $Z_2$ et $Z_3$, et $P = Z_2 Z_3^2 + Z_2^2 Z_3$ qui
-vérifie bien $\Stab_{\mathfrak{S}_3}(P) = H$, on peut
-écrire $Z_1 = \frac{\sigma_1 \sigma_3}{\sigma_3 + P} \in F(P)$ où
-$\sigma_1 = Z_1+Z_2+Z_3$ et $\sigma_3 = Z_1 Z_2 Z_3$, on a bien
-$P(\xi,\xi,\xi) = 2 \xi^3 \in K$, et pourtant $Z_1$ prend en
-$(\xi,\xi,\xi)$ une valeur ($\xi$) qui n'appartient pas à $K$,
-c'est-à-dire que la conclusion (i) ou (ii) ne tient pas.
+précisément le corps des fonctions rationnelles invariantes par $H$ :
+on peut donc être tenté de penser que l'hypothèse
+$P(\xi_1,\ldots,\xi_d) \in K$ implique l'affirmation ($*$) de la
+question. Or il n'en est rien : par exemple, si $K$ est un corps de
+caractéristique $3$ non parfait, $L$ l'extension purement inséparable
+de $K$ obtenue en ajoutant la racine cubique $\xi$ d'un élément $a \in
+K$ qui ne soit pas un cube dans $K$, si on pose $d=3$ et $H =
+\ZZ/2\ZZ$ opérant en échangeant les indéterminées $Z_2$ et $Z_3$, et
+$P = Z_2 Z_3^2 + Z_2^2 Z_3$ qui vérifie bien
+$\Stab_{\mathfrak{S}_3}(P) = H$, on peut écrire $Z_1 = \frac{\sigma_1
+ \sigma_3}{\sigma_3 + P} \in F(P)$ où $\sigma_1 = Z_1+Z_2+Z_3$ et
+$\sigma_3 = Z_1 Z_2 Z_3$, on a bien $P(\xi,\xi,\xi) = 2 \xi^3 \in K$,
+et pourtant $Z_1$ prend en $(\xi,\xi,\xi)$ une valeur ($\xi$) qui
+n'appartient pas à $K$, c'est-à-dire que la conclusion ($*$) ne tient
+pas.
\end{remarque2}
+Dans le cas où l'extension $L\bo K$ est séparable (donc galoisienne),
+la théorie de Galois fournit un critère simple et intuitif pour
+répondre à la
+question \ref{question-trouver-critere-polynomes-invariants} :
+\begin{proposition2}
+Sous les conditions de la
+question \ref{question-trouver-critere-polynomes-invariants},
+supposons en outre que $f$ soit irréductible et séparable sur $K$.
+Alors l'affirmation ($*$) est équivalente à : $H$ contient le groupe
+de Galois de $f$ (vu comme sous-groupe de $\mathfrak{S}_d$ en opérant
+sur les racines $\xi_1,\ldots,\xi_d$ de $f$).
+\end{proposition2}
+\begin{proof}
+Si $H$ contient le groupe de Galois $G$ de $f$, alors tout polynôme $P
+\in K[Z_1,\ldots,Z_d]$ invariant par $H$ l'est en particulier par $G$
+opérant sur les $Z_i$, ce qui implique que
+$P(\xi_{\sigma(1)},\ldots,\xi_{\sigma(d)}) = P(\xi_1,\ldots,\xi_d)$
+pour tout $\sigma\in G$, c'est-à-dire que $P(\xi_1,\ldots,\xi_d)$ est
+invariant par $G$ opérant comme groupe d'automorphismes sur le corps
+de décomposition $L = K(\xi_1,\ldots,\xi_d)$ de $f$, donc
+$P(\xi_1,\ldots,\xi_d)$ appartient bien au corps fixe $K$ de $G$.
+
+Réciproquement, si $H$ ne contient pas le groupe de Galois $G$ de $f$,
+il existe $\sigma$ dans $G$ n'appartenant pas à $H$. Si on définit
+$(\xi'_1,\ldots,\xi'_d) = (\xi_{\sigma(1)},\ldots,\xi_{\sigma(d)})$,
+alors comme les $\xi_i$ sont distincts, $\sigma$ est l'unique élément
+de $\mathfrak{S}_d$ tel que $\xi'_i = \xi_{\sigma(i)}$, et d'après
+\ref{separation-des-points-du-quotient-de-l-espace-affine-par-des-permutations-bis},
+il existe $P \in K[Z_1,\ldots,Z_d]$ invariant par $H$ tel que
+$P(\xi'_1,\ldots,\xi'_d) \neq P(\xi_1,\ldots,\xi_d)$, c'est-à-dire
+$\sigma(P(\xi_1,\ldots,\xi_d)) \neq P(\xi_1,\ldots,\xi_d)$, donc
+$P(\xi_1,\ldots,\xi_d) \not\in K$ puisque $G$ est le groupe de Galois
+de $f$.
+\end{proof}
+
+Pour trouver une réponse à la question dans le cas de l'extraction
+d'une racine $p^e$-ième en caractéristique $p$, on aura besoin du
+résultat classique suivant :
\begin{proposition2}\label{transitivite-des-sylow}
Soit $G$ un groupe de permutations transitif sur un ensemble $X$ de
cardinal $p^e$ avec $p$ un nombre premier, et soit $H$ un sous-groupe
@@ -1149,12 +1212,12 @@ entier.
\begin{proposition2}
Sous les conditions de la
-proposition \ref{action-sur-les-racines-polynomes-et-fractions-rationnelles},
+question \ref{question-trouver-critere-polynomes-invariants},
supposons en outre que $K$ est de caractéristique $p$ et $f =
-X^{p^e}-a$, c'est-à-dire que $\xi_1,\ldots,\xi_d$ (avec $d=p^e$) sont
-tous égaux à $\xi := \root p^e\of a$. Alors les affirmations de
-la proposition sont équivalentes à : $H$ opère
-transitivement sur $\{1,\ldots,p^e\}$.
+X^{p^e}-a$ est irréductible, c'est-à-dire que $\xi_1,\ldots,\xi_d$
+(avec $d=p^e$) sont tous égaux à $\xi := \root p^e\of a$ de
+degré $p^e$ sur $K$. Alors l'affirmation ($*$) est équivalente à :
+$H$ opère transitivement sur $\{1,\ldots,p^e\}$.
\end{proposition2}
\begin{proof}
Supposons d'abord que $H$ opère transitivement sur $\{1,\ldots,p^e\}$.
@@ -1179,37 +1242,6 @@ pas à $K$ car le polynôme minimal $f = X^{p^e}-a$ de $\xi$ est de
degré $p^e$.
\end{proof}
-\begin{proposition2}
-Sous les conditions de la
-proposition \ref{action-sur-les-racines-polynomes-et-fractions-rationnelles},
-supposons en outre que $f$ soit séparable sur $K$. Alors les
-affirmations de la proposition sont équivalentes à : $H$ contient le
-groupe de Galois de $f$ (vu comme sous-groupe de $\mathfrak{S}_d$ en
-opérant sur les racines $\xi_1,\ldots,\xi_d$ de $f$).
-\end{proposition2}
-\begin{proof}
-Si $H$ contient le groupe de Galois $G$ de $f$, alors tout polynôme $P
-\in K[Z_1,\ldots,Z_d]$ invariant par $H$ l'est en particulier par $G$
-opérant sur les $Z_i$, ce qui implique que
-$P(\xi_{\sigma(1)},\ldots,\xi_{\sigma(d)}) = P(\xi_1,\ldots,\xi_d)$
-pour tout $\sigma\in G$, c'est-à-dire que $P(\xi_1,\ldots,\xi_d)$ est
-invariant par $G$ opérant comme groupe d'automorphismes sur le corps
-de décomposition $L = K(\xi_1,\ldots,\xi_d)$ de $f$, donc
-$P(\xi_1,\ldots,\xi_d)$ appartient bien au corps fixe $K$ de $G$.
-
-Réciproquement, si $H$ ne contient pas le groupe de Galois $G$ de $f$,
-il existe $\sigma$ dans $G$ n'appartenant pas à $H$. Si on définit
-$(\xi'_1,\ldots,\xi'_d) = (\xi_{\sigma(1)},\ldots,\xi_{\sigma(d)})$,
-alors comme les $\xi_i$ sont distincts, $\sigma$ est l'unique élément
-de $\mathfrak{S}_d$ tel que $\xi'_i = \xi_{\sigma(i)}$, et d'après
-\ref{separation-des-points-du-quotient-de-l-espace-affine-par-des-permutations-bis},
-il existe $P \in K[Z_1,\ldots,Z_d]$ invariant par $H$ tel que
-$P(\xi'_1,\ldots,\xi'_d) \neq P(\xi_1,\ldots,\xi_d)$, c'est-à-dire
-$\sigma(P(\xi_1,\ldots,\xi_d)) \neq P(\xi_1,\ldots,\xi_d)$, donc
-$P(\xi_1,\ldots,\xi_d) \not\in K$ puisque $G$ est le groupe de Galois
-de $f$.
-\end{proof}
-
\subsection{Résolvantes}
\begin{definition2}\label{definition-resolvante}