summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (Phare) <Fabrice.Orgogozo+git@gmail.com>2013-03-01 09:38:23 (GMT)
committerFabrice (Phare) <Fabrice.Orgogozo+git@gmail.com>2013-03-01 09:38:23 (GMT)
commit1f6427d213742e29172c3e14d085d90bb4c74c05 (patch)
treecb51c0c130b4235c98cb4a6386cb1a5583a55b7f
parentf5acdaed3683df908c2d3bc8091adb5cad2a6011 (diff)
downloadgalois-1f6427d213742e29172c3e14d085d90bb4c74c05.zip
galois-1f6427d213742e29172c3e14d085d90bb4c74c05.tar.gz
galois-1f6427d213742e29172c3e14d085d90bb4c74c05.tar.bz2
[calculs] ajout précision dans énoncé (à bien intégrer et démontrer)
Je crois que c'est intéressant à dire non ?
-rw-r--r--chapitres/calculs-galois.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/chapitres/calculs-galois.tex b/chapitres/calculs-galois.tex
index 3bb2a1f..009856b 100644
--- a/chapitres/calculs-galois.tex
+++ b/chapitres/calculs-galois.tex
@@ -70,6 +70,7 @@ quelconque de $s$ dans $K[X, Y_1,\ldots,Y_d]$, choisi unitaire comme
polynôme en $X$ ; et soit $S_h$ le sous-groupe de
$\mathfrak{S}_d$ formé des permutations $\sigma\in\mathfrak{S}_d$
(permutant les $Y_i$) qui laissent $h$ invariant. Alors $S_h$ est
+\textcolor{red}{de cardinal $\deg_X(h)$ et}
conjugué, dans $\mathfrak{S}_d$, au groupe de Galois $G = \Gal(L/K)$
de $f$ sur $K$ vu comme un groupe de permutations sur $\{\xi_i\}$.
\end{proposition2}