合同関係

抽象代数学において、**合同関係** (congruence relation)（あるいは単に**合同** (congruence)）は（群、環、あるいはベクトル空間のような）代数的構造上の、その構造と協調的な同値関係である。すべての合同関係は対応する構造を持ち、その元はその関係の同値類（あるいは**合同類** (congruence class)）である。

## 基本的な例

合同関係のプロトタイプの例は整数全体の集合上の<math>n</math> を法とした合同である。与えられた正の整数 n に対して、2 つの整数 a と b は次のようなとき **<math>n</math> を法として合同** (congruent modulo n) と呼ばれ、
: a \equiv b \pmod{n}
と書かれる。a - b が n によって割り切れる（あるいは同じことだが a と b は n で割られたときに同じ余りを持つ）。

例えば、37 と 57 は 10 を法として合同である

: 37 \equiv 57 \pmod{10}

なぜならば 37 - 57 = -20 は 10 の倍数であるからだ、あるいは同じことだが、37 と 57 はどちらも 10 で割ったときに 7 余るからである。

（固定された n に対して）n を法とした合同は整数の加法と乗法両方と両立する。つまり、

: a_1 \equiv a_2 \pmod{n}　　かつ　　b_1 \equiv b_2 \pmod{n}

であれば

: a_1 + b_1 \equiv a_2 + b_2 \pmod{n}  　かつ　  a_1 b_1 \equiv a_2b_2 \pmod{n}

である。合同類の対応する加法と乗法は合同算術として知られている。抽象代数学の観点からは、n を法とした合同は整数環上の合同関係であり、n を法とした算術は対応する商環で起こる。

## 定義
合同の定義は考えている代数的構造のタイプに依存する。合同の定義は群、環、ベクトル空間、加群、半群、束などに対してできる。共通のテーマは合同は、演算が同値類に関して well-defined であるという意味で代数的構造と両立する代数的対象上の同値関係であるということである。

例えば、群はある公理を満たすただ1つの二項演算を伴った1つの集合からなる代数的対象である。G が演算 &lowast; を持った群であれば、*G* 上の**合同関係** (congruence relation) は *G* の元についての同値関係 &equiv; であって
:*g*1&nbsp;&equiv;&nbsp;*g*2&nbsp;&nbsp;かつ&nbsp;&nbsp;*h*1&nbsp;&equiv;&nbsp;*h*2&nbsp;&nbsp;&nbsp;&nbsp;ならば&nbsp;&nbsp;&nbsp;&nbsp;*g*1&nbsp;&lowast;&nbsp;*h*1&nbsp;&equiv;&nbsp;*g*2&nbsp;&lowast;&nbsp;*h*2
をすべての *g*1,&nbsp;*g*2,&nbsp;*h*1,&nbsp;*h*2&nbsp;&isin;&nbsp;*G* に対して満たすものである。群上の合同に対して、単位元を含む同値類はいつも正規部分群であり、他の同値類はこの部分群の剰余類である。また、これらの同値類は商群の元である。

代数的構造が 1 つよりも多くの演算を持つとき、合同関係は各演算と両立することを要求される。例えば、環は加法と乗法を両方持ち、環上の合同関係は、*r*1&nbsp;&equiv;&nbsp;*r*2 かつ *s*1&nbsp;&equiv;&nbsp;*s*2 であるときにはいつでも、 
:*r*1&nbsp;+&nbsp;*s*1&nbsp;&equiv;&nbsp;*r*2&nbsp;+&nbsp;*s*2&nbsp;&nbsp;&nbsp;&nbsp;および&nbsp;&nbsp;&nbsp;&nbsp;*r*1*s*1&nbsp;&equiv;&nbsp;*r*2*s*2
を満たさなければならない。環上の合同に対して、0 を含む同値類はいつも両側イデアルであり、同値類の集合上の 2 つの演算は対応する商環を定義する。

