Théorème de Carmichael

[ Corollaire ]
On a \(a^{\lambda(n)}\equiv 1\; (n)\) pour tout entier \(a\) premier à \(n\). Réciproquement, si \(m\) vérifie \(a^m\equiv 1\;(n)\) pour tout entier \(a\) premier à \(n\), alors \(m\) est multiple de \(\lambda(n)\).
En savoir plus