環準同型の核2016年07月10日(日)\(R\)と\(S\)を環とします。\]が成り立つことです(\(1_R\)は\(R\)の乗法単位元で、\(1_S\)は\(S\)の乗法単位元。ここでは乗法単位元の存在を仮定しています)。\]という集合で、これを\(\ker(f)\)と書きます(\(0\)は\(S\)の加法単位元)。https://img.textfile.org/96bbfe89cacec47791b29ee3c88d1b6e.png言い換えるなら、写像\(f\)の定義域を\(\ker(f)\)に制限した写像を\(g\)と置くと、写像\(g\)の像(イメージ)は\(\{0\}\)です。@hyuki『数学ガール』作者。結城メルマガとWeb連載を毎週書いてます。文章書きとプログラミングが好きなクリスチャン。noteお話の一覧を見る。