关于除法与乘法逆元关系的一些理解

*表示普通乘法，/表示普通除法，⊙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>的逆元来代替