概要・参考文献 を示します． https://mathoverflow.net/q/10239 ←これを読み解いたよというような話です． 何がすごいの？ は簡単です．直和の普遍性と，同一視 ですね．こっちは を任意の単位的可換環にしても成り立ちます．一方，直積からの準同型という…