標準的射影
canonical projection
$ p: M\to M/N; x\mapsto x+N
$ N
は
$ M
の部分加群
全射
である
参考
『層とホモロジー代数』
p.10