修論アーカイブス 数論3「ディリクレ指標」
算術級数定理
前回の記事
の続きです。
準備1:素数が無限個存在することの別証明
前回、リーマンゼータ関数のオイラー積表示を与えました。今回はそれを用いて別証明を示していきます。
の両辺の対数を取ると、 において
更に対数関数のテイラー展開から、
となります。 とすると右辺の第一項が素数の逆数の和になるので、第二項が収束するならば第一項が発散することになります。左辺は当然発散します。ちなみにですが、最後の式変形は実質的に無限和の順序を入れ替える行為なので、細かい議論は複素関数論などの教科書を漁ってください。
ところでこのオイラー積表示を与えたのちに対数を取るという手法はゼータ関数論の世界ではよく使われるので、覚えておくことを強く推奨します。少しだけ話を付け加えると、両辺を微分した時、左辺に の項が出てきますが、この項が被積分関数の因子として偏角の原理に現れるからです。
さて、件の第二項から出発してその収束性を考えていきましょう。二重和のうち、内側の和(変数が の方)を先に変形します。
となるので、
準備2:ディリクレ指標
さて、算術級数定理を示すための準備として指標(特にディリクレ指標)という概念を用意します。指標自体は、ある群からある体への特殊な関数の総称だと思ってもらって大丈夫です。数論で主に議論されるのは乗法的指標と呼ばれる類のもので、群準同型となる関数です。表現論でも指標という言葉が出てきますが、あちらは表現行列のトレースを取ったものになります。
群準同型とは群について準同型、つまり群の演算構造を保つことを指します。どういうことかと言うと例えば、一般的な加法を入れた加法群 と一般的な乗法を入れた乗法群 に対して指数関数 が となる、みたいな感じです。
さて、この乗法的指標のうちディリクレ指標 は以下の性質を満たすものを言います。
合同式はいいですかね。 を法としてを などとも書いたりしました。 で割った余りが同じだよっていうアレです。ここでついでに、よく用いられる有限な乗法群についてお話しておこうと思います。本来ならば剰余類と呼ばれるところから始めないといけないですが、今回は簡単に済ませます。これで一記事書けるので、また書いたらリンクを貼っておきます。
簡単のため、 としておきます。この時、 より と書けますね。またこれの他にも は と合同であり、余りの計算をする上では同じ数字と見なすことができます。このようにして整数を同じと見なせるもの同士でまとめると、最終的に の4グループに分かれます。これらを改めて
と書き直します。負の数も仲間に入れてあげましょう、せっかくなので。この数字の集まりを集めたものがこちらになります。
これは環の性質は満たしているのでこのまま使ってあげてもいいんですが、ディリクレ指標が乗法性を仮定しているので乗法を見ていきます。すると、 となり、零因子がこの集合にあることが分かりました。このような掛け算をするには少し都合が悪い元を抜いてあげると残るのは単元だけになります。
※単元のお話はこてぃら↓
stiltszeta.hatenablog.com
するとどうなるかというと、
こんな感じになり、これを の乗法群だとか巡回群だとか言ったりします。直近の議論に直接関わってはきませんが、どこかで相まみえることになるので覚えておいてください。多分。
次回はこのディリクレ指標を使ってリーマンゼータ関数の一般化を与えていきます。