summaryrefslogtreecommitdiffstats
path: root/chapitres
diff options
context:
space:
mode:
authorDavid A. Madore <david@procyon.(none)>2011-04-29 17:48:17 +0200
committerDavid A. Madore <david@procyon.(none)>2011-04-29 17:48:17 +0200
commiteb03509126993019fb82fb681c5eafc4224a0803 (patch)
tree4a97f9fbc93250462ab0b8e8e8a72cc922424e46 /chapitres
parent85450510da500ead498febb98717e1e5bcf39291 (diff)
downloadgalois-eb03509126993019fb82fb681c5eafc4224a0803.tar.gz
galois-eb03509126993019fb82fb681c5eafc4224a0803.tar.bz2
galois-eb03509126993019fb82fb681c5eafc4224a0803.zip
[calcul] En fait, l'irréductibilité ne semble pas nécessaire ici.
Diffstat (limited to 'chapitres')
-rw-r--r--chapitres/calculs-galois.tex8
1 files changed, 4 insertions, 4 deletions
diff --git a/chapitres/calculs-galois.tex b/chapitres/calculs-galois.tex
index 69cf35c..fc21977 100644
--- a/chapitres/calculs-galois.tex
+++ b/chapitres/calculs-galois.tex
@@ -1165,10 +1165,10 @@ 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$).
+supposons en outre que $f$ soit 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