summaryrefslogtreecommitdiffstats
path: root/chapitres/exemples-galois.tex
diff options
context:
space:
mode:
Diffstat (limited to 'chapitres/exemples-galois.tex')
-rw-r--r--chapitres/exemples-galois.tex4
1 files changed, 3 insertions, 1 deletions
diff --git a/chapitres/exemples-galois.tex b/chapitres/exemples-galois.tex
index 19c500f..c2f920d 100644
--- a/chapitres/exemples-galois.tex
+++ b/chapitres/exemples-galois.tex
@@ -715,7 +715,9 @@ transpositions disjointes (ceci implique, si l'on préfère, que chacun
des deux facteurs $X^2 + \frac{1}{4}(-z^4-z^3-z^2+3z+4)X
+ \frac{1}{4}(-z^4-z^3-z^2-5z+8)$ et $X^2
+ \frac{1}{4}(z^4+z^3+z^2+z-4)X + \frac{1}{2}(-z^3-z-2)$ est
-irréductible dans $K[X]$). Ainsi, $G$ est un sous-groupe
+irréductible dans $K[X]$). \commentaire{Variante par « réduction modulo
+l'infini » : $f′<0$ ssi $|x|<1$ et $f(-1),f(1)>0$ donc il y a une unique
+racine réelle.} Ainsi, $G$ est un sous-groupe
de $\mathfrak{S}_5$ qui contient un $5$-cycle ainsi qu'un produit de
deux transpositions disjointes, et dont tout sous-groupe fixant une
racine préserve une partition des quatre autres en deux ensembles de