準同型写像の核とか
明日のセミナーの予習がひと段落したので久しぶりにブログを更新しに来ました. mtino1594です. 最近PCを起動させるのが億劫になってきてしまって良くない.
この間数学書を眺めていたときに目から鱗な出来事があったので記録しておこうと思う.
一言でいえば 「素イデアルの環準同型による逆像は素イデアルである」 という定理が何一つ分かっていなかった, ということなのだが,このままでは何も伝わらないのでもう少し書こう.
本題に入る前に,記号をきちんと定義しておきたい.
以後,環といえば積の単位元をもつ可換環であるとし, 環準同型写像は積の単位元を保つものとする.
, を環とし, を環準同型写像とする. 今, が素イデアルであるとき, が の素イデアルであることを示したい.
このような問題を出されたとき,おそらく私は 「 または 」 を示していくと思う. これは何も間違っていないけれど,もうすこし 準同型写像の核というものに注目してみたいと思う.
環準同型の核がイデアルとなることは認めることにする. をイデアルとすれば,標準的な全射 が存在する. この全射写像と を合成 を考えれば 単射 が得られる. 明らかに であるから, は のイデアルである. また,この単射により を の部分環とみなせる.
よって特に ( は素イデアル)とすれば は整域であり,その部分環である も整域となる. したがって は素イデアルである *1.
この話の重要な点は
の2点だろう. 特に,準同型写像の核というものはとても大切な対象であるということがようやく分かり始めてきた. ようやくスタートラインに立てた,ということだろうか.
とある授業で先生が 「正規でない部分群は部分群とは呼びたくない*2」 と言っていたのだが,少し気持ちが分かってきたような気がする.