この記事の執筆の動機
いくつかの小さな素数で次のような性質が成り立つことがわかりました。
定義
を奇素数とします。
奇素数はで割って余る素数とします。
を平方非剰余な有限体の元とします。
有限体の部分集合とを次で定めます。
冪剰余記号の定義
を有限体の乗法群から
複素数体のの乗根のなす乗法群への非自明な準同型写像を
0に対しては、0となる拡張することで定めた写像とします。
その他定義
複素数の絶対値の乗
小さな素数で成り立った性質
の性質
は巡回群からの準同型写像であり、が偶数のため、
の核にを含む、
とともに倍で不変で、を含まないため、
このため、は次円分体の整数環上での倍数
求む反例か証明
小さな素数でのみ成り立ったので、
すべての素数で成立するか分かりません、
どなたか反例か証明を頂ければ幸いです。
偶数のとき
のとき、とすれば、いくつかの、素数でが成立しました。
4月23日追記 証明
をの非自明なディリクレ指標で、
を満たすものとします。
の性質
をの元としたとき
の性質1
の性質2
の性質3
定義の刷新
の性質
をの元とする。
で次の式を置き換えると、
ととの性質から
この式より
はに関して平方非剰余か非剰余かかのみに依存する。
その他定義や補題
をで、
とします。
以下簡単のためとします。
以下を基底として利用します。
の定義
の性質
もし なら
証明
に分けると
ならを固定したとき,を動かすと
は全体を動くので。
の性質3より
を用いた。
の性質より
合わせると
証明終わり