核 (代数学)のソースを表示

{{otheruses||群論|核 (群論)|その他|核 (数学)}}
{{出典の明記|date=2015年7月}}
[[数学]]において、[[準同型]]の'''核'''（かく、{{lang-en-short|kernel}}）とは、その準同型の[[単射]]からのずれの度合いを測る道具である。代数系における準同型の核が "[[自明 (数学)|自明]]" (trivial) であることとその準同型が単射であることとが同値となる。

== 定義 ==
考える構造により多少の差異はあるが、（圏論を使わない）集合と写像の言葉の範疇では概ね、[[基点]] (base point) と呼ばれる特定の元を構造として持つ場合と持たない場合の二種に大別できる（ここでは、正確には基点のみからなる一元集合が圏論的な意味で零対象となるようなものを与える必要がある）。

=== 基点を持たない構造の場合 ===
''A'', ''B'' を同種の構造をもつ集合とし、''f'' : ''A'' &rarr; ''B'' を構造を保つ準同型とする。このとき、準同型 ''f'' の'''核''' Ker(''f'') は
:<math>\operatorname{Ker}f := \{(a_1,a_2) \in A \times A \mid f(a_1)=f(a_2)\}</math>
で定義される ''A'' &times; ''A'' の部分集合である。したがって、Ker(''f'') は始域の集合 ''A'' における[[二項関係]]を定める。この関係は（構造と両立する）[[同値関係]]になる。核 Ker(''f'') が'''自明'''であるとは Ker(''f'') = &Delta;(A) なることをいう。ここで、&Delta;(A) は[[対角線集合]] {(''a'', ''a'') | ''a'' &isin; ''A''} である。これは Ker(''f'') が定める ''A'' の二項関係は[[恒等関係]] (equality) であるというのと同じことである。

=== 基点を持つ構造の場合 ===
(''A'', ∗<sub>''A''</sub>), (''B'', ∗<sub>''B''</sub>) を基点を持つ同種の構造をもつ集合とし、''f'' : ''A'' → ''B'', ''f''(∗<sub>''A''</sub>) = ∗<sub>''B''</sub> を構造を保つ準同型とする。このとき、準同型 ''f'' の'''核''' Ker(''f'') は終域 ''B'' の基点 ∗<sub>''B''</sub> の[[原像]]、つまり
:<math>\operatorname{Ker}f := \{ a \in A \mid f(a) = *_B \}</math>
で定義される始域 ''A'' の部分集合である。Ker(''f'') は ''A'' の基点 ∗<sub>''A''</sub> を常に含むが、逆にKer(''f'') が唯一つの元 ∗<sub>''A''</sub> のみからなる集合 {∗<sub>''A''</sub>} に一致するとき、核 Ker(''f'') は'''自明'''であるという。

=== 二つの定義の関係 ===
基点を持つ多くの代数系では、構造は[[等質性]]をもち、それゆえに、この第二の定義による核は、第一の定義における核の定める同値関係と同じ関係を定義する。特に、核が第二の定義の意味で自明であれば第一の定義の意味でも自明であり、核が自明な準同型は単射となる。

このような意味で、第二の定義は第一の定義の特別な場合である、あるいは逆に第二の定義の一般化として第一の定義があるということができる。これらの定義は核について、
* 第一の定義においては、それが同値関係を定めることと、
* 第二の定義においては、それが始域や終域におけると同様の構造をもつ集合であることが、
それぞれに扱いやすい特性を示している。

== 例 ==
=== 群の準同型 ===
''G'', ''H'' を[[群論|群]]とし、''G'', ''H'' の単位元をそれぞれ ''e''<sub>''G''</sub>, ''e''<sub>''H''</sub> とする。このとき、群を単位元を基点として持つ代数系とみなすことができて、群準同型 ''f'': ''G'' &rarr; ''H'' に対して
:<math>\operatorname{Ker}f = \{g \in G \mid f(g) = e_H\}</math>
となる。これは ''G'' の部分群、とくに正規部分群になることが確かめられる。

