*表示普通乘法,/表示普通除法,⊙n表示模n乘法
首先可以证明<Zn,⊙n>是一个群,其中Zn为模n的简化剩余系
设x,y∈Zn,则有x,y与n互质,所以 x⊙n y = (x*y)mod n = z,z与n互质,z∈Zn,所以⊙n 在Zn上是封闭
其单位元为1,且⊙n满足结合律,
利用公因数理论可知,x∈Zn,gcd(x, n) = 1,所以必存在y,使得(x*y) mod n= 1,设gcd(y, n) = k,则根据
(x*y) mod n= 1可知k必为1,所以y属于Zn,所以任意x∈Zn,存在逆元
设正整数A,B 与n互质且A/B = C,C为正整数, 已知(A/B) mod n= C mod n,设(a,b)=(A, B) mod n,证明
a ⊙n b^-1 = C mod n,其中b^-1表示b的逆元
首先不难得出C也与n互质,所以设c = C mod n,则c属于Zn
A mod n = (A/B)*B mod n = (A/B mod n)*(B mod n) mod n = c*b mod n = a mod n
因a,b,c都属于Zn,因此有a*b^-1 mod n = (c*b)*b^-1 mod n = c mod n
以后遇到答案对素数取模的运算,其中的除法可以用乘以其在<Zn,⊙m>的逆元来代替