在模数 n 下的除法可以用和对应模反元素的乘法来达成，此概念和实数除法的概念相同。
求模反元素.
用扩展欧几里得算法.设exgcd(a,n)为扩展欧几里得算法的函数，则可得到ax+ny=g，g是a,n的最大公因数。
若formula_3.则该模反元素存在，根据结果formula_4在 mod n 之下，formula_5，根据模反元素的定义formula_6，此时x即为a关于模n的其中一个模反元素。事实上，formula_7