加群の剰余とテンソル積
2年前に考えていた疑問をずっと放置していたのが、昨日の夜に考えたら、ふと反例が出たという話。
が成り立つか否か。
この形の命題はたまに使われていて、が体のときや、加群ではなくてイデアルのときは成り立つので実用上は問題ない。桂利行「代数学II」には43ページの(IV)に一般の場合の証明が載っているのだが、個人的に納得できずにいた。
以下とする。
反例
として、
とする。
とする。
の元は
の形の和であるが、
のように計算すれば、ゼロでない元は
しかない。
でははどうかというと、
より、ゼロでない元は
しかない。
ん? これって部分加群じゃないよね?
要するに包含から誘導される
が単射でないことが問題となる。実際
を考えると、
は恒等的にゼロだから
となる。同様に
も考えられるが、今回は
なので関係ない。そして、
の代わりに
とすれば、
となる。右辺は
なので、
は成立する。
備考
じゃあなんでが体なら成り立つかというと、それはベクトル空間
のテンソル積は、
の基底のテンソル積が基底になるからで、上の写像が常に単射になる。
平坦性はこういうところに出てくるんだなと。
だった。結論から言えば上の同型は成り立つが、記号が良くなくて
とするべき(2023年5月21日修正)