ここで、始域 ''G'' における関係を ''g''<sub>1</sub> &sim; ''g''<sub>2</sub> となるのは ''g''<sub>1</sub><sup>&minus;1</sup>''g''<sub>2</sub> &isin; Ker(''f'') となるとき、かつそのときに限るものと定義する。これは Ker(''f'') が ''G'' の部分群ゆえ同値関係を与える。このとき、''g''<sub>1</sub><sup>&minus;1</sup>''g''<sub>2</sub> &isin; Ker(''f'') と ''f''(''g''<sub>1</sub>)<sup>&minus;1</sup>''f''(''g''<sub>2</sub>) = ''f''(''g''<sub>1</sub><sup>&minus;1</sup>''g''<sub>2</sub>) = ''e''<sub>''H''</sub> とが同値ゆえに ''g''<sub>1</sub> &sim; ''g''<sub>2</sub> となるのは ''f''(''g''<sub>1</sub>) = ''f''(''g''<sub>2</sub>) となるとき、かつそのときに限ると言い換えることができ、結局この関係は ''G'' &times; ''G'' の部分集合  
:<math>K := \{(g_1,g_2) \in G \times G \mid f(g_1) = f(g_2)\}</math>
の定める関係と同じものであることが確かめられる。また、Ker(''f'') = {''e''<sub>''G''</sub>} となる意味で自明であるならば、''g''<sub>1</sub> &sim; ''g''<sub>2</sub> は ''g''<sub>1</sub> = ''g''<sub>2</sub> と同値であるから、集合 ''K'' が定める関係としても自明である。 

=== 環と加群の準同型 ===
''R'', ''S'' を[[環論|環]]とする。環は零元を基点に持つ代数系であり、0<sub>''R''</sub>, 0<sub>''S''</sub> をそれぞれ ''R'', ''S'' の零元とすれば、環準同型 ''f'': ''R'' &rarr; ''S'' の核は
:<math>\operatorname{Ker}f := \{r \in R \mid f(r) = 0_S\}</math>
となる。これは始域 ''R'' の部分環であり、さらに ''R'' の[[イデアル]]となる。

環を加法についてみれば可換群であるから、群準同型について述べたことは加法についてはそのまま通用する。したがって、''f'': ''R'' &rarr; ''S'' の核 Ker(''f'') が Ker(''f'') = {0<sub>''R''</sub>} を満たすことと ''f'' は単射であることとは同値である。

同様に、''M'', ''N'' を ''R''-加群とすれば、それぞれの零元 0<sub>''M''</sub>, 0<sub>''N''</sub> を基点として、''R''-加群の準同型（''R''-[[線型写像]]）''f'': ''M'' &rarr; ''N'' に対し、
:<math>\operatorname{Ker}f := \{m \in M \mid f(m)=0_N\}</math>
が ''f'' の核となる。やはり Ker(''f'') は始域 ''M'' の 部分 ''R''-加群である。ここでも核が自明なこととその準同型が単射であることとが同値となる。なお、体上の加群である[[ベクトル空間]]の核については[[零空間]]も参照されたい。

=== 半群準同型 ===
''S'', ''T'' を[[半群]]とし、''f'': ''S'' &rarr; ''T'' を半群の準同型とすると ''f'' の核は
:<math>\operatorname{Ker}f :=\{(s_1, s_2)\in S\times S\mid f(s_1)=f(s_2)\}</math>
で与えられる。

== 準同型定理 ==
準同型 ''h'': ''S'' &rarr; ''T'' に対し、始域 ''S'' を核 Ker(''h'')（の定める同値関係）で割った集合 ''S''/Ker(''h'') には自然に商構造が入る。これを Coim(''h'') と書いて、準同型 ''h'' の'''[[余像]]'''（よぞう、''Coimage''）と呼ぶ。

準同型 ''h'': ''S'' &rarr; ''T'' の余像 Coim(''h'') は ''h'' の像 Im(''h'') = ''h''(''S'') と同型であるという命題を'''[[準同型定理]]'''という。''S'', ''T'' が群、環、環上の加群などのときには確かに準同型定理が成り立つ。

== 関連項目 ==
*[[零空間]]
*[[核 (圏論)]]

{{DEFAULTSORT:かく たいすうかく}}
[[Category:代数的構造]]
[[Category:数学に関する記事]]