合同関係の一般の概念は普遍代数学、すべての代数的構造に共通するアイデアを研究する分野、の文脈において正式な定義を与えることができる。この設定において、合同関係は次を満たす代数的構造上の同値関係 &equiv; である。すべての *n*-項演算 *&mu;* と、各 *i* に対して *a**i*&nbsp;&equiv;&nbsp;*a**i*&prime; を満たすすべての元 *a*1,...,*a**n*,*a*1&prime;,...,*a**n*&prime; に対して、
:*&mu;*(*a*1, *a*2, ..., *a**n*)&nbsp;&equiv;&nbsp;*&mu;*(*a*1&prime;, *a*2&prime;, ..., *a**n*&prime;)

## 準同型写像との関係
&fnof;:&nbsp;*A*&nbsp;&rarr;&nbsp;*B* が2つの代数的構造の間の準同型（例えば群の準同型やベクトル空間の間の線型写像）であれば、
:*a*1&nbsp;&equiv;&nbsp;*a*2&nbsp;&nbsp;&nbsp;&nbsp;if and only if&nbsp;&nbsp;&nbsp;&nbsp;&fnof;(*a*1)&nbsp;=&nbsp;&fnof;(*a*2)
によって定義される関係 &equiv; は合同関係である。第一同型定理によって、&fnof; による *A* の像は *A* のこの合同による商に同型な *B* の部分構造である。

## 群、正規部分群、イデアルの合同
特に群の場合には、合同関係は以下のように初等的な言葉で記述することができる：
*G* が（単位元 *e* と演算 * をもった）群で ~ が *G* 上の二項関係であれば、~ は次が成り立つときにはいつでも合同である：
#*G* の、*a* ~ *a* （**[[反射関係|反射性]]** (reflexivity)）；
#*G* の任意の元 *a* と *b* が与えられると、*a* ~ *b* であれば *b* ~ *a* である（**[[対称関係|対称性]]** (symmetry)）；
#*G* の任意の元 *a*, *b*, *c* が与えられると、*a* ~ *b* かつ *b* ~ *c* であれば *a* ~ *c* である（**[[推移関係|推移性]]** (transitivity)）；
#*G* の任意の元 *a*, *a' *, *b*, *b' * が与えられると、*a* ~ *a' * かつ *b* ~ *b' * であれば、*a* * *b* ~ *a' * * *b' * である；
#*G* の任意の元 *a* と *a' * が与えられると、*a* ~ *a' * であれば、*a*&minus;1 ~ *a' *&minus;1 である（これは実は他の 4 つから証明できるので、真に冗長である）。

条件 1, 2, 3 は ~ が同値関係であると言っている。

合同 ~ は単位元に合同な *G* の元の集合 {*a* ∈ *G* : *a* ~ *e*} によって完全に決定される。そしてこの集合は正規部分群である。
具体的には、*a* ~ *b* であるのは *b*&minus;1 * *a* ~ *e* であるとき、かつそのときに限る。
なので群の合同について話す代わりに、群の正規部分群の言葉で普通話す。実は、すべての合同は *G* のある正規部分群に一意的に対応する。

### 環のイデアルと一般の場合

同様の手法は、合同関係の代わりに核の言葉で（環論であればイデアル、加群論であれば部分加群によって）述べることもできる。この手法が可能な最も一般の状況は（複数の項数 (arity) をもつ作用を許す一般的な意味で）オメガ-群である（核となるのはΩ-安定な正規部分群）。

しかしこれは例えばモノイドではできないので、合同関係の研究はモノイド論においてより中心的な役割を果たす。

## 普遍代数

アイデアは普遍代数において一般化される：
代数 *A* 上の合同関係は *A* 上の同値関係でもあり直積 *A* &times; *A* の部分代数でもあるような *A* &times; *A* の部分集合である。

準同型のはいつも合同である。実際、すべての合同は核として生じる。
*A* 上の与えられた合同 ~ に対して、同値類全体の集合 *A*/~ は自然な方法、で代数の構造が与えられる。
*A* のすべての元をその同値類に写す関数は準同型であり、この準同型の核は ~ である。

代数 *A* 上のすべての合同関係の束 **Con**(*A*) はである。

## 脚注

### 注釈

### 出典

## 関連項目
*:en:Table of congruences
*:en:Linear congruence theorem
*:en:Congruence lattice problem

## 参考文献
* Horn and Johnson, *Matrix Analysis,* Cambridge University Press, 1985. ISBN 0-521-38632-2. (Section 4.5 discusses congruency of matrices.)