22/12/31 10:23:33.12 3jK34k/w.net
>>152
pを法とするディリクレ指標χ,ψからヤコビ和J(χ,ψ)を作る。
χ=ψでもよいが、χ,ψ,χψのいずれも単位指標ではないとする。
そのとき|J(χ,ψ)|=√p.
J(χ,ψ)は指標の値の体(この場合だとQ(ζ_5))に含まれる。
したがって、J(χ,ψ)とその複素共役を掛ければpが出てくる。
ヤコビ和
URLリンク(ja.wikipedia.org)
(なお、20世紀になって、ヴェイユによって「量指標」としての解釈が与えられた。
ヴェイユ論文「量指標としてのヤコビ和」)