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

ネーター整域なら可能。 反例など：https://x.com/study_unnatural/status/1762343607670030586?s=20

TikZって使うのだるくないですか？ とりあえず書ければいい。綺麗さは求めないって場合は以下のツールを使うとよいとおもいます。(tikzcd-editorは普通にtikz-cdを使うのと綺麗さは変わらない。) tikz-cdをマウス操作のみで使えるツール(tikz-cdは可換図式を…

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