summaryrefslogtreecommitdiffstats
path: root/chapitres/calculs-galois.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david@procyon.(none)>2011-05-04 15:49:00 +0200
committerDavid A. Madore <david@procyon.(none)>2011-05-04 15:49:00 +0200
commit5b7fe0339d81316618d34337764d781c8b2dfada (patch)
tree3b92b88b506a2e83d3e128eb42fba089c797e9d5 /chapitres/calculs-galois.tex
parent7e0407b3475d64a212cfc600d8971070b4cebeaf (diff)
downloadgalois-5b7fe0339d81316618d34337764d781c8b2dfada.zip
galois-5b7fe0339d81316618d34337764d781c8b2dfada.tar.gz
galois-5b7fe0339d81316618d34337764d781c8b2dfada.tar.bz2
[calculs] Autre exemple important de résolvante.
Diffstat (limited to 'chapitres/calculs-galois.tex')
-rw-r--r--chapitres/calculs-galois.tex14
1 files changed, 13 insertions, 1 deletions
diff --git a/chapitres/calculs-galois.tex b/chapitres/calculs-galois.tex
index 3ff94e7..35b5586 100644
--- a/chapitres/calculs-galois.tex
+++ b/chapitres/calculs-galois.tex
@@ -1381,6 +1381,18 @@ symétriques élémentaires).
dans $\mathfrak{S}_d$, et $\mathfrak{S}_d/H$ s'identifie à
$\{1,\ldots,d\}$, si bien que $R_P(f)$ est simplement le polynôme
$f$ lui-même.
+\item Si $1\leq r \leq d$, le polynôme $P := Z_1 + \cdots + Z_r$ a
+ pour stabilisateur le sous-groupe $H$ de $\mathfrak{S}_d$
+ stabilisant la partie $A = \{1,\ldots,r\}$ de cardinal $r$. La
+ résolvante $R_P(f)$ a pour racines toutes les $\frac{d!}{r!(d-r)!}$
+ sommes de $r$ racines de $f$, et, à supposer que celles-ci soient
+ distinctes, étudier l'action du groupe de Galois de $f$ dessus
+ revient à étudier l'action de ce groupe de Galois sur les ensembles
+ de $r$ racines. Au chapitre \refext{ExG}{} (voir notamment les
+ exemples \refext{ExG}{exemple-galois-psl-3-f-2} et
+ \refext{ExG}{exemple-galois-m-12}), on a vu que l'étude de cette
+ action pouvait permettre de distinguer utilement des groupes de
+ Galois.
\end{itemize}
\end{exemples2}
@@ -1492,7 +1504,7 @@ d'un polynôme $f$ séparable irréductible de degré $d$ :
proposition \ref{factorisation-des-polynomes-est-algorithmique} nous
assure que ceci est algorithmique pour les polynômes sur les
rationnels : en pratique, il faut bien sûr chercher des
- algorithmiques plus efficaces que ceux, complètement théoriques,
+ algorithmes plus efficaces que ceux, complètement théoriques,
exposés dans la preuve de celle-ci), ou au moins en calculer les
racines dans $K$. Lorsque $R_P(f) \in K[X]$ est séparable (ce qui
est « le plus souvent » le cas), la