summaryrefslogtreecommitdiffstats
path: root/chapitres
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo@gmail.com>2011-11-25 19:12:16 +0100
committerFabrice Orgogozo <Fabrice.Orgogozo@gmail.com>2011-11-25 19:12:16 +0100
commit4f85dffdef1a44c73f625895da33c1f3560b0c07 (patch)
treea8b74db409f1fce9a62800159c4871b6031cd156 /chapitres
parent556295a8207ca0695df0534a6f38cf96c141a80c (diff)
parentc0e24d5a23a98d0ce0961b2422465827e92501c2 (diff)
downloadgalois-4f85dffdef1a44c73f625895da33c1f3560b0c07.tar.gz
galois-4f85dffdef1a44c73f625895da33c1f3560b0c07.tar.bz2
galois-4f85dffdef1a44c73f625895da33c1f3560b0c07.zip
Merge git.madore.org:galois
Diffstat (limited to 'chapitres')
-rw-r--r--chapitres/calculs-galois.tex12
1 files changed, 12 insertions, 0 deletions
diff --git a/chapitres/calculs-galois.tex b/chapitres/calculs-galois.tex
index 4271c95..682b65d 100644
--- a/chapitres/calculs-galois.tex
+++ b/chapitres/calculs-galois.tex
@@ -2578,6 +2578,18 @@ $\mathfrak{S}_5$), la résolvante sextique $R_P(f)$ sera irréductible
seule façon dont cette résolvante puisse être réductible (si elle est
séparable), c'est d'avoir une racine.
+Il est facile de relier $P$ à $Q$ : on a $P = Q^2 - \sigma_2 Q +
+\sigma_1 \sigma_3 - 3 \sigma_4$ (avec $\sigma_i$ les fonctions
+symétriques élémentaires de $Z_1,\ldots,Z_5$), c'est-à-dire que la
+résolvante dans $D_5$ relativement à $Q$ vaut $R_{D_5,Q}(f) = X^2 -
+a_2 X + a_1 a_3 - 3 a_4 - \pi$ où $\pi$ est une racine de $R_P(f)$.
+En supposant $R_P(f)$ séparable et réductible, ce polynôme
+$R_{D_5,Q}(f)$ est donc réductible si, et lorsqu'il est séparable
+seulement si, le groupe de Galois de $f$ est inclus dans $D_5$. Ceci
+ne présente qu'un intérêt limité, puisqu'on aura de toute façon
+probablement déjà testé au préalable si le groupe de Galois de $f$ est
+inclus dans $\mathfrak{A}_5$, or $D_5 = M_{20} \cap \mathfrak{A}_5$.
+
\ifx\danslelivre\undefined