平方剰余の相互法則についてちょっとちゃんと把握したいなと思ったので,本の式を追って備忘録としてまとめました.
剰余類
整数に対してがの倍数ならと表記する.
例えばそれぞれで割ったあまりが同じならと言っても内容としてはあまり変わらないと思う.
この関係は加減乗は普通の等号と同じように計算ができて,に対して整数を用いて
という計算や,,に対して
が成り立つ.
商に対しては注意が必要で,ではあるがとはならない.
商の場合は
の場合,最大公約数でも割ってやらないといけない.
例えば今回の場合なのでとなる.
基本的に整数ではの最大公約数をとすると
を満たすが存在する.
それは即ちの解が存在するということと同値となる.
オイラーの定理とフェルマーの小定理
に対しなら
が成り立つ.
これは互いにと互いに素となるに対してを乗じた結果はただ順序を入れ替えたものになる.
例えばとなる場合はなのでとなり同じものになる.
こうすると
となり,はと互いに素なので
になる.
これはオイラーの定理と呼ばれ,暗号学では有名なRSA暗号にも応用されている.(現在は楕円曲線暗号が効率が良いので取って代わられかけている.)
ルジャンドル記号
整数と素数に対し
の解となるの存在が気になる場合がある.
ここで解が存在する場合,はを法として平方剰余,存在しない場合は非平方剰余と言う.
例えばの場合,なので2は7を法として平方剰余になる.
ここでルジャンドル記号という記号を定義する.
と分数のように表記し,平方剰余の場合1,非平方剰余の場合-1と値をとることにする.
先程の例でいうととなる.
このルジャンドル記号は原始根について考えるととても話が早い.
に対しならは平方剰余で,そうでないなら非平方剰余になる.シンプル.
簡潔に言うならば,ならばとなる.
例えばの原始根はであり,
となる.つまり1,2,4は7の平方剰余となる.
また
なら
も同時に示せる.
これまでの式を用いると
というオイラーの規準が示すことができる.
こちらは
とすると
また
となり,右辺と左辺は一致することがわかる.
平方剰余の相互法則
第二補充法則
これはガウス和を用いて証明する方法がある.
ガウス和
ここで
をのうち,4を法として1と合同である方とすると,
が成り立つ.
ここで注意したいのは,とも書くことができるということ.第二補充法則の証明では用いないが,今後の平方剰余の相互法則で用いることとなる.
以下証明.
ここで整数を用いてと置換する.はを法としてを並び替えたものになるのでこの置換は差し支えない.
(仮に同じモノが存在する場合,となるが,なので.)
すると
であり,明らかになので
となる.
と総和の中を整理する.
ここでについては等比数列の総和だが,と定義しているので
のときになるため
のとき
なので
ここでについては,原始根を用いるとはを並び替えたものであり,これにを乗じても同様に並び替えたものになる.
つまり
なので
よってとなる.
ここで第一補充法則よりなので命題が示せた.
第二補充法則の証明
であることを利用する.ここでと表記する.
オイラーの規準より
ここでなのでと書ける.
また,二項定理より
ここでについて.
を奇数に限定すると,
であり,この結果はと一致する.
これを用いると
であり,両辺をで割ると
が得られる.
ここではの倍数なので
であり,示すことができた.
平方剰余の相互法則
平方剰余の相互法則は
奇素数に対し
であり,平方剰余の判定が結構楽になる.
以下この平方剰余の相互法則を示す.
と変形し,第一補充法則より
が得られる.
両辺にをかけると
になり,
を示すことができれば平方剰余の相互法則を示すことができる.
ここでなので,になるため,オイラーの規準よりになる.
ここでガウス和を と定義しているので
とする.
これをまとめると,全ての要素がを移動する集合をとし
と表記できる.
ここでを用いて,逆にとなる条件での集合についての和に置き換える.
とおいたのは,であるため.
の取りうる値はなので,
となる.
ここでと置換し,
とまとめる.
ちなみに積についてとなる.
実際であるため,
ここでは素数なので
が示せる.
ちなみにとなるをとると
になるので,になる.
また,なので
ガウス和の定義より
と置いていたので,に関して
を求めたい.
ちなみにとは互いに異なる素数なのでになるが存在する.
そのをと置換し,と置くと
となる.
ここで原始根を用いて,とする.
またでもあり,は奇素数なのでは偶数.
つまり
なので,となる.
よっての場合は
になる.
そうでないの場合は,
と巡回させた場合全てに対しての総和を考える.
巡回させる場合の数は通り存在する.
例えば3つの場合は
1,2,3
2,3,1
3,1,2
という感じになる.巡回させるだけなので3,2,1等の並び替えは考えない.
その巡回の場合はただ並び替えているだけなのでの値は変わらない.
よって
となり,の倍数になる.
以上を踏まえると
となる.
これで
が示されたので
が示された.
これでようやく平方剰余の相互法則
奇素数に対し
を示すことができた.
平方剰余の相互法則の応用
例えば71を法として28は平方剰余か調べる.
ここで平方剰余の相互法則を用いる.
なので
ここでなのでになる.
つまり
になるので71を法として28は平方剰余ではないという結論になる.