generated at
標準的射影
canonical projection
p: M\to M/N; x\mapsto x+N
NはMの部分加群
全射である





参考
『層とホモロジー代数』 p.10