雅可比符号
雅可比符号是勒让德符号的推广,用于判断一个整数在模另一个(可能是合数的)正奇数下的二次剩余性质。虽然它不能像勒让德符号那样精确区分二次剩余和非剩余,但其计算上的便利性使其在数论和密码学中非常有用。
第一步:从勒让德符号到雅可比符号的动机
勒让德符号 (a/p) 的定义要求分母 p 是一个奇素数。它精确地告诉我们方程 x² ≡ a (mod p) 是否有解:
(a/p) = 1表示有解(a是模p的二次剩余)。(a/p) = -1表示无解(a是模p的二次非剩余)。(a/p) = 0表示p整除a。
然而,当我们遇到模数是合数 n 的情况时,勒让德符号便不再直接适用。雅可比符号 (a/n) 应运而生,它将勒让德符号的定义域扩展到了所有正奇数 n。
第二步:雅可比符号的定义
设 a 是一个整数,n 是一个正奇数,且 n 的素因数分解为 n = p₁ᵏ¹ p₂ᵏ² ... pᵣᵏʳ(其中 pᵢ 是奇素数)。
雅可比符号 (a/n) 定义为各个素因数对应的勒让德符号的乘积:
(a/n) = (a/p₁)ᵏ¹ · (a/p₂)ᵏ² · ... · (a/pᵣ)ᵏʳ
关键理解点:
- 即使
n是合数,我们计算雅可比符号时,等式右边的每一项(a/pᵢ)仍然是勒让德符号(因为pᵢ是素数)。 - 雅可比符号的值只可能是
1,-1或0。当且仅当gcd(a, n) ≠ 1时,(a/n) = 0。
第三步:雅可比符号的性质与计算规则
雅可比符号继承了勒让德符号的许多优美性质,这使得计算它非常高效,而无需对 n 进行素因数分解(这一点至关重要)。
- 互补律:如果
a ≡ b (mod n),那么(a/n) = (b/n)。 - 分子乘法性:
(ab/n) = (a/n)(b/n)。 - 分母乘法性:如果
m和n都是正奇数,那么(a/mn) = (a/m)(a/n)。 - 二次互反律:如果
m和n都是正奇数且互质,那么:
(m/n) = (n/m),除非m ≡ n ≡ 3 (mod 4)。
如果m ≡ n ≡ 3 (mod 4),则(m/n) = -(n/m)。
这个规则可以简洁地写为:(m/n) (n/m) = (-1)^((m-1)/2 * (n-1)/2)。 - 特殊值:
(-1/n) = (-1)^((n-1)/2)。这意味着,如果n ≡ 1 (mod 4),则(-1/n) = 1;如果n ≡ 3 (mod 4),则(-1/n) = -1。(2/n) = (-1)^((n²-1)/8)。这意味着,如果n ≡ ±1 (mod 8),则(2/n) = 1;如果n ≡ ±3 (mod 8),则(2/n) = -1。
这些规则与勒让德符号的规则在形式上完全一致,但应用范围更广。
第四步:雅可比符号的深层含义与局限性
这是理解雅可比符号最核心的一点:雅可比符号的值并不直接等同于二次剩余性。
-
如果
(a/n) = -1,那么我们可以肯定地说,a是模n的二次非剩余。因为根据定义,(a/n)是各个(a/pᵢ)的乘积,如果这个乘积是-1,那么至少有一个(a/pᵢ) = -1,这意味着a对某个素因数pᵢ是非剩余的,从而对整个n也是非剩余的。 -
然而,如果
(a/n) = 1,并不能断定a是模n的二次剩余。- 情况一:
a确实是模n的二次剩余。这意味着存在整数x使得x² ≡ a (mod n)。根据中国剩余定理,这等价于a是模每个pᵢᵏᵢ的二次剩余。在这种情况下,显然有(a/pᵢ) = 1对于所有i成立,所以(a/n) = 1。 - 情况二(关键):
a是模n的二次非剩余,但雅可比符号的值仍然是1。这发生在当a对某些素因数是二次剩余,而对另一些是二次非剩余时。例如,考虑a = 2,n = 15 = 3 * 5。- 计算雅可比符号:
(2/15) = (2/3) * (2/5)。 - 勒让德符号:
(2/3) = -1(因为 3 ≡ 3 mod 8),(2/5) = -1(因为 5 ≡ 5 mod 8)。 - 所以
(2/15) = (-1) * (-1) = 1。 - 但是,方程
x² ≡ 2 (mod 15)有解吗?我们分别检查模 3 和模 5:- 模 3:
x² ≡ 2 (mod 3)无解(平方数模 3 只能是 0 或 1)。 - 模 5:
x² ≡ 2 (mod 5)也无解(平方数模 5 只能是 0, 1, 4)。
- 模 3:
- 因此,根据中国剩余定理,
x² ≡ 2 (mod 15)无解。2是模 15 的二次非剩余,但它的雅可比符号却是1。
- 计算雅可比符号:
- 情况一:
总结:雅可比符号 (a/n) = 1 是一个必要但不充分的条件,用于判断 a 是否是模 n 的二次剩余。它的主要价值在于其计算效率,特别是在不分解 n 的情况下,利用二次互反律等性质可以快速计算,这在素性检验和密码学算法(如Solovay–Strassen素性检验)中极为重要。