From d24a5e6dbdf3a9aba9cc115d4947b072d2b0543f Mon Sep 17 00:00:00 2001 From: david Date: Wed, 18 Nov 2009 15:38:09 +0000 Subject: Ooops. --- controle-20091124.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/controle-20091124.tex b/controle-20091124.tex index 5a0bd0e..98eaf11 100644 --- a/controle-20091124.tex +++ b/controle-20091124.tex @@ -667,7 +667,7 @@ t^{2^{17}} = \bar t^{10}$ (ensuite on retombe sur $\bar t^{2^{18}} = de $\bar t$ sont distinctes, c'est-à-dire, en fait, que $2$ est primitif modulo $19$ : donc finalement les racines de $\Phi_{19}(X)$ dans $\mathbb{F}_{2^{18}} = \mathbb{F}_2[t]/(\Phi_{19}(t))$ sont tous -les $\bar t^i$ pour $i$ allant de $0$ à $17$, et on a $\Phi_{19}(X) = +les $\bar t^i$ pour $i$ allant de $1$ à $18$, et on a $\Phi_{19}(X) = (X-\bar t)(X-\bar t^2)(X-\bar t^3)\cdots (X-\bar t^{18})$. On pouvait aussi affirmer directement que $\bar t^i$ est une racine de $\Phi_{19}$ pour tout $i \not\equiv 0 \pmod{19}$, car alors $\bar -- cgit v1.2.3