これは「今年中にHungerford4章読むぞ Advent Calendar 2021」19日目の記事です。どこかで追い付きたいですがもう4日しかない… しばらく前回導入したテンソル積についての命題が続きます。 P5.4により、左加群の右完全列と右加群に対して、がアーベル群の完…