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.tex10
1 files changed, 6 insertions, 4 deletions
diff --git a/chapitres/exemples-galois.tex b/chapitres/exemples-galois.tex
index fb2f3a8..8f86e74 100644
--- a/chapitres/exemples-galois.tex
+++ b/chapitres/exemples-galois.tex
@@ -1324,10 +1324,12 @@ Y_4^2 + Y_4^3 + 5 Y_3^2 + 5 Y_3 Y_4 + 5 Y_4^2 + 7 Y_3 + 7 Y_4 + 4,
Y_2^2 + Y_2 Y_3 + Y_3^2 + Y_2 Y_4 + Y_3 Y_4 + Y_4^2 + 5 Y_2 + 5 Y_3 +
5 Y_4 + 7, X_1^2 + Y_2 + Y_3 + Y_4 + 5, X_2^2 - Y_2, X_3^2 - Y_3,
X_4^2 - Y_4, Y_1 + Y_2 + Y_3 + Y_4 + 5\}$. On peut ensuite calculer
-modulo $B$, c'est-à-dire modulo $\mathfrak{I}$, chacun des
-coefficients de $\prod_{\substack{1\leq i<j<k\leq 4\\\pm,\pm,\pm}}
-(Z\pm X_i\pm X_j\pm X_k)$, et vérifier qu'on obtient bien une
-constante, à savoir le coefficient annoncé pour $\rho$.} : on trouve
+modulo $B$, c'est-à-dire
+dans $\QQ[Z,Y_1,\ldots,Y_4,X_1,\ldots,X_4]/\mathfrak{I}\QQ[Z,Y_1,\ldots,Y_4,X_1,\ldots,X_4]$,
+le polynôme $\prod_{\substack{1\leq i<j<k\leq 4\\\pm,\pm,\pm}}
+(Z\pm X_i\pm X_j\pm X_k)$, et vérifier qu'on obtient bien un élément
+indépendant des $Y_i$ et $X_i$, à savoir ce qu'on a annoncé
+pour $\rho$.} : on trouve
$\rho(Z) = Z^{32} + 60 Z^{30} + 1\,566 Z^{28} + 23\,488 Z^{26} +
219\,945 Z^{24} + 1\,287\,696 Z^{22} + 4\,297\,294 Z^{20} +
4\,313\,804 Z^{18} - 25\,318\,556 Z^{16} - 110\,504\,956 Z^{14} -