環上の加群、直積、直和

環上の加群の直積直和の普遍性に関する命題の後、要するに、～ということである。とあるのですが、（画像）これは２つの命題からどうやって導かれているのですか？

質問者からの補足コメント

• ２枚目です、よろしくお願いします。

  
    補足日時：2019/12/29 22:41

No.1 ベストアンサー 回答者： ありものがたり 回答日時： 2019/12/30 13:24

特に導かれてはいません。

(2.4.26) で定義される f, g が命題 2.4.24 と 2.4.25 の f, g の要件を満たすこと
は、簡単に確認できるので、「自明」とされているのでしょう。
「要するに」というのは、命題 2.4.24 と 2.4.25 によってそのような f, g は一意
だと判っているので、(2.4.26) 以外には無いんだよということを言っているのです。

この回答へのお礼

ありがとうございます、解決しました

お礼日時：2019/12/30 16:36