主题
Search

克罗内克符号


克罗内克符号是 雅可比符号 (n/m) 到所有整数的扩展。它有多种写法,如 (n/m)(n/m) (Cohn 1980; Weiss 1998, p. 236) 或 (n|m) (Dickson 2005)。克罗内克符号可以使用 雅可比符号 的常规规则计算

((ab)/(cd))=(a/(cd))(b/(cd))
(1)
=((ab)/c)((ab)/d)
(2)
=(a/c)(b/c)(a/d)(b/d)
(3)

加上关于 m=-1, 的额外规则,

 (n/-1)={-1   for n<0; 1   for n>0,
(4)

以及 m=2(n/2) 的定义有多种写法,如

 (n/2)={0   for n even; 1   for n odd, n=+/-1 (mod 8); -1   for n odd, n=+/-3 (mod 8)
(5)

 (n/2)={0   for 4|n; 1   for n=1 (mod 8); -1   for n=5 (mod 8); undefined   otherwise
(6)

(Cohn 1980)。 Cohn 的形式将 (n/2) 定义为对单偶数 n=2 (mod 4)n=-1,3 (mod 8) “未定义”,可能是因为在涉及二元二次型判别式 d 的符号的应用中,不需要其他值,其中 m>0d 始终满足 d=0,1 (mod 4)

克罗内克符号在 Wolfram 语言 中实现为KroneckerSymbol[n, m].

克罗内克符号 (d/n) 是一个模 d数论特征,并且实际上是唯一类型的本原特征 (Ayoub 1963)。

KroneckerSymbol

上面的图示和下面的表格总结了对于 n=1, 2, ... 和小的 |k| 的 (k/n)

kOEIS周期(k/1),(k/2),(k/3),...
-6A109017241, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, -1, 0, 0, 0, -1, 0, -1, 0, ...
-501, -1, 1, 1, 0, -1, 1, -1, 1, 0, -1, 1, -1, -1, 0, 1, -1, -1, -1, 0, ...
-441, 0, -1, 0, 1, 0, -1, 0, 1, 0, -1, 0, 1, 0, -1, 0, 1, 0, -1, 0, ...
-331, -1, 0, 1, -1, 0, 1, -1, 0, 1, -1, 0, 1, -1, 0, 1, -1, 0, 1, -1, ...
-281, 0, 1, 0, -1, 0, -1, 0, 1, 0, 1, 0, -1, 0, -1, 0, 1, 0, 1, 0, ...
-1A0349471, 1, -1, 1, 1, -1, -1, 1, 1, 1, -1, -1, 1, -1, -1, 1, 1, ...
01, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, ...
111, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, ...
2A09133781, 0, -1, 0, -1, 0, 1, 0, 1, 0, -1, 0, -1, 0, 1, ...
3A0913381, -1, 0, 1, -1, 0, -1, -1, 0, 1, 1, 0, 1, 1, 0, ...
4A00003521, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, ...
5A08089151, -1, -1, 1, 0, 1, -1, -1, 1, 0, 1, -1, -1, 1, 0, ...
6241, 0, 0, 0, 1, 0, -1, 0, 0, 0, -1, 0, -1, 0, 0, 0, -1, 0, 1, 0, ...

对于对应于本原狄利克雷 L-级数 L_d(s)d 值,(d/n) 的周期等于 d。对于 d=-1, -2, ...,(d/n) 的周期为 0, 8, 3, 4, 0, 24, 7, 8, 0, 40, 11, 6, ... (OEIS A117888),对于 d=1, 2, ... 周期为 1, 8, 0, 2, 5, 24, 0, 8, 3, 40, 0, 12, ... (OEIS A117889)。 这里,0 表示序列不是周期性的。


另请参阅

类数, 狄利克雷 L-级数, 雅可比符号, 勒让德符号, 数论特征, 本原特征, 二次剩余

使用 Wolfram|Alpha 探索

参考文献

Ayoub, R. G. An Introduction to the Analytic Theory of Numbers. 普罗维登斯,罗德岛州:美国数学会,1963年。Cohn, H. Advanced Number Theory. 纽约:Dover 出版社,第 35 页,1980年。Dickson, L. E. "Kronecker's Symbol." §48 in Introduction to the Theory of Numbers. 纽约:Dover 出版社,第 77 页,1957年。Sloane, N. J. A. 序列 A000035/M0001, A034947, A080891, A091337, A091338, A109017, A117888, 和 A117889,出自 “整数数列线上大全”。Weiss, E. Algebraic Number Theory. 纽约:Dover 出版社,1998年。

在 Wolfram|Alpha 中被引用

克罗内克符号

请引用为

Weisstein, Eric W. “克罗内克符号。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/KroneckerSymbol.html

主题分类