summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--controle-20131126.tex166
1 files changed, 165 insertions, 1 deletions
diff --git a/controle-20131126.tex b/controle-20131126.tex
index fc8bece..479d18d 100644
--- a/controle-20131126.tex
+++ b/controle-20131126.tex
@@ -81,15 +81,68 @@ Durée : 1h30
(1) Quel est l'ordre multiplicatif de $2$ dans
$\mathbb{F}_{11}^\times$ ? Comment peut-on le qualifier ?
+\begin{corrige}
+On calcule successivement, modulo $11$ :
+
+\begin{tabular}{c|cccccccccccc}
+$i$&$0$&$1$&$2$&$3$&$4$&$5$&$6$&$7$&$8$&$9$&$10$\\\hline
+$2^i$&$1$&$2$&$4$&$8$&$5$&$10$&$9$&$7$&$3$&$6$&$1$\\
+\end{tabular}
+
+On savait d'avance qu'on aurait $2^{10} \equiv 1 \pmod{11}$ (petit
+théorème de Fermat), c'est-à-dire que l'ordre (multiplicatif) de $2$
+dans $\mathbb{F}_{11}^\times$ diviserait $10$. Le fait qu'on ne soit
+pas tombé sur $1$ plus tôt que $10$ signifie que l'ordre
+(multiplicatif) de $2$ dans $\mathbb{F}_{11}^\times$ vaut
+exactement $10$. On peut donc qualifier $2$ de primitif modulo $11$.
+\end{corrige}
+
(2) Expliquer pourquoi $\bar\imath \mapsto 2^i$ définit un
isomorphisme de groupes de $\mathbb{Z}/10\mathbb{Z}$ (additif) sur
$\mathbb{F}_{11}^\times$ (multiplicatif).
+\begin{corrige}
+Le fait d'avoir $2^{10} = 1 \in \mathbb{F}_{11}^\times$ assure qu'on a
+un morphisme de groupes $\mathbb{Z}/10\mathbb{Z} \to
+\mathbb{F}_{11}^\times$ défini par $\bar\imath \mapsto 2^i$ (les
+puissances de $2$ sont périodiques de période $10$
+dans $\mathbb{F}_{11}^\times$). Le fait que l'ordre de $2$ soit
+exactement $10$ signifie que ce morphisme est un isomorphisme (tout
+élément de $\mathbb{F}_{11}^\times$ s'écrit de la forme $2^i$ pour un
+$i$ uniquement déterminé modulo $10$).
+
+On notera $\bar\psi \colon \mathbb{Z}/10\mathbb{Z} \to
+\mathbb{F}_{11}^\times$ cet isomorphisme.
+\end{corrige}
+
(3) Montrer qu'il n'existe aucun $x \in \mathbb{F}_{11}$ tel que $x^2
= 2$ (dans $\mathbb{F}_{11}$).
+\begin{corrige}
+Manifestement $0^2 \neq 2$, donc il s'agit de voir qu'il n'existe
+aucun $x \in \mathbb{F}_{11}^\times$ tel que $x^2 = 2$. Or si un tel
+$x$ existait, il pourrait s'écrire $x = \bar\psi(\bar\imath)$ pour un
+certain $\bar\imath \in \mathbb{Z}/10\mathbb{Z}$, et on aurait $
+\bar\psi(2\bar\imath) = x^2 = 2 = \bar\psi(\bar 1)$, donc $2\bar\imath
+= \bar 1$ dans $\mathbb{Z}/10\mathbb{Z}$ vu que $\bar\psi$ est un
+isomorphisme. Or il n'existe pas de $\bar\imath \in
+\mathbb{Z}/10\mathbb{Z}$ tel que $2\bar\imath = \bar 1$ car
+$2\bar\imath$ est pair (ceci a bien un sens vu que $2$ divise $10$)
+alors que $\bar 1$ est impair.
+\end{corrige}
+
(4) Montrer que le polynôme $t^2 - 2$ est irréductible dans
-$\mathbb{F}_{11}[t]$.
+$\mathbb{F}_{11}[t]$. (Il est recommandé d'utiliser la question (3).)
+
+\begin{corrige}
+Il s'agit d'un polynôme de degré $2$, donc s'il était réductible, il
+aurait une racine, et on vient de voir que ce n'est pas le cas.
+
+(On pouvait aussi appliquer le critère de Rabin : $t^2 - 2$ est
+irréductible dans $\mathbb{F}_{11}[t]$ si et seulement si il divise
+$t^{121} - t$ et est premier à $t^{11} - t$. C'est toutefois beaucoup
+plus fastidieux.)
+\end{corrige}
On note $K = \mathbb{F}_{11}[t] / (t^2 - 2)$ l'anneau quotient de
$\mathbb{F}_{11}[t]$ par le polynôme $t^2-2$.
@@ -97,6 +150,15 @@ $\mathbb{F}_{11}[t]$ par le polynôme $t^2-2$.
(5) Combien $K$ a-t-il d'éléments ? Que peut-on déduire de (4) sur
l'anneau $K$ ?
+\begin{corrige}
+L'anneau $K$ a $11^2 = 121$ éléments, qui s'écrivent de façon unique
+comme la classe d'un polynôme de degré $<2$, c'est-à-dire sous la
+forme $a + b\bar t$ (qu'on notera ci-après $a + b\sqrt{2}$) avec
+$a,b\in\mathbb{F}_{11}$. Le fait que $t^2 - 2 \in \mathbb{F}_{11}[t]$
+soit irréductible nous apprend que $K$ est un corps, c'est-à-dire
+\emph{le} corps à $121$ éléments.
+\end{corrige}
+
Dans ce qui suit, on notera\footnote{Comme on ne parlera jamais de
nombres réels, et notamment pas du nombre réel noté de la même
manière, ceci ne devrait pas causer de confusion.} « $\sqrt{2}$ »
@@ -107,35 +169,137 @@ Expliquer brièvement pourquoi tous les éléments de $K$ s'écrivent sous
la forme $a + b\sqrt{2}$ avec $a,b \in \mathbb{F}_{11}$ uniquement
déterminés.
+\begin{corrige}
+On a $(\sqrt{2})^2 = 2$ (puisque $t^2 \equiv 2 \pmod{t^2-2}$), ce qui
+rend la notation raisonnable. On a rappelé ci-dessus pourquoi tout
+élément de $K$ s'écrit sous la forme $a + b\sqrt{2}$) avec
+$a,b\in\mathbb{F}_{11}$ uniques.
+\end{corrige}
+
(7) Quel est l'ordre multiplicatif de $\sqrt{2}$ dans $K^\times$ ?
+\begin{corrige}
+Si $r \in \mathbb{Z}$ est pair, disons $r=2i$, alors $(\sqrt{2})^r =
+(\sqrt{2})^{2i} = 2^i \in K$, or on a caclulé en (1) les puissances de
+$2$ dans $\mathbb{F}_{11}$ (ce sont aussi, bien sûr, les puissances de
+$2$ dans $K$), en particulier ceci vaut $1$ si et seulement si $i$ est
+multiple de $10$ (donc $r$ multiple de $20$). Si $r$ est impair,
+disons $r = 2i+1$, alors $(\sqrt{2})^r = 2^i \sqrt{2}$ (et d'après
+l'unicité de l'écriture $a + b\sqrt{2}$, ceci ne peut jamais valoir
+$1$). On en déduit que le plus petit $r \geq 1$ pour lequel
+$(\sqrt{2})^r = 1$ est $20$ : c'est-à-dire que $\sqrt{2}$ est
+d'ordre $20$ dans $K^\times$.
+\end{corrige}
+
(8) On note $\Frob\colon K \to K$ l'application $x \mapsto x^{11}$.
Rappeler brièvement ce qu'on peut dire sur $\Frob$.
+\begin{corrige}
+On sait que $\Frob$ (le « Frobenius ») est un morphisme d'anneau (ou
+de corps) : c'est-à-dire qu'il vérifie $\Frob(x+y) = \Frob(x) +
+\Frob(y)$ et $\Frob(xy) = \Frob(x)\,\Frob(y)$ pour tous $x,y \in K$.
+\end{corrige}
+
(9) Que vaut $\Frob(a)$ si $a \in \mathbb{F}_{11}$ ? Que vaut
$\Frob(\sqrt{2})$ ? Que vaut $\Frob(a+b\sqrt{2})$ lorsque $a,b \in
\mathbb{F}_{11}$ ? (On demande évidemment une réponse meilleure que
$(a+b\sqrt{2})^{11}$...)
+\begin{corrige}
+Si $a \in \mathbb{F}_{11}$ alors $\Frob(a) = a^{11} = a$ d'après le
+petit théorème de Fermat. Quant à $\Frob(\sqrt{2}) = \sqrt{2}^{11} =
+2^5 \sqrt{2}$ (cf. réponse à la question (7)), c'est $10\sqrt{2}$
+(cf. réponse à la question (1)), ou, si on préfère, $-\sqrt{2}$.
+Enfin, puisque $\Frob$ est un morphisme, $\Frob(a+b\sqrt{2}) =
+\Frob(a) + \Frob(b)\,\Frob(\sqrt{2})$, ce qui montre
+$\Frob(a+b\sqrt{2}) = a - b\sqrt{2}$.
+\end{corrige}
+
(10) Rappeler brièvement pourquoi il existe un isomorphisme de groupes
de $\mathbb{Z}/120\mathbb{Z}$ (additif) sur $K^\times$
(multiplicatif). (On ne demande pas de l'expliciter.)
+\begin{corrige}
+Dans tout corps fini (et notamment dans $K$), il existe des éléments
+primitifs, c'est-à-dire des éléments $g$ d'ordre égal à l'ordre du
+groupe multiplicatif des éléments non nuls. Ici, il existe $g$
+d'ordre $\#K^\times = 120$, et alors $\bar\imath \mapsto g^i$ définit
+un isomorphisme $\bar\Psi \colon \mathbb{Z}/120\mathbb{Z} \to
+K^\times$ exactement comme en (2).
+\end{corrige}
+
(11) Calculer l'inverse de $13$ dans l'anneau
$\mathbb{Z}/120\mathbb{Z}$. (On le représentera par un entier entre
$0$ et $119$.)
+\begin{corrige}
+On cherche une relation de Bézout entre $13$ et $120$ : on a $120 =
+9\times 13 + 3$ et $13 = 4\times 3 + 1$ donc $1 = 13 - 4\times 3$ et
+$3 = 120 - 9\times 13$ donc $1 = 13 - 4\times(120-9\times 13) = 37
+\times 13 - 4\times 120$. Ceci montre que $37$ est l'inverse de $13$
+modulo $120$.
+\end{corrige}
+
(12) Déduire de (10) et (11) que pour tout $x \in K$ il existe un
unique $y \in K$ tel que $x = y^{13}$ (on pourra distinguer les deux
cas $x \in K^\times$ et $x=0$). Expliciter $y$ en fonction de $x$.
+\begin{corrige}
+Si $x = 0$, chercher $y \in K$ tel que $y^{13} = 0$ a pour seule
+solution $y=0$ puisque $K$ est un corps. Considérons maintenant le
+cas $x \in K^\times$ : comme $0^{13} = 0$, si $y^{13} = x$, on aura
+forcément $y \neq 0$, autrement dit $y \in K^\times$.
+
+Soit $\bar\Psi \colon \mathbb{Z}/120\mathbb{Z} \to K^\times$ un
+isomorphisme de groupes (qui existe d'après (10)). Il existe donc un
+unique $\bar\imath \in \mathbb{Z}/120\mathbb{Z}$ tel que
+$\bar\Psi(\bar\imath) = x$. Par ailleurs, si $y \in K^\times$, il
+existe un unique $\bar\jmath \in \mathbb{Z}/120\mathbb{Z}$ tel que
+$\bar\Psi(\bar\jmath) = y$. L'équation $x = y^{13}$ signife
+$\bar\Psi(\bar\imath) = x = y^{13} = \bar\Psi(13\bar\jmath)$, donc
+(puisque $\bar\Psi$ est un isomorphisme) $\bar\imath = 13\bar\jmath$
+dans $\mathbb{Z}/120\mathbb{Z}$. Mais on vient de voir que ceci
+signifie $\bar\jmath = 37\bar\imath$ (car $37$ est l'inverse de $13$
+dans $\mathbb{Z}/120\mathbb{Z}$) : autrement dit $y =
+\bar\Psi(\bar\jmath) = \bar\Psi(37\bar\imath) = x^{37}$.
+
+Comme on a aussi $0 = 0^{37}$, on voit que (quel que soit $x\in K$)
+l'unique solution de $y^{13} = x$ (en l'indéterminée $y$) est : $y =
+x^{37}$.
+\end{corrige}
+
(13) Calculer $(2+\sqrt{2})^r$ dans $K$ pour $r$ valant $2$ et et $4$,
puis pour $r$ valant $11$ (il est recommandé d'utiliser la
question (9)), $22$ et $33$, et enfin pour $r$ valant $37$.
+\begin{corrige}
+On a $(2+\sqrt{2})^2 = 4 + 4\sqrt{2} + 2 = 6 + 4\sqrt{2}$.
+
+On a $(2+\sqrt{2})^4 = (6 + 4\sqrt{2})^2 = 36 + 48\sqrt{2} + 32 = 2 +
+4\sqrt{2}$ (se rappeler que les coefficients sont
+dans $\mathbb{F}_{11}$).
+
+On a $(2+\sqrt{2})^{11} = 2-\sqrt{2} = 2+10\sqrt{2}$ d'après la question (9).
+
+On a $(2+\sqrt{2})^{22} = (6+4\sqrt{2})^{11} = 6 - 4\sqrt{2} = 6 +
+7\sqrt{2}$.
+
+On a $(2+\sqrt{2})^{33} = (2+10\sqrt{2}) \times (6+7\sqrt{2}) = 12 +
+74\sqrt{2} + 140 = 9 + 8\sqrt{2}$.
+
+Enfin, on a $(2+\sqrt{2})^{37} =(9+8\sqrt{2}) \times (2+4\sqrt{2}) =
+18 + 52\sqrt{2} + 64 = 5 + 8\sqrt{2}$.
+\end{corrige}
+
(14) En utilisant (12) et (13), résoudre l'équation $y^{13} =
2+\sqrt{2}$ dans $K$ (en l'indéterminée $y$).
+\begin{corrige}
+D'après ce qu'on a vu en (12), l'unique solution de $y^{13} =
+2+\sqrt{2}$ vaut $(2+\sqrt{2})^{37}$, et d'après (13), ceci vaut $5 +
+8\sqrt{2}$.
+\end{corrige}
+
%
%
%