对于正整和，如果有，那么把这个同余方程中的最小正整数解叫做模的逆元。
逆元一般用扩展欧几里得算法来求得，如果为素数，那么还可以根据费马小定理得到逆元为。
推导过程如下
（费马小定理：在p是素数的情况下，对任意整数x都有xp ≡ x (mod p)。其中如果x无法被p整除，我们有xp-1 ≡ 1 (mod p) ）
