同余式
a≡b (mod m)
两个整数a,b,若它们除以正整数 m所得的余数相等,则称a, b对于模m同余
欧几里得引理
如果a|bc ,gcd(a,b)=1 那么 a|c
如果一个正整数整除另外两个正整数的乘积,第一个整数与第二个整数互质,那么第一个整数整除第三个整数。
命题30的表述
如果 p|bc 那么 p|b 或者 p|c
如果一个素数整除两个正整数的乘积,那么这个素数可以至少整除这两个正整数中的一个。
平凡平方根
平凡平方根: 12mod p 和 (-1)2mod p 总得到 1 ,我们称-1和1是1 mod p 的“平凡平方根”
当p是素数且 p>2时,任意 x 是1 mod p 的 “平凡平方根”
费马小定理
假如 a是一个整数, n是一个质数
1≤a≤n-1都有 an ≡a (mod n), 即an-1≡ 1mod n
注:第一步是由公式化来