■

朝食を食べ損ねました。スクランを読み損ねました。昼食を食べ損ねました。購買でミルクパン買って５時限＋ガイダンスをしのいで帰宅して昨日の残りのレトルトの「陳麻婆豆腐」（ユウキ食品）を食べて満足。超好き。ちなみにレトルトカレーでは「麻布タカノ　バリ風カレー」が超好き。麻婆は辛いほど、カレーは少し甘めの方が美味い気がします。

勉強：２時間
整数と整と加群とか。「整ａは体Ｋの整数」とか「Ο_ＫはＫの整数環」とかややこしいなあ。整数環ってＺだけじゃないのかよ。定理「∀α∈Ｋ∃整数ａ≠０、ａα∈Ο_Ｋ」から導かれる系「Ｋ＝{α/β|α、β∈Ο_Ｋ}　（ＫはΟ_Ｋの商体）」がきれいに証明できたので書いてみる。

Ｋ：体、Ο_Ｋ⊆ＫよりＫ'＝{α/β|α、β∈Ο_Ｋ} として明らかにＫ'⊆Ｋ。一方定理よりＫ''＝{α/β|α∈Ο_Ｋ　β∈Ｚ} とするとＫ⊆Ｋ''。よってＫ'⊆Ｋ⊆Ｋ''だがＺ⊆Ο_ＫよりＫ''⊆Ｋ'であり、結局全て等号が成立し特にＫ'＝Ｋ。

・・・十分・必要条件と⊆をめちゃうまく使った機械的かつ意外な証明だと思うのだけど。サンデーを読み損ねました。