Hungerford4章読む(12/15)
これは「今年中にHungerford4章読むぞ Advent Calendar 2021」14日目の記事です。14日目…?
今日はT4.3まで読みました。前回のが完全列に対してどう振る舞うかを見ていきます。大文字などは、特に何も言わなければ環上の加群を指すことにします。
T4.2は完全列があることと、アーベル群の完全列が任意のについて成立することが同値だと言っています。対して、の場合は(予想を裏切って)同値な条件はとなります(T4.3)。これらをが左完全であるといいます。
証明ですが、T4.2は誘導される写像の向きが同じなので素直に計算していけばよさそうです。誘導写像はただの写像の合成なので、結合法則を考えればとなることは一応注意します。T4.3は少し複雑で、剰余を考える必要があります。これはT4.2のに対してと合成の順番が逆向きなので、(の)核の代わりに(の)余核を考える必要があるから…っぽい気がします。多分。
T4.2、T4.3を見ると、加群の短完全列がHomの短完全列を誘導することはなさそうに見えます。次のP4.4~P4.6でHomの短完全列が構成される例を挙げているのですが…ちょっと時間がないのでここまでにします。
ちょっと体力が回ってなくて一気にペースが落ちてるので25日に収まらないかも…
明日も今日こそ頑張ります。