数论3、模线性方程

virgo_sepa

于 2022-09-21 09:36:44 发布

阅读量117

点赞数

文章标签：抽象代数

本文链接：https://blog.csdn.net/virgo_sepa/article/details/126962033

版权

模线性方程是给定 $a,b,n$ ，找到满足 $ax\equiv b\enspace (mod\enspace n)$ 的 $x$ 的问题

Theorem1：在模加群 $Z_n$ 中任选正整数 $a$ ，令 $d=gcd(a,n)$ ，有 $\langle a \rangle = \langle d \rangle = \{0,d,2d,..., ((n/d)-1)d\}$ 且 $|\langle a \rangle|=n/d$
Corollary1：模线性方程仅在 $gcd(a,n)|b$ 时可解。证明：若可解则 $[b]\in \langle a \rangle$ ，又 $d|\langle d \rangle=\langle a \rangle$ ，所以 $d\enspace |\enspace b$
Corollary2：模线性方程要么有 $d=gcd(a,n)$ 个解，要么无解。证明：若有解， $x$ 取0~n-1的过程中， $b$ 重复出现了 $d$ 次，所以 $x$ 有 $d$ 个不同的解
Theorem2： $d = gcd(a,n)$ ，所以存在 $x',y'$ 使得 $d=ax'+ny'$ 。若 $d\enspace |\enspace b$ ，则存在一个解 $x_0=x'(b/d)\enspace mod\enspace n$
Theorem3：若一个模线性方程有解，可以按照以下方式求得所有解。 $x_0 = x'(b/d)\enspace mod \enspace d; \enspace for\enspace i=0\enspace to \enspace d-1,\enspace x_i=x_0+i(n/d)$
Corollary3：求模乘群的逆元问题可以转化为求b=1时的模线性方程问题 $ax\equiv 1\enspace (mod\enspace n)$ ，又因为模乘群中的所有元素与n互质，故存在唯一的逆元满足模线性方程