4Q(2021)55日目

1/25(火)　晴れ

10時に起きた。午後にゼミがあるから午前中は昨日の続きをやった。やっぱり付値の延長と極大イデアルの拡大についてわからないところが多い。

結局元が0かどうかをあるRees valuationの任意の拡大に関する値で判定できるのが偉いんだけどなんでそんなことができてるのかわからない。気持ちとしてはCauchy列で表してその各項が整であることから取れる従属式の係数の値によってその項の値を制御しようとしているらしい。まあ係数は結局共役な根からなる対称式だから項の値を調べるために係数はバイトにからあってりる。

結構眠くなってるのでもう寝る。