diff options
| -rw-r--r-- | rappels-maths.tex | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/rappels-maths.tex b/rappels-maths.tex index 1d231fc..7c3312f 100644 --- a/rappels-maths.tex +++ b/rappels-maths.tex @@ -41,7 +41,7 @@ \maketitle {\footnotesize \begin{center} -CVS: \verb=$Id: rappels-maths.tex,v 1.11 2008-10-21 16:11:12 david Exp $= +CVS: \verb=$Id: rappels-maths.tex,v 1.12 2008-11-26 17:35:18 david Exp $= \end{center} \par} \pretolerance=10000 @@ -130,7 +130,7 @@ Sur leur r�partition�: Il y en a une infinit� (Euclide). Pour tout $x>1$, il y a toujours un nombre premier $p$ tel que -$x\leq p < 2x$ (\v Ceby\v s�v�: ��postulat de Bertrand��). +$x < p < 2x$ (\v Ceby\v s�v�: ��postulat de Bertrand��). Le nombre $\pi(x)$ de nombres premiers $\leq x$ est �quivalent � $\frac{x}{\ln x}$ lorsque $x\to +\infty$ (Hadamard \& de�la�Vall�e @@ -571,8 +571,8 @@ verra plus loin comment la calculer. Note�: on a deux involutions importantes sur $(\mathbb{Z}/m\mathbb{Z})^\times$�: l'une est $\bar a \mapsto -\bar a$, et l'autre est $\bar a \mapsto \bar a^{-1}$. Comme la premi�re -n'a pas de point fixe, $\varphi(m)$ est toujours \emph{pair} (sauf -pour $m=2$). +n'a pas de point fixe (pour $m>2$), $\varphi(m)$ est toujours +\emph{pair} (sauf pour $m=2$). Si $p$ est premier, alors tous les nombres entre $1$ et $p-1$ sont premiers avec�$p$�: $(\mathbb{Z}/p\mathbb{Z})^\times = \{\bar @@ -703,7 +703,7 @@ $(\mathbb{Z}/m\mathbb{Z})^\times$ (et de la question de savoir s'il y en a). Moralit�: $\varphi(m)$ est aussi le nombre d'�l�ments d'un groupe -cyclique (quelconque) d'ordre�$m$ qui en sont g�n�rateur. +cyclique (quelconque) d'ordre�$m$ qui en sont un g�n�rateur. % \subsection{Th�or�me d'Euler} @@ -724,7 +724,8 @@ l'ordre de $2$ dans $\mathbb{Z}/7\mathbb{Z}$�? dans $(\mathbb{Z}/7\mathbb{Z})^\times$�? Cas particulier�: ��petit th�or�me de Fermat���: si $p$ est premier, -alors pour tout entier $a$ on a +alors $a^{p-1} \equiv 1 \pmod{p}$ lorsque $a$ n'est pas multiple +de�$p$�; donc, pour tout entier $a$ on a \[ a^p \equiv a \pmod{p} \] @@ -1001,7 +1002,7 @@ apr�s chaque op�ration. �l�ment tr�s important�: $\bar t$. C'est un espace vectoriel de dimension $\deg P$ sur�$k$. Si $k$ est -fini alors $k[t]/(P)$ l'est. +fini alors $k[t]/(P)$ l'est (de cardinal $(\#k)^{\deg P}$). Th�or�me chinois�: si $P$ et $Q$ sont premiers entre eux, on a $k[t]/(PQ) \cong (k[t]/(P)) \times (k[t]/(Q))$ (m�me d�mo qu'avant, @@ -1044,7 +1045,7 @@ s'appelle la caract�ristique. \subsection{Unicit�} Dans un corps $F$ � $q$ �l�ments, on a $a^{q-1} = 1$ pour tout $a \in -K^\times$ (par Lagrange) donc on a $a^q = a$ pour tout�$a \in K$ +F^\times$ (par Lagrange) donc on a $a^q = a$ pour tout�$a \in F$ (��petit th�or�me de Fermat�� g�n�ralis�). Comme le polyn�me $t^q-t$, de degr� $q$, ne peut avoir que $q$ @@ -1200,7 +1201,9 @@ les deux conditions suivantes sont v�rifi�es�: \begin{itemize} \item $f$ divise $t^{q^e}-t$, et \item $f$ est premier avec $t^{q^{e_1}}-t$ pour tout diviseur strict -$e_1$ de�$e$. + $e_1$ de�$e$ (en fait, on peut se contenter de tester pour les + diviseurs stricts \emph{imm�diats}, c'est-�-dire les $e_1 = e/\ell$ + avec $\ell$ premier). \end{itemize} (Remarque�: le premier s'�crit $t^{q^e}\equiv t \pmod{f}$, et pour le v�rifier on applique un algorithme d'exponentiation @@ -1278,7 +1281,7 @@ alors tous ses conjugu�s sur le corps premier $g^p, g^{p^2}, g^{p^3}, \ldots, g^{p^{d-1}}$ le sont aussi. On peut donc aussi dire que leur polyn�me minimal (commun) est primitif�; il est n�cessairement de degr�$d$. Le nombre de polyn�mes irr�ductibles primitifs de -degr�$d$ sur $\mathbb{F}_p$ est donc $\frac{1}{d} \varphi(d)$. +degr�$d$ sur $\mathbb{F}_p$ est donc $\frac{1}{d} \varphi(p^d-1)$. Exemple�: si $g \in \mathbb{F}_{16}^\times$ est primitif, alors $\{g,g^2,g^4,g^8\}$ est un ensemble complet de conjugu�s |