核 (数学)

出典: フリー百科事典『ウィキペディア（Wikipedia）』

数学において、準同型の核（かく、kernel）とは、その準同型の単射からのずれの度合いを測る道具である。代数系における準同型の核が "自明" (trivial) であることとその準同型が単射であることとが同値となる。

[編集] 定義

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

[編集] 基点を持たない構造の場合

A, B を同種の構造をもつ集合とし、f: A → B を構造を保つ準同型とする。このとき、準同型 f の核 Ker(f) は

${\rm Ker}\,f := \{(a_1,a_2) \in A \times A \mid f(a_1)=f(a_2)\}$

で定義される A × A の部分集合である。したがって、Ker(f) は始域の集合 A における二項関係を定める。この関係は（構造と両立する）同値関係になる。核 Ker(f) が自明であるとは Ker(f) = Δ(A) なることをいう。ここで、Δ(A) は対角線集合 {(a, a) | a ∈ A} である。これは Ker(f) が定める A の二項関係は恒等関係 (equality) であるというのと同じことである。

[編集] 基点を持つ構造の場合

(A, *_A), (B, *_B) を基点を持つ同種の構造をもつ集合とし、f: A → B, f(*_A) = *_B を構造を保つ準同型とする。このとき、準同型 f の核 Ker(f) は終域 B の基点 *_B の原像、つまり

${\rm Ker}\,f := \{ a \in A \mid f(a) = *_B \}$

で定義される始域 A の部分集合である。Ker(f) は A の基点 *_A を常に含むが、逆にKer(f) が唯一つの元 *_A のみからなる集合 {*_A} に一致するとき、核 Ker(f) は自明であるという。

[編集] 二つの定義の関係

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

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

[編集] 例

[編集] 群の準同型

G, H を群とし、G, H の単位元をそれぞれ e_G, e_H とする。このとき、群を単位元を基点として持つ代数系とみなすことができて、群準同型 f: G → H に対して

${\rm Ker}\,f = \{g \in G \mid f(g) = e_H\}$

となる。これは G の部分群、とくに正規部分群になることが確かめられる。

ここで、始域 G における関係を g₁ ∼ g₂ となるのは g₁⁻¹g₂ ∈ Ker(f) となるとき、かつそのときに限るものと定義する。これは Ker(f) が G の部分群ゆえ同値関係を与える。このとき、g₁⁻¹g₂ ∈ Ker(f) と f(g₁)⁻¹f(g₂) = f(g₁⁻¹g₂) = e_H とが同値ゆえに g₁ ∼ g₂ となるのは f(g₁) = f(g₂) となるとき、かつそのときに限ると言い換えることができ、結局この関係は G × G の部分集合