Théorème de Wilson
- Pure Mathematics -
Algebra Dictionary
Définition
Caractérisation arithmétique affirmant qu'un entier strictement positif p est premier si et seulement si (p − 1)! ≡ −1 (mod p) ; autrement dit, la factorielle de p − 1 est congrue à −1 modulo p précisément lorsque p est premier.