前言:仅个人小记。在证明,模 m 乘法群形式是唯一的 这个过程中需要用到这两条性质,故而记录之。
证明内容
- 若a,b互素,则a必然存在模b的逆元。证明过程直接参看,若正整数a,b互素,则必然存在b以内的正整数k,使得ak%b=1
- 若a,b不互素,则a必然不存在模b的逆元。
证明第2条
若a,b不互素,则a必然不存在模b的逆元
反证法:
假设
(
a
,
b
)
>
1
,
存
在
整
数
k
,
使
得
a
k
=
1
(
m
o
d
b
)
(a,b)>1,存在整数 k,使得 ak=1(mod \ b)
(a,b)>1,存在整数k,使得ak=1(mod b)
则等价于
a
k
+
b
y
=
1
ak+by=1
ak+by=1因为
(
a
,
b
)
∣
a
,
b
(a,b)|a,b
(a,b)∣a,b又因为 k,y 为整数,所以必然
( a , b ) ∣ ( a k + b y ) (a,b)|(ak+by) (a,b)∣(ak+by)所以必然
( a , b ) ∣ 1 (a,b)|1 (a,b)∣1
因为 ( a , b ) > 1 (a,b)>1 (a,b)>1所以 ( a , b ) ∣ 1 不 成 立 (a,b)|1不成立 (a,b)∣1不成立故而矛盾,故而假设不成立,故而若a,b不互素,则a必然不存在模b的逆元,证毕!