求模线性方程的一个有力定理

定理：对任意正整数 a 和 n ,如果 d=gcd(a, n) , 则在Z_n 中

                      <a> = <d> = {0, d, 1d, 2d, ... , ( ( n / d ) - 1 )  / d}

因此有 ｜<a>｜= n / d;

证明参考《算法导论》553 页。其中<a> = {a^(x) : x > 0}={ax mod n : x > 0};

要解模线性方程，搞清楚原理，那么一定要看懂这个定理。