代数-環論

整域の直積は整域とは限らない

丁度n個の素元をもつUFDを考えたかった。 おっ!DVRのn個の直積でいいのでは!?と思った。 PIDのn個の直積がPIDならいいな…… でもちがうな。 UFDのn個の直積がUFDならいいな…… うっ……そもそも整域のn個の直積は整域とは限らねぇ!! Z×Zの元(1,0)と(0,1)は…

Atiyah Macdonald メモ

参考になるもの: 補足 参考になるもの: 「supplement Atiyah-Macdonald 」 とか調べると、外国人の書いた補足資料が出てくる。誰が書いたのかわからないし、合ってるかもわからない。 https://byeongsuyu.github.io/_pdf/Atiyah_Macdonald_Supplement.pdf …

雪江代数2(青雪江) 例2.13.1 Z⊕Z/2Z の {2^n}による局所化

雪江代数2(青雪江) 例2.13.1 Z⊕Z/2Z の {2^n | n≥0}による局所化 ところで、昨日からノートには「お嬢様言葉」を使うようにしました。 言葉くらいふざけておいたほうが、わからないことによるイライラを抑えられるかなと思って。 それにしても、以外に自然な…

【テンソル積】環のテンソル積は圏論的「直和」である。

加群の直和は、有限個の場合直積と一致します。 では、環の場合にも、その環から積を忘れたものの直和ってことで、有限個の直積を直和と思うのは良いのでしょうか。⊕の記号を×の代わりに使うのは筋が悪くないのでしょうか。 今回得た知見は、 「環における圏…

【テンソル積】環のテンソル積の普遍性~push out~ R[x,y]/(I,J) ≅ R[x]/I ⊗ R[y]/J を見る。

このgeneral fact の同型がわからないです。証明載ってるやつ知りませんか。。。?自分でできねえのかと思われるでしょうが、できねえんです。 pic.twitter.com/VHfElAEwTE — 不自然対数Ⓜ️ (@study_unnatural) 2023年7月20日 というツイートをしました。 そ…