着々と性質が溜まっていく

これも研究のいい面。空気になりたい凡人です。

始めのアイデアは失敗したけど発想自体が良かったのか少し概念の構造が簡単な加群に落とすとうまくいっている。それにイデアルに制限しても問題ないためこのまま積み上げていきたいな。線形空間だとすごくきれいになったし、全然無駄と言うわけでもなさそう。

現場からは以上です。

今日のやつ　次元1の局所環

次元0の局所環は素イデアルがただ一つしか存在しない。次元1の場合は2つの素イデアルで全順序（普通の素イデアルと極大イデアル）になっている。