まとめ奮闘中。空気になりたい凡人です。
学んだ内容まとめ結構しんどい。Latexできれいに書けるとは言え、コマンドを打ち間違いでプログラムが出力されないのでエラー吐かれたらどこのコマンド間違ってるか調べる必要がある。これがまぁ目が痛くなる。こんなんつづ毛テルト頭おかしくなる。きえぇ～～～～～～～～～～～～～
現場からは以上です。はい。
今日のやつ Cohen-Seidenberg's Theorem
必殺技みたいな名前ですけど数学者二人の名前がついてるだけです。これは、整拡大R⊆Tの間でRの素イデアルの昇鎖（包含関係が大きくなる）に対してTの素イデアルの昇鎖を対応するように作れる（上昇定理）と逆の包含の下降定理の2つセットです。加工定理では整域の仮定と別にRが商体上整閉であることも必要で少し厳しい条件です。
