summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (Phare) <Fabrice.Orgogozo+git@gmail.com>2013-02-22 10:37:00 (GMT)
committerFabrice (Phare) <Fabrice.Orgogozo+git@gmail.com>2013-02-22 10:37:00 (GMT)
commit8b7b8eb62f578837c67478c1e65939104614d43c (patch)
tree7b18ee312d4c8b21bbc5675b8132cbf6d46a54a5
parentbf07b7615a8e88f0aaf5190331b779ed773ef121 (diff)
downloadgalois-8b7b8eb62f578837c67478c1e65939104614d43c.zip
galois-8b7b8eb62f578837c67478c1e65939104614d43c.tar.gz
galois-8b7b8eb62f578837c67478c1e65939104614d43c.tar.bz2
[Fin] ajout petite question en hâte...
-rw-r--r--chapitres/corps-finis.tex15
1 files changed, 12 insertions, 3 deletions
diff --git a/chapitres/corps-finis.tex b/chapitres/corps-finis.tex
index c628c7a..82248d5 100644
--- a/chapitres/corps-finis.tex
+++ b/chapitres/corps-finis.tex
@@ -549,11 +549,20 @@ Voir \ref{existence-p-Phin-irreductible-mod-p} pour un énoncé général.
\begin{exercice2}
Soit $n ≥ 0$ un entier.
-Montrer que le quotient $𝐅₂[X_i : 0 ≤ i<n]/(X_i²+X_i+∏_{j<i}
-X_j, 0 ≤ i<n)$ est une extension de $𝐅₂$ de degré $2^n$.
+\begin{enumerate}
+\item Montrer que le quotient
+\[K_n=𝐅₂[X_i : 0 ≤ i<n]/(X_i²+X_i+∏_{j<i}X_j, 0 ≤ i<n)
+\]
+est une extension de $𝐅₂$ de degré $2^n$.
(Indication : on pourra montrer que les monômes
$∏_{i ∈ I} x_i$, où $I$ parcourt les sous-ensembles de $\{0,…,n-1\}$, forment une base
-sur $𝐅₂$.)
+sur $𝐅₂$ de $K_n$.)
+\item En observant que tout entier s'écrit de manière unique
+comme une somme de produits de monômes en les $2^{2^i}$,
+munir $𝐍$ d'une structure de corps, isomorphe à $𝐅_{2^{2^
+∞}}$.
+
+\end{enumerate}
\end{exercice2}