next up previous contents
Next: Retour à notre seconde Up: Quod erat demanstrandum (bis Previous: Quod erat demanstrandum (bis

Lemme sur la somme de Gauss

Avec les notations précédentes, on a : $\tau^2=\left(\frac{-1}{q}\right) q$.Preuve : On a

\begin{displaymath}
\tau^2=\tau.\tau=(\sum_x \left(\frac{x}{q}\right)\omega^x)
(...
 ...ght)\omega^y)= \sum_{x,y}\left(\frac{xy}{q}\right)\omega^{x+y}.\end{displaymath}

Réalisons le changement de variable y=xz et, en utilisant

\begin{displaymath}
\left(\frac{xy}{q}\right)=\left(\frac{x}{q}\right)^2 \left(\frac{z}{q}\right)=\left(\frac{z}{q}\right),\end{displaymath}

on a :

\begin{displaymath}
\tau^2=\sum_z \left(\frac{z}{q}\right) \sum_x \omega^{x(1+z)}.\end{displaymath}

Or

\begin{displaymath}
\sum_{t \in {\mathbb F}_q} \omega^t=1+\omega+\dots+ \omega^{p-1}=0,\end{displaymath}

par conséquent

\begin{displaymath}
{\sum_{t \in {\mathbb F}_q^*} \omega^t=-1}.\end{displaymath}

Si $z \not = -1$, l'application $x \mapsto x(1+z)$ est une permutation de ${\mathbb F}_q^*$ donc

\begin{displaymath}
\sum_x \omega^{x(1+z)}=-1\end{displaymath}

et donc

\begin{displaymath}
{\tau^2=\left(\frac{-1}{q}\right) (q-1) + \sum_{z \not = -1} -\left(\frac{z}{q}\right)}.\end{displaymath}

Si on utilise maintenant le fait qu'il y a dans ${\mathbb F}_q^*$ autant de carrés que de non carrés, ce qui entraîne

\begin{displaymath}
\sum_{x \in {\mathbb F}_q^*} \left(\frac{x}{q}\right)=0,\end{displaymath}

on obtient ce que l'on voulait :

\begin{displaymath}
\tau^2= \left(\frac{-1}{q}\right) (q-1)+\left(\frac{-1}{q}\right)= \left(\frac{-1}{q}\right) q.\end{displaymath}

Une généralisation abstraite (le théorème de Kronecker-Weber) affirme que tout corps de nombres algébriques dont le groupe de Galois sur ${\mathbb Q}$ est commutatif est un sous-corps d'un corps cyclotomique.



Cyril Banderier
7/23/1997