- Lemme de zolotarev
-
Lemme de Zolotarev
En mathématiques, le lemme de Zolotarev est un résultat d'arithmétique modulaire énonce que le symbole de Legendre
pour un entier a modulo un nombre premier p, peut être calculé de la manière suivante:
- ε(πa)
avec ε désignant la signature d'une permutation et πa la permutation de la classe des résidus mod p qui multiplie chaque élément par a, à condition que p ne divise pas a.
Sommaire
Preuve
Un élément non nul a du corps fini à p éléments agit par multiplication à droite sur le groupe multiplicatif de ce corps. Il est facile de voir que cette action admet (p-1)/i orbites, chacune de taille i, où i est l'ordre de a (c'est-à-dire le plus petit entier tel que ai = 1). La signature de cette action est alors .
On discute alors suivant la parité de i : si i est pair alors ; si i est impair alors . Dans les deux cas, c'est le résultat attendu.
Historique
Ce lemme a été introduit par Egor Ivanovich Zolotarev en 1872 pour une preuve de la Loi de réciprocité quadratique.
Voir aussi : lemme de Gauss.
Référence
- E. Zolotarev, Nouvelle démonstration de la loi de réciprocité de Legendre, Nouv. Ann. Math (2), 11 (1872), 354-362
Liens externes
- Portail des mathématiques
Catégories : Arithmétique modulaire | Permutation | Lemme de mathématiques
Wikimedia Foundation. 2010.