明日の朝食が楽しみである。空気になりたい凡人です。
宣言通りきゅうりのしょうゆ漬けを用意した。ついでに千切りニンジンのしょうゆ漬けも用意した。こんにゃくと一緒にきんぴらもどきの材料にでもしよう。
紙のゴミがだいぶ減ってきた。床が見えるって素晴らしい。
現場からは以上です。
今日のやつ DVR(離散付値環)
整域Rが写像v:Q(R)→ℤ(離散付値)を持ち、T={x ∈Q(R)|v(x)>=0}を付値環と呼び、Rは離散付値環と呼ばれる。
別に「Q(R)の任意の元xかその逆元x^{-1}がRの元となること」も定義になる。付値環の定義は同値であり証明される。