标签：ac gcd bc pmod 作业 拓展 c1 CINTA equiv
乘法逆元、消去律
- 1、给出正整数a和m，gcd(a,m)=1，请问，a模m的乘法逆元（在mod m的意义下）是唯一的吗？为什么？请证明。
- 2、设p是素数，计算(p-1)! mod p，并找出规律（可编写一个程序），写成定理，并给出证明。（！表示阶乘）
- 3、思考另一个版本的消去律。设 a , b , c ∈ Z a, b, c \in \Z a,b,c∈Z， m m m是一个正整数。如果 g c d ( c , m ) = g gcd(c, m) = g gcd(c,m)=g， g g g是大于一的整数，且 a c ≡ b c ( m o d m ) ac \equiv bc \pmod{m} ac≡bc(modm)。 请问此时能消去 c c c得到某个同余式 a ≡ b ( m o d m ′ ) a \equiv b \pmod{m'} a≡b(modm′)吗？这个 m ′ m' m′会是什么？给出证明。
1、给出正整数a和m，gcd(a,m)=1，请问，a模m的乘法逆元（在mod m的意义下）是唯一的吗？为什么？请证明。
证明如下：
设存在
a
−
1
a^{-1}
a−1满足：
a
a
−
1
≡
1
(
m
o
d
55
)
aa^{-1}\equiv 1 \pmod {55}
aa−1≡1(mod55)
因为：gcd(a,m)=1，由Bezout定理得，存在唯一的Bezout系数使得：
a
r
+
m
s
=
1
ar+ms=1
ar+ms=1，即
a
r
≡
1
(
m
o
d
m
)
ar\equiv 1 \pmod m
ar≡1(modm)
故乘法逆元
a
−
1
a^{-1}
a−1=r，且是唯一的。
2、设p是素数，计算(p-1)! mod p，并找出规律（可编写一个程序），写成定理，并给出证明。（！表示阶乘）
定理：
(
p
−
1
)
!
m
o
d
p
=
（
p
−
1
）
(p-1)! \mod p=（p-1）
(p−1)!modp=（p−1）
（证明真不会qwq）
3、思考另一个版本的消去律。设 a , b , c ∈ Z a, b, c \in \Z a,b,c∈Z， m m m是一个正整数。如果 g c d ( c , m ) = g gcd(c, m) = g gcd(c,m)=g， g g g是大于一的整数，且 a c ≡ b c ( m o d m ) ac \equiv bc \pmod{m} ac≡bc(modm)。 请问此时能消去 c c c得到某个同余式 a ≡ b ( m o d m ′ ) a \equiv b \pmod{m'} a≡b(modm′)吗？这个 m ′ m' m′会是什么？给出证明。
证明如下：
由gcd(c,m)=g，设 m_1=
m
g
\frac mg
gm ， c_1=
c
g
\frac cg
gc，则gcd(
c
1
,
m
1
c_1,m_1
c1,m1)=1，由
a
c
≡
b
c
(
m
o
d
m
)
ac \equiv bc \pmod{m}
ac≡bc(modm)，有：m|(a-b)c
所以有
m
1
m_1
m1|(a-b)
c
1
c_1
c1，即
a
c
1
≡
b
c
1
(
m
o
d
m
1
)
ac_1 \equiv bc_1 \pmod{m_1}
ac1≡bc1(modm1)
由于
g
c
d
(
c
1
,
m
1
)
=
1
gcd(c_1,m_1)=1
gcd(c1,m1)=1，由Bezout定理得，存在唯一的
c
1
−
1
c_1^{-1}
c1−1，使得：
c
1
c
1
−
1
≡
1
(
m
o
d
m
1
)
c_1c_1^{-1} \equiv 1 \pmod{m_1}
c1c1−1≡1(modm1)
所以有：
a
≡
b
(
m
o
d
m
1
)
a \equiv b \pmod{m_1}
a≡b(modm1)，其中：
m
1
=
m
g
m_1=\frac mg
m1=gm
标签：ac,gcd,bc,pmod,作业,拓展,c1,CINTA,equiv 来源： https://blog.csdn.net/gyzpy2020/article/details/120597842
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。