summaryrefslogtreecommitdiffstats
path: root/chapitres/exemples-galois.tex
diff options
context:
space:
mode:
authorFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2012-03-08 22:12:49 (GMT)
committerFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2012-03-08 22:12:49 (GMT)
commit5add41d25031e5dc02504819ceb25bffc0fad68c (patch)
treeaffa65c7f4bd07c400f14840004c7afad59742ef /chapitres/exemples-galois.tex
parentb962ae2e24d00209ce463a6dad5a5b89674a4e07 (diff)
parent9326588869d3144ef17e1324c688103e1ae88c82 (diff)
downloadgalois-5add41d25031e5dc02504819ceb25bffc0fad68c.zip
galois-5add41d25031e5dc02504819ceb25bffc0fad68c.tar.gz
galois-5add41d25031e5dc02504819ceb25bffc0fad68c.tar.bz2
Merge gitosis@git.madore.org:galois
Diffstat (limited to 'chapitres/exemples-galois.tex')
-rw-r--r--chapitres/exemples-galois.tex23
1 files changed, 16 insertions, 7 deletions
diff --git a/chapitres/exemples-galois.tex b/chapitres/exemples-galois.tex
index bc6871c..092d910 100644
--- a/chapitres/exemples-galois.tex
+++ b/chapitres/exemples-galois.tex
@@ -609,17 +609,26 @@ $G$ a alors un élément d'ordre $5$. Un tel élément, vu comme
permutation, est nécessairement un $5$-cycle. (De façon équivalente,
on peut conclure que $G_f$ contient un $5$-cycle directement à partir
du corollaire \refext{CG}{specialisation-elementaire-et-cycles} si on a
-remarqué que $f_3$ était irréductible.) Par ailleurs, comme $f$
-possède exactement trois racines réelles (donc une paire de racines
-complexes conjuguées), la conjugaison complexe se restreint (une fois
-choisi un plongement quelconque de $\dec(f)$ dans $\CC$) en un
-automorphisme de $\dec(f)$ sur $\QQ$ qui échange deux racines de $f$
-et laisse les trois autres fixes. Ainsi, le groupe de Galois $G$
-de $f$ peut se voir comme un sous-groupe de $\mathfrak{S}_5$ qui
+remarqué que $f_3$ était irréductible.)
+
+Par ailleurs, $f$ possède exactement trois racines réelles (donc une
+paire de racines complexes conjuguées) comme on le voit facilement
+avec un tableau de variation (ou en utilisant l'algorithme de
+Sturm-Liouville, cf. \XXX) : la conjugaison complexe se restreint donc
+(une fois choisi un plongement quelconque de $\dec(f)$ dans $\CC$) en
+un automorphisme de $\dec(f)$ sur $\QQ$ qui échange deux racines
+de $f$ et laisse les trois autres fixes. Ainsi, le groupe de Galois
+$G$ de $f$ peut se voir comme un sous-groupe de $\mathfrak{S}_5$ qui
contient un $5$-cycle et une transposition : un tel sous-groupe est
nécessairement $\mathfrak{S}_5$ tout entier. Le groupe de Galois
de $f$ est donc $\mathfrak{S}_5$.
+(Plutôt que d'invoquer les racines réelles, on pouvait aussi faire
+appel à la factorisation de $f$ modulo $257$, à savoir $f_{257} = (X +
+91)\, (X - 53)\, (X - 31)\, (X^2 - 7 X - 118)$, qui d'après le
+corollaire \refext{CG}{specialisation-elementaire-et-cycles} permet
+également de conclure à l'existence d'une transposition dans $G$.)
+
\subsubsection{}\label{exemple-galois-quintique-alterne} Considérons le polynôme $f = X^5 + 20X + 16$ sur $\QQ$.
Il est irréductible parce que sa réduction modulo $p=3$ est
irréductible : comme précédemment, on en déduit que son groupe de