加群の直和

定義

A加群の族 $(M_{\lambda }{)}_{\lambda \in \Lambda }$.

加群 ${⨁}_{\lambda \in \Lambda }{M}_{\lambda }$, ${}^{\forall }\lambda \in \Lambda$ での準同型の族 $p_{\lambda }:⨁M_{\lambda }\to M_{\lambda }$ の組 $(⨁M_{\lambda },p_{\lambda })$ で, 任意の$A$加群 $N$ に対し,

• $i_{\lambda }$ は包含写像, 包含準同型 と呼ばれる

参考文献

• 加群について 2.3 - 千葉大