diff options
author | Fabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com> | 2012-03-28 09:44:32 +0200 |
---|---|---|
committer | Fabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com> | 2012-03-28 09:44:32 +0200 |
commit | 3db56fd0d69a07a1099da4a211ccec5aab86cda3 (patch) | |
tree | 71836447674f64e8394b9de146d119255cfe7f3b | |
parent | f5634748527e281cfb7a4a356cff854253c7f489 (diff) | |
download | galois-3db56fd0d69a07a1099da4a211ccec5aab86cda3.tar.gz galois-3db56fd0d69a07a1099da4a211ccec5aab86cda3.tar.bz2 galois-3db56fd0d69a07a1099da4a211ccec5aab86cda3.zip |
[calculs] un commentaire trivial et une coquille
-rw-r--r-- | chapitres/calculs-galois.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/chapitres/calculs-galois.tex b/chapitres/calculs-galois.tex index 2959507..a2abd25 100644 --- a/chapitres/calculs-galois.tex +++ b/chapitres/calculs-galois.tex @@ -3326,6 +3326,7 @@ $(Z_1,\ldots,Z_7)$ à partir d'un polynôme $P$ : groupe simple d'ordre $168$) est abstraitement isomorphe à $\PSL_2(\FF_7)$, mais il n'est pas évident de trouver un ensemble à $7$ éléments sur lequel $\PSL_2(\FF_7)$ opère ; +\commentaire{opère \emph{fidèlement} ?} \item pour $C_7 \rtimes C_6$ (d'ordre $42$) : le polynôme $\sum_{C_7} (Z_1 Z_2 Z_4 + Z_1 Z_3 Z_4)$ ; ce groupe est aussi le groupe $\AGL(\FF_7)$ des fonctions affines $x \mapsto ax + b$ sur $\FF_7$ @@ -3352,7 +3353,7 @@ en \refext{ExG}{exemple-galois-psl-3-f-2}, consistant à considérer une résolvante pour le polynôme $Z_1 + Z_2 + Z_3$ (dont le stabilisateur est évidemment $\mathfrak{S}_3 \times \mathfrak{S}_4$), c'est-à-dire une résolvante \emph{linéaire} qui reflète l'action du groupe de -Galois sur les parties à $3$ trois éléments de l'ensemble des racines +Galois sur les parties à trois éléments de l'ensemble des racines (du polynôme $f$ considéré). Pour commencer, la proposition \ref{separabilite-resolvantes-lineaires-ordre-premier} permet de conclure, lorsque la caractéristique du corps considéré est |