motisn https://blog.hatena.ne.jp/motisn/ も！ https://motisn.hatenablog.com/ Hungerford4章 これは「今年中にHungerford4章読むぞ Advent Calendar 2021」21日目の記事です。 5節の最後は（単位的）自由加群におけるテンソル積のお話をしています。以下では単位的環を考えます。 単位的右加群と基底上の自由左加群に対して、T5.11は任意のがと一意に書けると言っています。すなわち、適当なを付け足すことでと書けたとき、となるという意味です。 証明ではまずを考えます。はのコピーであり、がと対応するイメージです。が線形独立なので全射は（核が自明なので）同型となり、T5.7と合わせてとなります。により、同型が得られました。の成分はとなるので、自然な単射によってとなります。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmotisn.hatenablog.com%2Fentry%2F2021%2F12%2F24%2F001910" title="Hungerford4章読む（12/23） - も！" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2021-12-24 00:19:10 rich https://motisn.hatenablog.com/entry/2021/12/24/001910 1.0 100%