Développement : Lemme de Zolotarev

Détails/Enoncé :

Soit $p$ un nombre premier impair. La multiplication par $a$ dans $\mathbb F_p$, notée $m_a$, est une permutation, et on a
$$ \left(\frac{a}{p}\right) = \varepsilon(m_a). $$
Ce qui permet de calculer
$$ \left(\frac{2}{p}\right) = (-1)^{\frac{p^2-1}{2}}. $$

Versions :