logo

抽象代数学における核、カーネル 📂抽象代数

抽象代数学における核、カーネル

定義

G,GG, G'の単位元e,ee, e'準同型写像ϕ:GG\phi : G \to G'に対して{e}\left\{ e' \right\}の原像ϕ1[{e}] \phi^{-1} [ \left\{ e' \right\} ]ϕ\phikernelといい、kerϕ\ker \phi と書く。

定理

  • [1]: gGg \in Gに対してg(kerϕ)=(kerϕ)gg ( \ker \phi ) = ( \ker \phi ) g
  • [2]: kerϕG\ker \phi \triangleleft G
  • [3]: kerϕ={e}\ker \phi = \left\{ e \right\}     \iff ϕ\phiは単射だ。
  • [4]: ϕ\phiが全射でkerϕ={e}\ker \phi = \left\{ e \right\}ならば、ϕ\phi同型写像である。

説明

定理[3]は必要十分条件だが、特に準同型写像が単射であることを示すのに便利に使われる。線形代数学では、零空間は与えられた方程式に対する解集合としてのアイデンティティが強かった。

一方、抽象代数学では、少なくとも群論では、GGが何であれ、正規部分群として「中心を持つこと」の性質が強い。面白いことに、定理[1]ではϕ\phiが実際にどのように定義されたか、またGG'がどのような群であるかさえ気にせず、GG'GGからϕ\phiを受け取るだけで、それ以外は無意味だとされている。

証明

[3]

(    )( \implies ) kerϕ={e}\ker \phi = \left\{ e \right\}ならば、すべてのgGg \in Gに対してϕ({g})\phi ( \left\{ g \right\} )は正確に{g}=g{e}\left\{ g \right\} = g \left\{ e \right\}にのみ対応するので、ϕ\phiは単射だ。


(    )( \impliedby ) ϕ\phiが単射であり、ϕ(e)=e\phi (e) = e'により、kerϕ={e}\ker \phi = \left\{ e \right\}でなければならない。

一緒に見る