2019-01-11から1日間の記事一覧

雑記(29)

前回の完全系列の続きなんだけど、 の写像を包含写像 (埋め込み写像) と見ることもできる。今度は、 を 加群として、以下のような準同型 が存在するとする。このとき ならば、 は単射であり、 は全射である。そうすると、 であることが証明できる。 (証明) …