威尔逊定理:
当且仅当p为素数时:( p -1 )! ≡ -1 ( mod p ) (o(╯□╰)o我开始竟然看成!=了)
证明:
充分性:
因为(p-1)! = -1 (mod p),所以(p-1)! 与p互质,如果p不是质数,则p的因子肯定在2,3,...p-1之中,这与条件矛盾,所以p必是质数
必要性:
若p是素数,取集合 A={1,2,3,...p -1}; 则A 构成模p乘法的缩系,而缩系恰好是可交换群所以每个元素都存在逆元且唯一,
即任意i∈A ,存在j∈A,使得:
( i j ) ≡ 1 ( mod p )<