Hungerford4章読む(12/13)
これは「今年中にHungerford4章読むぞ Advent Calendar 2021」13日目の記事です。13日目です。
3節の終わりから急にほむほむしていましたが、4節の前半ではそのについて調べていくようです。
を加群準同型の集合と定義します。これが和についてアーベル群であり、関数の合成の積に対して分配法則が成り立つのは、アーベル群の準同型の場合と同じ計算をしてわかります(特別な場合として自己準同型ならば積が閉じるので環になる)。の場合、つまりアーベル群の準同型はよく出てくるので、をと省略します。
上の加群と加群準同型とがあるとき、任意のに対して関数の合成によってとすることができます。この写像は(well-definedな)アーベル群の準同型であることが計算することでわかります。
に誘導されるこの加群準同型をと書きます(この記号付け、準同型の集合と混同するんですが、なぜ…)。写像の合成はとして、と定義できます。この合成は結合的っぽいですね。
特別な具体例を挙げて今日はここまでにします。少し短くて、25日に収まるのか怪しくなりますが…
序盤に比べると書く量がすごく増えている…。当初はさらさらっと流す予定だったのに今となっては序盤のアドカレの頼りなさがすごい。
明日も頑張ります。