对于逆元的理解

废话不多说，直接总结。

在模运算中，
加法单位元：  0   因为   (a+0) ≡ a  (mod m)；
乘法单位元： 1    因为   (1*a)  ≡ a  (mod m)；

而逆元呢，就是把上面的倒过来；

定义 对a∈Zm，存在b∈Zm，使得     a+b ≡ 0 (mod m)              则b是a的加法逆元，记b= - a。
定义 对a∈Zm，存在b∈Zm，使得     a×b ≡1 (mod m)               则称b为a的乘法逆元。

具体计算对于乘法逆元：

在mod m的操作下（即Zm中），a存在乘法逆元当且仅当a与m互质。

不定方程ab+mx=1的任意一组整数解(b,x)，b就是a的乘法逆元。具体计算可以使用扩展欧几里德算法   (Extended-GCD)  。

代码参考：

https://code.csdn.net/snippets/67656