乘法逆元

为了定义模运算下的除法，引入乘法逆元的概念。

两个数的乘积为1，则两个数互为倒数。

两个数在模运算下乘积为一，则称这两个数互为乘法逆元。如：$2\times 3\equiv 1(\mathrm{mod}5)$，称2在模5下的乘法逆元为3。

a在模b下有乘法逆元的充要条件是：a,b互素。