整数の合同

整数の合同は、数学において二つの整数の間に定められる関係である。初めてこれを構造として研究したのはドイツの数学者ガウスで、1801年に発表された著書『Disquisitiones Arithmeticae』でも扱われている。今日では整数の合同は、数論や一般代数学あるいは暗号理論などに広く用いられる。

整数の合同に基づく数学の分野は合同算術  と呼ばれる。これは整数そのものを直接的に扱うのではなく、何らかの整数で割った剰余を代表元として扱う算術である。合同算術の歴史や道具立てあるいはその応用については合同算術の項を参照。また、より包括的で堅苦しくない説明は剰余類環  の項へ譲る。

1. 直観的な例：時計算
------------

合同算術は整数の算術体系を、特定の値に決められた「法」を用いて修正したものである。

一つの例として、アナログ時計の針の指し示す時刻の「足し算」を記述する「時計算」を挙げる。具体的に、9時をスタートとして4時間を加えると、普通にいえば13時になるはずだが、実際には1時とも言う。同様に、0時をスタートとして7時間の3倍経つと21時であるが、9時とも言う。

基本的に 12}} に到達するごとに 0}} に戻るのであって、これは法 12}} で考えているということになる。先の例では 9}} と 21}} は法 12}} に関して合同1=「法に関して」を意味する //modulo// はラテン語で「測り」を意味する名詞 laであると言う。より一般に 9, 21, 33, 45, …}}etc. は法 12}} のもとで等しいものと考える。

文字盤に任意個数の整数の書かれた時計を想像すれば、一般化は容易であり、計算もできる。

2. 法 n}} に関する合同
---------------

2.1. 定義
-------

n}} が 2}} 以上の整数として、「二つの整数 //a//, //b//}} が法 n}} に関して合同である」とは、以下の同値な条件のいずれかを満足する場合を指す:

それらの差が n}} で整除される;
a}} を n}} で割った剰余 r}} が b}} を n}} で割った剰余 s}} と等しい;
//a – b// ∈ //n//Z}}

2.2. 記法
-------

二つの整数が合同であることを表すのに ≡}} が記号として用いられる。

a}} と b}} とが法 n}} に関して合同であることを表すのに、以下のような表記がある。

どれも同様に「a}} と b}} とは法 n}} に関して合同である」などと読む。法が n}} であることは「n}} を法として」「法 n}} のもとで」「法 n}} で」「mod n}} で」などと適宜表現される。前後関係から法 n}} が明らかな場合は法の表記を省略して単に //a// ≡ //b//}} と表記されることがある。

2.3. 性質
-------

2.3.1. 同値律
----------

法 n}} に関する合同という関係は以下の性質を満たす:

反射律: 任意の整数 a}} に関して //a// ≡ //a// }};
対称律: 任意の整数の対 //a//, //b//}} に関して //a// ≡ //b//  ⇔ //b// ≡ //a// }};
推移律: 任意の整数の組 //a//, //b//, //c//}} に関して //a// ≡ //b//  かつ //b// ≡ //c//  ならば //a// ≡ //c// }}.即ち法 n}} に関する合同という関係は同値関係である。

2.3.2. 代数学的性質
-------------

特に踏まえておくべき代数学的性質は、//a//sub かつ //a//sub ならば

//a//sub, が成り立つことである。ここから //a// ≡ //b// }} ならば任意の整数 c}} に対して //a// ± //c// ≡ //b// ± //c// }} および //ac// ≡ //bc// }} であること、および正整数 //q// > 0}} に対して //asup であることが容易に導ける。//

これは法 n}} に関する合同関係がある意味で整数の加法および乗法と「両立する」ことを示すものであり、「法 n}} に関する合同は有理整数環 }} の構造と両立する」と言い表す。これにより商集合 Z///n//Z}} に合同算術の環を定義することができるようになる。

3. 合同類環 Z///n//Z}}
--------------------------

3.1. 構成
-------

先述の代数的性質は、法 n}} に関する加法と乗法において、加えたり掛けたりする数を法 n}} で合同な別の数に置き換えてもよいことを示している。これはつまり、法 n}} で合同な数すべてを一つのあつまりとして扱えば、法 n}} に関する加法と乗法がこの類の代表元の取り方に依らずに定まるということになる。同じ類に属する整数は法 n}} で割った剰余がみな同じであるようなものたちであり、法 n}} で割った剰余のみに注目するのが自然である。つまり、集合 Zsub あるいは Z///n//Z}} を法 n}} で割った余りからなる n}}-元集合   overlineとして、加法と乗法をこの集合上で考えるのがよい。この集合を法 {n}} に関する合同類環、剰余環{修飾語「剰余」 は「余りの」という意味である}}あるいは商環{「商」 は同値関係による商集合を指して用いられている}}と呼ぶ。

この集合上での加法と乗法は、整数に関する加法と乗法と同様に定義される:

加法: 二つの剰余類 {//a//, //b//}} に対して剰余類 {//a + b// modulo //n//}} を割り当てる。理論的には整数の加法と異なる和であるから別の記号で表すべきであるかもしれないが、簡便さを保つために整数の和と同じ記号 "+" をそのまま使うことも多い。
例えば法 {6}} に関する合同類環では {3 + 2 =}} 5}} が整数の加法同様に成り立つが、{4 + 2}} は {6}} で割った剰余が {0}} に等しいから {4 + 2 =}} 0}} が成り立つ。
乗法: 二つの剰余類 {//a//, //b//}} に対し、剰余類 {//a// × //b// modulo //n//}} を割り当てる。これも同様に整数の乗算記号"×"をそのまま流用する。
法 6 に関する合同類環では、整数の乗法同様に {2 × 2 =}} 4}} が成り立つが、{2 × 5 =}} 4}}や {2 × 3 =}} 0}} などが成り立つ。法 {6}} に関する加法と乗法を以下のような表にまとめることができる:



