gcd，lcm，同余理论、二次剩余、二次非剩余、和n次剩余通俗意义的理解

a=q * b=r
最大公约数gcd:辗转相除法，又称欧几里得算法，gcd(a,b)= gcd(b,r) = gcb(b,a mod b)
最小公倍数lcm: a * b/gcd(a,b)

判断一个数是否为素数：威尔逊定理
https://blog.csdn.net/sLiubala/article/details/105906882

同余定理论:https://blog.csdn.net/sLiubala/article/details/105906999
a≡b( mod n ),c≡b( mod n ),则a +(-) c=b +(-) c (mod n),a * c=b * d(mod n)

二次剩余：X^2在数论中，特别在同余理论里，一个整数X对另一个整数p的二次剩余，是指x的平方除以p得到的余数。
当存在某个X，式子 X^2 ≡ d (mod p)成立时，称“d是模p的二次剩余” 根据二次互反律，“(p-d)也是模p的二次剩余”
当对任意不成立时，称“d是模p的二次非剩余”，根据二次互反律，"-d 是模p的二次非剩余"

二次互反律:其涉及到平方的概念。设a,b是两个非零整数，我们定义符号(a/b);若存在整数x，使得x^2≡a(mod b),那么就记（a/b）=1，否则就记（a/b）=-1，在b是素数时，这个符号也叫勒让德符号。
高斯二次互反律：
设p和q为不同的奇素数，则（q/p）*（p/q）=（-1）^（p-1）/2 *(q-1)/2

二次剩余的乘积必然还是二次剩余

二次剩余的推广叫做高次剩余，是研究任意X，X^n ≡ d (mod p) 中d是否为模p的n次剩余的问题。