上記の記事では、可換モノイドを可換群に拡張する随伴関係を大雑把に示しましたが、圏論の随伴関係としての構成をまじめに示した上で、同様の議論が、
環(整域)を体に拡張する場合
加群を線型空間に拡張する場合
にも適用できることを示します。
これは、下記の書籍の命題2.1.3、命題2.5.6、命題2.5.8に相当します。
上記の記事では、可換モノイドを可換群に拡張する随伴関係を大雑把に示しましたが、圏論の随伴関係としての構成をまじめに示した上で、同様の議論が、
環(整域)を体に拡張する場合
加群を線型空間に拡張する場合
にも適用できることを示します。
これは、下記の書籍の命題2.1.3、命題2.5.6、命題2.5.8に相当します。