これら加法と乗法は、整数の集合 {Z}} における加法と乗法に良く似た性質を持つ:

加法は可換、結合的で、単位元を持つ、各元が反数を持つ。
{Z}} の加法と比べて異なる点もある。{Z}} の加法では {a}} の逆元 {–//a//}} は {//a// +  =}} 0}} を満たす元だが、法 {n}} の合同類環では {//a// +  =}} 0}}だから {a}} の逆元は {//n – a//}} である。ただし、法 {n}} に関する合同において {–//a//}} と {//n// – //a//}} は同じ類に入る。{–//a//}} でなく {//n// – //a//}} を選ぶのは、合同類の代表元を {0}} から {//n// − 1}} の間の整数から常に選ぶことができるという利点があるからである。
乗法も可換、結合的で、単位元を持つ。また剰余類の加法に関して分配的である。これらの性質を満足する集合は環と呼ばれる。

3.2. 簡約と合同方程式
-------------

{Z}} では常に正当であるにも拘らず、合同類環 {Z///n//Z}} では必ずしも正当化されない操作の一つに、簡約がある。

実際、等式 {2//a// =}} 4}} を {Z}} で考えれば明らかに両辺を {2}} で簡約して {//a// =}} 2}} が得られるが、法 {6}} で考えれば {2//a// =}} 4}} は {2//a//}} を {6}} で割った剰余が {4}} であるということだから、{a}} は {3}} で割った剰余が {2}} に等しいような類である。そのような {a}} は {6}} で割った剰余類の中では類 {2}} または類 {5}} が満たす。従って、{2×2 ≡ 2×5}} だがそれを簡約した {2 ≡ 5}} は成立しない。同様に、整数の演算では常に成り立っているのに {Z///n//Z}} 上では必ずしも成り立たない性質として、{零積性質}「積が {0}} に等しいならばいずれかの数が {0}} に等しい」というものがある。

実際、法 {6}} で {2 × 3 ≡ 0}} だが {2}} も {3}} も {0}} でない。つまり、環 {Z/6Z}} は整域でない。こういった理由により、乗法を含む方程式を解くのは少々厄介である。

方程式 {//x// + 2 =}} 1}} を {Z/6Z}} 上で考えるなら、両辺に同じ量 {4}} を加えて {//x// =}} 5}} とすればよい ;
方程式 {3//x// =}} 2}} を {Z/10Z}} 上で考えるとき、{7 × 3 ≡ 1}} に注意すれば {3//x// =}} 2}} と {//x// =}} 7 × 2}} が同値であることが分かる。故に方程式の解は {4}}である。;
方程式 {2//x// =}} 3}} は {Z/10Z}} 上で解を持たない。また方程式 {2//x// =}} 6}} は二つの解  を持つ。{未知数} {x}} の方程式 {//ax =}} b//}} が {Z///n//Z}} 上で一意な解を持つための必要十分条件は、{a}} と {n}} とが互いに素であることである。

{//x//sup} の形の方程式の解は {a}} および {n}} の値に依存して 0 個、1 個、2 個の何れかになる。さらに詳細な結果が平方剰余の研究によって得られており、平方剰余の相互法則として知られている。

合同類環 {Z///n///n//Z}} の代数的性質に関しては合同類環の項へ譲る。

3.3. 冪とフェルマーの小定理
----------------

{Z///n//Z}} に乗法が定まるから、反復乗法としての冪を考察するのはまた自然である。剰余は {//n// − 1}} 種類しかないのだから、自然数冪 {//a//sup} の値もその {//n// − 1}} 種類以外に取り得ず、何度も同じ値を取らねばならない。つまり、自然数 {k}} および {m}} で{//asup} および {//asup} が法 {n}} に関して同じ値となるようなものが存在する。冪 {//aexp} は再帰的に定められるから、剰余の値が既知のものとなれば直ちに、それ以降の値は循環的に同じ値をとるものと分かり、それ以上調べる必要は無くなる。//

 上記のように {Z/7Z}} および {Z/15Z}} での冪を書きならべてみると、前者に関してどの {a}} に対しても7番目の {//a//exp} で全てが法 {7}} に関して {1}} に合同となることが分かる。後者に関しては冪の値が {1}} となることが {15}} と互いに素であることに関係してくる。整数 {8}} は {15}} と互いに素であり、{15}} と互いに素な {a}} に対して {//a//exp} が法 {15}} に関して {1}} と合同であることに注目せよ。

これら二つの例はそれぞれ以下の二つの定理に対応する:

フェルマーの小定理: 任意の素数 {p}} と、 {p}} と互いに素な整数 {a}} に対し、{//a//exp};
オイラーの定理: フェルマーの小定理の拡張。{2}} 以上の整数 {n}} と {n}} と互いに素な整数 {a}} に対して、{//a//exp} が成り立つ。ただし、{φ}} はオイラーの {φ}}-函数である。

4. 脚注
-----

4.1. 注釈
-------

5. 関連項目
-------

合同関係: より一般の代数系における合同
{初等算術}
{整除性の判定法}
{整除判定法の一覧}
ツェラー合同 

6. 外部リンク
--------

{剰余系}}
{683}
{urlname=Congruence}
{urlname=CongruenceEquation}

nl:Modulus pl:Arytmetyka modularna#Definicja