DirichletCharacter[k,j,n]
法が k,インデックスが j のディリクレ(Dirichlet)指標
を与える.
DirichletCharacter
DirichletCharacter[k,j,n]
法が k,インデックスが j のディリクレ(Dirichlet)指標
を与える.
詳細
- 記号操作・数値操作の両方に適した数学的整数関数である.
- DirichletCharacter[k, j, n]は k を法とした可能なディリクレ指標の特定の順序を選ぶ.
- 与えられた法 k に対し,インデックス j でラベルが付けられた ϕ
個の異なるディリクレ指標が存在する.変換方法が異なると可能な指標の順序も異なることがある. - DirichletCharacter[k,j,n]は n 中で周期 k で周期的である.
- DirichletCharacter[k,j,n]は n が k と互いに素ではない場合はゼロである.
- DirichletCharacter[k,j,n]は n において乗法関数である.
例題
すべて開く すべて閉じる例 (2)
Table[DirichletCharacter[2, 1, n], {n, 10}]Table[DirichletCharacter[7, j, n], {j, 1, EulerPhi[7]}, {n, 0, 6}]//GridTable[DiscretePlot[{Re[DirichletCharacter[7, j, n]], Im[DirichletCharacter[7, j, n]]}, {n, 0, 20}, PlotLabel -> j], {j, 1, 6}]スコープ (3)
DirichletCharacter[20!, 300, 23]DirichletTransform[DirichletCharacter[3, 2, n], n, s]DirichletCharacterは要素単位でリストに適用される:
DirichletCharacter[3, 2, {1, 2, 3, 4, 5}]アプリケーション (5)
q[k_] := With[{r = Cases[#, {p_, 1} :> p], s = Cases[#, {p_, d_} /; d ≥ 2 :> p]}, k Product[1 - 2 / p, {p, r}]Product[(1 - 1 / p) ^ 2, {p, s}]] & @ FactorInteger[k]Table[q[k], {k, 2, 10}]DiscretePlot[q[k], {k, 2, 50}]DirichletCharacterから一般化されたベルヌーイ(Bernoulli)数を定義する:
GeneralizedBernoulliB[k_, j_, n_Integer] :=
n! SeriesCoefficient[Series[Sum[DirichletCharacter[k, j, i]t Exp[i * t] / (Exp[k * t] - 1), {i, k - 1}], {t, 0, n + 1}], n]Table[GeneralizedBernoulliB[5, 3, k], {k, 0, 10}]一般化されたベルヌーイ数を使ってDirichletLの負の整数における値を計算する:
SpecialDirichletL[k_, j_, n_Integer ? Negative] := -GeneralizedBernoulliB[k, j, 1 - n] / (1 - n)Table[SpecialDirichletL[5, 3, k], {k, -10, -1}]Table[DirichletL[5, 3, k], {k, -10, -1}]単位指標の0における一般化されたベルヌーイ数は
でそれ以外は0である:
Table[GeneralizedBernoulliB[5, j, 0], {j, 4}]G[k_] := Table[DirichletCharacter[k, j, n], {j, EulerPhi[k]}]add[DirichletCharacter[k_, j1_, n_], DirichletCharacter[k_, j2_, n_]] := DirichletCharacter[k, Mod[j1 + j2, EulerPhi[k], 1], n]e[k_] := DirichletCharacter[k, EulerPhi[k], n]inv[DirichletCharacter[k_, j_, n_]] := DirichletCharacter[k, Mod[EulerPhi[k] - j, EulerPhi[k], 1], n]f = DirichletCharacter[5, 2, n];
g = DirichletCharacter[5, 3, n];add[f, g]{add[f, e[5]], add[e[5], g]}{inv[f], inv[g]}Overscript[χ, ^ ][k_, j_, r_ : 1] := Sum[DirichletCharacter[k, j, i] * Exp[2Pi I r i / k], {i, 1, k - 1}]Overscript[χ, ^ ][7, 4]
と
を法として
と互いに素である値におけるその指標の積はガウスの総和を与える:
Table[DirichletCharacter[7, 4, n]Overscript[χ, ^ ][7, 4, n] == Overscript[χ, ^ ][7, 4], {n, 1, 6}]
を法とした原始指標について,
は
と互いに素ではない値では0である:
Table[Overscript[χ, ^ ][7, 4, 7n], {n, 5}]
を法とした原始指標について,ガウスの総和の絶対値は
に等しい:
FullSimplify[Abs[Overscript[χ, ^ ][7, 4]] == Sqrt[7]]conductor[k_ , j_] :=
Select[{#, EulerPhi[#] * (j - 1) / EulerPhi[k] + 1} & /@ Divisors[k], (IntegerQ[Last[#]] && Last[#] ≠ 1 && Last[#] ≠ j)&, 1]DirichletCharacter[25,11,n]の導手は5である:
conductor[25, 11]coprimes = Pick[Range[25], CoprimeQ[Range[25], 25]];Table[DirichletCharacter[25, 11, n] == DirichletCharacter[5, 3, n], {n, coprimes}]特性と関係 (11)
DirichletCharacterは周期的である:
Table[DirichletCharacter[7, 3, n] == DirichletCharacter[7, 3, 7 + n], {n, 7}]DirichletCharacterは完全に乗法的である:
DirichletCharacter[7, 3, 4 5]DirichletCharacter[7, 3, 4]DirichletCharacter[7, 3, 5]Table[DirichletCharacter[7, 5, n], {n, 0, 4}]Abs[%]
を法としたDirichletCharacterは
と互いに素である値においては非零である:
Table[DirichletCharacter[7, 3, n], {n, 1, 6}]
を法としたDirichletCharacterは
と互いに素ではない値においては零である:
Table[DirichletCharacter[7, 3, 7n], {n, 1, 6}]Table[DirichletCharacter[1, 1, n], {n, -5, 5}]
を法とした原始指標のインデックスは
で
と互いに素である値については
を,その他については
を与える:
Table[DirichletCharacter[5, 1, n], {n, EulerPhi[5]}]Table[DirichletCharacter[9, 1, n], {n, EulerPhi[9]}]Table[DirichletCharacter[k, 1, n], {k, 3, 10}, {n, 0, k - 1}]Table[DirichletCharacter[k, EulerPhi[k] / 2 + 1, n], {k, 3, 10}, {n, 0, k - 1}]JacobiSymbol[n,k]は奇整数 k について k を法とした実数のディリクレ指標である:
Table[JacobiSymbol[n, 5], {n, 0, 4}]Table[DirichletCharacter[5, 3, n], {n, 0, 4}]k を法とした実数の原始指標 χ はJacobiSymbol[χ[-1]k,n]と定義できる:
Table[DirichletCharacter[7, 4, n], {n, 0, 6}]Table[JacobiSymbol[DirichletCharacter[7, 4, -1] * 7, n], {n, 0, 6}]実数の原始的ではない指標は
と互いに素である整数においてはJacobiSymbolを使って書くことができる:
DirichletCharacter[12, 3, {1, 5, 7, 11}]JacobiSymbol[-4, {1, 5, 7, 11}]DirichletCharacter[k,j,n]は k の原始根 n が存在する場合はそこで
を与える:
PrimitiveRoot[7]Table[DirichletCharacter[7, j, 3], {j, EulerPhi[7]}]DirichletCharacterの乗法特性を使って
と互いに素である整数における値を求める:
Table[DirichletCharacter[7, 2, 3 ^ n] == DirichletCharacter[7, 2, 3] ^ n, {n, EulerPhi[7]}]
を法とした指標は
の素数ベキを法とした記号の積として書くことができる:
DirichletCharacter[3^2 5, 8, 7]DirichletCharacter[3^2, 2, 7]DirichletCharacter[5, 4, 2]p1 = PrimitiveRoot[3^2]p2 = PrimitiveRoot[5]a1 = ChineseRemainder[{p1, 1}, {3^2, 5}]a2 = ChineseRemainder[{1, p2}, {3^2, 5}]e1 = MultiplicativeOrder[a1, 3^2, 7]e2 = MultiplicativeOrder[a2, 5, 7]j1 = 2;j2 = 4;(j1 - 1) * (EulerPhi[3^2] - 1) + (j2 - 1)DirichletCharacter[3^2, j1, a1 ^ e1]DirichletCharacter[5, j2, a2 ^ e2]32 5と互いに素であるすべての整数について分解式を検証する:
coprimes = Pick[Range[3^2 5], CoprimeQ[Range[3^25], 3^25]];Table[DirichletCharacter[3^2, j1, a1 ^ MultiplicativeOrder[a1, 3^2, n]]DirichletCharacter[5, j2, a2 ^ MultiplicativeOrder[a2, 5, n]], {n, coprimes}]Table[DirichletCharacter[3^25, 8, n], {n, coprimes}]% == %%3を法としたディリクレ指標を3のベキを法としたディリクレ指標に上げる:
Table[DirichletCharacter[3, 2, n], {n, {1, 2, 4, 7, 8, 11, 13, 14}}]index[μ_, k_, j_] := EulerPhi[μ](j - 1) / EulerPhi[k] + 1{index[3^3, 3, 2], index[3^4, 3, 2]}Table[DirichletCharacter[3^3, 10, n], {n, {1, 2, 4, 7, 8, 11, 13, 14}}]Table[DirichletCharacter[3^4, 28, n], {n, {1, 2, 4, 7, 8, 11, 13, 14}}]テキスト
Wolfram Research (2008), DirichletCharacter, Wolfram言語関数, https://reference.wolfram.com/language/ref/DirichletCharacter.html.
CMS
Wolfram Language. 2008. "DirichletCharacter." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/DirichletCharacter.html.
APA
Wolfram Language. (2008). DirichletCharacter. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/DirichletCharacter.html
BibTeX
@misc{reference.wolfram_2026_dirichletcharacter, author="Wolfram Research", title="{DirichletCharacter}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/DirichletCharacter.html}", note=[Accessed: 14-July-2026]}
BibLaTeX
@online{reference.wolfram_2026_dirichletcharacter, organization={Wolfram Research}, title={DirichletCharacter}, year={2008}, url={https://reference.wolfram.com/language/ref/DirichletCharacter.html}, note=[Accessed: 14-July-2026]}