若a,b互素，则a必然存在模b的逆元；若a,b不互素，则a必然不存在模b的逆元

前言：仅个人小记。在证明，模 m 乘法群形式是唯一的 这个过程中需要用到这两条性质，故而记录之。

证明内容

1. 若a,b互素，则a必然存在模b的逆元。证明过程直接参看，若正整数a,b互素，则必然存在b以内的正整数k，使得ak%b=1
2. 若a,b不互素，则a必然不存在模b的逆元。

证明第2条

若a,b不互素，则a必然不存在模b的逆元

反证法：
假设 $$(a,b)>1,存在整数k，使得ak=1(modb)$$
则等价于$$ak+by=1$$因为$$(a,b)|a,b$$又因为 k,y 为整数，所以必然

$$(a,b)|(ak+by)$$所以必然

$$(a,b)|1$$

因为 $$(a,b)>1$$所以$$(a,b)|1不成立$$故而矛盾，故而假设不成立，故而若a,b不互素，则a必然不存在模b的逆元，证毕！