next up previous
Next: Références Up: Quelques Propriétés Cachées des Previous: La loi de réciprocité

Caractères et Sommes de Gauss

Un homorphisme d'un groupe fini vers le groupe multiplicatif des nombres complexes est un caractère, en particulier tex2html_wrap_inline795 est un caractère du groupe tex2html_wrap_inline797 . Il suit de la proposition précédente que la somme

  equation161

est nulle. C'est une propriété générale des caractères de groupes. Par exemple, l'application tex2html_wrap_inline799 est un homomorphisme du groupe additif de tex2html_wrap_inline801 , c'est un caractère additif canonique. Le lecteur n'aura pas de difficulté à vérifier que :

  equation165

Pour tout résidu non-nul a, on définit la somme de Gauss :

displaymath805

Cette somme est liée à la somme de Gauss quadratique G(a,n) la relation tex2html_wrap_inline809 . Elle est à l'avantage de faire apparaître le symbole de Legendre :

equation170

 

proposition174

proof177

Voilà, nous sommes en mesure de faire une preuve de la loi de réciprocité quadradique à partir des sommes de Gauss et des anneaux cyclotomiques. Soient p et q deux premiers impairs et distincts, posons tex2html_wrap_inline823 . La divisibilité par q des coefficients binomiaux de rang q donne :

equation181

Remarquons que g(1,p) est inversible modulo q puisque son carré : tex2html_wrap_inline833 l'est. On peut simplifier :

displaymath835

En élevant à la puissance tex2html_wrap_inline837 l'égalité de la proposition (4), nous obtenons :

displaymath839

ce qui achève la preuve de la loi de réciprocité quadratique. Le lecteur familier avec les corps de Galois définira des sommes de Gauss dans un corps fini bien choisi pour simplifier cette démonstration, voir le petit livre d'arithmétique de Serre [4]. Une autre démonstration d' Eisenstein basée sur le lemme de Gauss y est proposée.

exercice193



Langevin Philippe
Fri Apr 30 19:17:24 MET DST 1999