乘模合数群，要想余数为1，则两数必须互质

前言：仅个人小记。为什么专门提一下这个性质？ 1. 一个是这个定理本身有意；2. 另一个这里的"1"在“乘模合数群”中很有作用，是否能够取模得到 “1” 决定着是否存在 “逆元”，这一点在讨论群环域中很重要，为判定逆元存在提供了理论支撑。下面将详细讨论。

一、引入命题

白话语言

要想余数为1，则两数必须互质
或者说，如果两个数不互质，则这两个数余数必然不为 1。

数学语言

证明命题如下：

1. 如果$a\mathrm{m}\mathrm{o}\mathrm{d}b=1，则a\perp b$
2. 如果$a\perp ̸b，则a\mathrm{m}\mathrm{o}\mathrm{d}b≠1$

以上1, 2 互为逆否命题，则必然两个命题等价，证明其中一个即可。

二、给出证明

证明：若对于正整数 a, b, $a\perp ̸b$，则必然 $a\mathrm{m}\mathrm{o}\mathrm{d}b≠1$。
因为 $$a\perp ̸b$$所以

$$gcd(a,b)≠1$$则记

$$k=gcd(a,b)>1$$则 a, b 可以表示为

$$a=k^{\prime \prime }k,b=k^{\prime \prime \prime }k,k^{\prime \prime }和k^{\prime \prime \prime }为整数$$反证法开始：假设

$$a\mathrm{m}\mathrm{o}\mathrm{d}b=1$$则有，

$$a=k^{\prime }b+1,k^{\prime }为整数$$进而将 a, b 的表示式子带入得到

$$k^{\prime \prime }k=k^{\prime }(k^{\prime \prime \prime }k)+1$$进而有

$$(k^{\prime \prime }-k^{\prime }{k}^{\prime \prime \prime })k=1$$显然,

$$(k^{\prime \prime }-k^{\prime }{k}^{\prime \prime \prime })为整数,又k>1，所以(k^{\prime \prime }-k^{\prime }{k}^{\prime \prime \prime })k≠1$$与

$$(k^{\prime \prime }-k^{\prime }{k}^{\prime \prime \prime })k=1矛盾$$故而假设不成立，进而必然有

$$gcd(a,b)=1$$即

$$a\perp b$$

三、结合具体群论例子

G = &lt; { 1 , 2 , . . . , n − 1 } , ∗ &gt; G=&lt;\{1,2,...,n-1\},*&gt; G=<{1,2,...,n−1},∗>，其中n 为合数，二元运算 * 定义为

$$\forall a,b\in G,a\ast b=ab\mathrm{m}\mathrm{o}\mathrm{d}n$$显然 G 满足封闭性、结合律、交换律以及存在幺元，故而 G 是一个交换幺半群。

而我们想要探讨的是这个幺半群中哪些元素是存在逆元的 ？
逆元即,

$$\forall a\in G，如果\exists b\in G,使得ab\mathrm{m}\mathrm{o}\mathrm{d}n=1，则称b为a的逆元$$这里的余数为1就联系了上述的定理。此时，需求转为
$$找到能够使得ab\mathrm{m}\mathrm{o}\mathrm{d}n=1成立的b$$
根据上述定理知，要想$ab\mathrm{m}\mathrm{o}\mathrm{d}n=1$成立，必须要 $$ab\perp n$$而要想$ab\perp n$成立，则必然要有$$a\perp n,b\perp n$$
所以， $a\perp n$是 a 能够存在逆元的必要条件，即如果 $a\perp n$，a 才有可能是存在逆元的。

小结：借助了上面的定理，缩小了寻找可逆元素的范围。

四、群论例子进一步证明

前要知识

1. 若正整数$a\perp b$，则必然存在正整数 k ∈ { 0 , 1 , . . . , b − 1 } ， 使 得 a k % b = 1 k\in\{0,1,...,b-1\}，使得ak\%b=1 k∈{0,1,...,b−1}，使得ak%b=1. 参看 https://blog.csdn.net/qq_25847123/article/details/99953705

根据前要知识，显然，因为 $a\perp n$，所以必然存在 b ∈ { 0 , 1 , . . . , n − 1 } b\in\{0,1,...,n-1\} b∈{0,1,...,n−1}使得$$ab\%n=1$$所以当 $a\perp n$ 时，元素 a 必然而不是可能存在逆元。