diff options
| -rw-r--r-- | controle-20091124.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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 |