模反元素也称为模倒数，或者模逆元。一整数a对同余n之模反元素是指满足以下公式的整数 b也可以写成以下的式子或者整数 a 对模数 n 之模反元素存在的充分必要条件是 a 和 n 互质，若此模反元素存在，在模数 n 下的除法可以用和对应模反元素的乘法来达成，此概念和实数除法的概念相同。
求模反元素.
用扩展欧几里得算法.设exgcd(a,n)为扩展欧几里得算法的函数，则可得到ax+ny=g，g是a,n的最大公因数。
若form