首先我們將 m 寫成質因數的乘積, 即
m = 2n0p1n1 ... prnr, 其中這些 pi 為相異奇質數而 n0 0. 利用 Corollary
4.4.3, 我們知道
xn
a(mod m) 有解若且唯若
xn
a(mod 2n0) 以及所有的
i
{1..., r},
xn
a(mod pini) 皆有解. 所以我們只要探討
xn
a(mod 2n0) 及
xn
a(mod pini) 解的情況. 當
n0
3 時, 由於在 modulo 2n0 沒有 primitive root,
討論解的情形較複雜, 這裡我們不多做討論. 我們僅討論當 n0
2
的情形, 也就是說此處我們探討解
xn
a(mod m) 的方法僅適用於
8
m 的情況. 在此情況之下我們只要解
xn
a(mod 2n0), 其中 n0
2, 以及解
xn
a(mod pini). 這兩種情況 (即 modulo 2n0 和 modulo
pini), 由於 primitive root 皆存在,
我們利用下面的方法就可判別其解是否存在.
反之, 假設 為 modulo m 之下的一個 primitive root. 依定義
{
,
,...,
} 是一個 reduced residue
system modulo m, 也就是說任何和 m 互質的數 b, 皆存在
i
使得
b(mod m). 因此存在
r
使得
a
(mod m). 另一方面若 c 是
xn
a(mod m)
的一個解, 則由於
gcd(c, m) = 1, 一定也存在
t
使得
c
(mod m). 因此要解
xn
a(mod m) 就等同於要找到
t
使得
當 m = p 為一質數 (此時 modulo p 當然有 primitive root) 且 n = 2 時, Theorem 6.4.1 就是 Euler's criterion (Theorem 5.3.3). 所以 Theorem 6.4.1 可以說是 Theorem 5.3.3 的推廣.
接下來我們要知道
xn a(mod m) 要是有解, 那麼在 modulo m
之下會有多少解. 和往常一樣,
我們所用的方法是直接探討兩個解之間的關係,
如此一來不只可以精確地算出解的個數,
而且可以很快的利用一個已知解將其他的解求出.
事實上, 若
x c(mod m) 是
xn
a(mod m) 的一個解且
是 modulo m 之下的一個 primitive root, 則在 modulo m
之下
x
c
(mod m), 其中
t
{0, 1,..., d - 1} 是
xn
a(mod m) 所有的解.
我們證得了若
x c
(mod m), 是
xn
a(mod m) 的一個解, 則
x
c
(mod m), 其中
, 是
xn
a(mod m) 所有的解. 不過這些解在 modulo m
之下有許多是相同的, 我們必須將有哪些相異解找出. 然而 c 和 m
互質, 故由 Corollary 3.2.4知
c
c
(mod m) 若且唯若
(mod m).
再利用
ordm(
) =
(m) 以及 Proposition 6.1.6 知
(mod m)
若且唯若
(m)/d
(m)/d(mod
(m))
也就是說
(m)|(
-
)
(m)/d 亦即
d|
-
. 因此當
0
t
d - 1 時,
c
在 modulo m 之下皆相異. 另一方面對任意
皆存在
h, t
使得
= hd + t, 其中
0
t
d - 1. 所以
c
在 modulo m
之下都會與某個
c
同餘, 其中
t
{0, 1,..., d - 1}. 因此我們得證
xn
a(mod m) 若有
x
c(mod m) 這一個解 則在 modulo m 之下
xn
a(mod m) 共有
x
c, c
, c
,..., c
這 d 個解.
接下來我們利用一個實際的例子解釋 Proposition 6.4.1 和 Proposition 6.4.2 所得之結果.
由於 27 = 33 所以在 modulo 27 之下 primitive root 是存在的. 又
(27) = 18 且
gcd(12,
(27)) = gcd(12, 18) = 6 利用 Proposition
6.4.1 我們可分別由
10
(27)/6 = 103 和 113 在 modulo
27 是否為 1 來判定
x12
10(mod 27) 和
x12
11(mod 27) 是否有解. 事實上
103
1(mod 27) 且
113
8
1(mod 27), 所以
x12
10(mod 27) 有解而
x12
11(mod 27) 無解.
要找出
x12 10(mod 27) 的解, 首先需先找到 modulo 27
的一個 primitive root. 由於 2 是 modulo 3 的 primitive root 且
22
4
1(mod 9), 所以由 Lemma 6.3.4 知 2
在 modulo 9 是 primitive root. 因而由 Proposition 6.3.7 知
2 在 modulo 27 之下依然是 primitive root. 既然 2 是 modulo
27 的一個 primitive root 經計算我們知
26
10(mod 27)
且可以將
x12
10(mod 27) 的一解寫成
x
2t(mod 27) 的形式. 也就是說我們要解