剰余の定理とは
1. 1 [ 編集] (i) (反射律) (ii) (対称律) (iii)(推移律) (iv) (v) (vi) (vii) を整数係数多項式とすれば、 (viii) ならば任意の整数 に対し、 となる が存在し を法としてただ1つに定まる(つまり を で割った余りが1つに定まる)。 証明 (i) は全ての整数で割り切れる。したがって、 (ii) なので、 したがって定義より (iii) (ii) より より、定理 1. 1 から 定理 1. 1 より マイナスの方については、 を利用すれば良い。 問 マイナスの方を証明せよ。 ここで、 であることから、 とおく。すると、 ここで、 なので 定理 1. 初等整数論/合成数を法とする剰余類の構造 - Wikibooks. 6 より (vii) をまずは証明する。これは、 と を因数に持つことから自明である((v) を使い、帰納的に証明することもできる)。 さて、多変数の整数係数多項式とは、すなわち、 の総和である。先ほど証明したことから、 したがって、(v) を繰り返し使えば、一つの項についてこれは正しい。また、これらの項の総和が なのだから、(iv) を繰り返し使ってこれが証明される。 (viii) 定理 1. 8 から、このような が存在し、 を法として1つに定まることがすぐに従う(なお (vi) からも ならば であるから を法として1つに定まることがわかる)。 先ほどの問題 [ 編集] これを合同式を用いて解いてみよう。 であるから、定理 2.
初等整数論/合成数を法とする剰余類の構造 - Wikibooks
初等整数論/フェルマーの小定理 で、フェルマーの小定理を用いて、素数を法とする剰余類の構造を調べたので、次に、一般の自然数を法とする合同式について考えたい。まず、素数の冪を法とする場合について考え、次に一般の法について考える。 を法とする合同式について [ 編集] を法とする剰余類は の 個ある。 ならば である。よってこのとき任意の に対し となる が一意的に定まる。このような剰余類 は の形に一意的に書けるから、ちょうど 個存在する。 一方、 が の倍数の場合、 となる が存在するかも定かでない。例えば などは解を持たない。 とおくと である。ここで、つぎの3つの場合に分かれる。 1. のとき よりこの合同式はすべての剰余類を解に持つ。 2. のとき つまり であるが より、この合同式は解を持たない。 3. のとき は よりただ1つの剰余類 を解に持つ。しかし は を法とする合同式である。よって、これはちょうど 個の剰余類 を解に持つ。 次に、合同方程式 が解を持つのはどのような場合か考える。そもそも が解を持たなければならないことは言うまでもない。まず、正の整数 に対して より が成り立つことから、次のことがわかる。 定理 2. 4. 初等整数論/合成数を法とする合同式 - Wikibooks. 1 [ 編集] を合同方程式 の解とする。このとき ならば となる がちょうど1つ定まる。 ならばそのような は存在しないか、 すべての に対して (*) が成り立つ。 数学的帰納法より、次の定理がすぐに導かれる。 定理 2. 2 [ 編集] を合同方程式 の解とする。 を整数とする。 このとき ならば となる はちょうど1つ定まる。 例 任意の素数 と正の整数 に対し、合同方程式 の解の個数は 個である。より詳しく、各 に対し、 となる が1個ずつある。 中国の剰余定理 [ 編集] 一般の合成数を法とする場合は素数冪を法とする場合に帰着される。具体的に、次のような問題を考えてみる。 問 7 で割って 6 余り、13 で割って 12 余り、19 で割って 18 余る数はいくつか? 答えは、7×13×19 - 1 である。さて、このような問題に関して、次の定理がある。 定理 ( w:中国の剰余定理) のどの2つをとっても互いに素であるとき、任意の整数 について、 を満たす は を法としてただひとつ存在する。(ここでの「ただひとつ」というのは、互いに合同なものは同じとみなすという意味である。) 証明 1 まず、 のときを証明する。 より、一次不定方程式に関する 定理 1.
初等整数論/合成数を法とする合同式 - Wikibooks
平方剰余 [ 編集] を奇素数、 を で割り切れない数、 としたときに解を持つ、持たないにしたがって を の 平方剰余 、 平方非剰余 という。 のとき が平方剰余、非剰余にしたがって とする。また、便宜上 とする。これを ルジャンドル記号 と呼ぶ。 したがって は の属する剰余類にのみ依存する。そして ならば の形の平方数は存在しない。 例 である。 補題 1 を の原始根とする。 定理 2. 3. 4 から が解を持つのと が で割り切れるというのは同値である。したがって 定理 2. 10 [ 編集] ならば 証明 合同の推移性、または補題 1 によって明白。 定理 2. 11 [ 編集] 補題 1 より 定理 2. 4 より 、これは に等しい。ここで再び補題 1 より、これは に等しい。 定理 2. 12 (オイラーの規準) [ 編集] 証明 1 定理 2. 4 から が解を持つ、つまり のとき、 ここで、 より、 したがって 逆に 、つまり が解を持たないとき、再び定理 2. 4 から このとき フェルマーの小定理 より よって 以上より定理は証明される。 証明 2 定理 1.
1 (viii) より である限り となる が存在し、しかもそのような の属する剰余類はただ1つに定まることがわかる。特に となる の属する剰余類は乗法に関する の逆元である。これを であらわすことがある。このとき である。 また特に、法が素数のとき、0以外の剰余類はすべて逆元をもつので、この剰余系は(有限)体をなす。