cinta扩展作业2：乘法逆元、消去律

1、给出正整数a和m，gcd(a,m)=1，请问，a模m的乘法逆元（在mod m的意义下）是唯一的吗？为什么？请证明。

是唯一的。证明如下：
因为 $gcd(a,m)=1$，所以 $a$ 模 $m$ 下存在乘法逆元，假设乘法逆元不唯一,则有：
$$\begin{gathered} a\cdot a^{-1}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}m \\ a\cdot (a^{-1}{)}^{\prime }\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}m \end{gathered}$$
进而可得：
$$a\cdot a^{-1}\equiv a\cdot (a^{-1}{)}^{\prime }\mathrm{m}\mathrm{o}\mathrm{d}m$$
由消去律可得：
$$a^{-1}\equiv (a^{-1}{)}^{\prime }\mathrm{m}\mathrm{o}\mathrm{d}m$$
则产生矛盾，故a模m的乘法逆元（在mod m的意义下）是唯一的

---

2、设p是素数，计算(p-1)! mod p，并找出规律（可编写一个程序），写成定理，并给出证明。（！表示阶乘）

可观察总结出一个定理：$(p-1)!\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}p$
证明：

当 $p=2$ 时， 显然成立
当 $p\ne 2$ 时，$p$ 为奇素数，首先由于$p-1\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}p$，则由要证明的定理同价转换有：$(p-2)!\equiv (p-2)!/1\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$，即转换成证明此式：$(p-2)!/1\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$。
而 $(p-2)!$ 除去 $1$ 之外共有偶数个相乘，由于逆元的唯一性，故在这偶数个里面将与逆元两两配对相乘，得到的结果在模 $p$ 下同余单位元 $1$，证毕

---

3、思考另一个版本的消去律。设$a,b,c\in \mathbb{Z}$，$m$是一个正整数。如果$gcd(c,m)=g$，$g$是大于一的整数，且$ac\equiv bc(\mathrm{m}\mathrm{o}\mathrm{d}m)$。 请问此时能消去$c$得到某个同余式$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}{m}^{\prime })$吗？这个$m^{\prime }$会是什么？给出证明。

因为$gcd(c,m)=g$，由bezout定理可得：
$$\begin{gathered} cr+ms=g \\ r,s\in \mathbb{Z} \end{gathered}$$
上式两边同除 $g$ 后可得：
$$c\frac{r}{g}+s\frac{m}{g}=1$$
上式两边同模 $\frac{m}{g}$ 后可得：
$$c\frac{r}{g}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}\frac{m}{g}$$
则 $c$ 在模 $\frac{m}{g}$ 下存在逆元 $\frac{r}{g}$ ，故 $c$ 在模 $\frac{m}{g}$ 下满足消去律，所以 $m^{\prime }=\frac{m}{g}$