ブックマークバーの右端に余計な奴が。空気になりたい凡人です。
何だよすべてのブックマークって。そんなんいるかよ。沢山記録してる場合せっかくフォルダとかで整理してるの意味ないじゃん。おまけに、実際見てみるといつものブックマークバーが縦一列に並んでいるだけという。誰が喜ぶのこんなの...おまけにいつも上から順で１０個ぐらい新しいタブで見れてたのにこいつのせいで８個しか表示されてない。なんや素の何もないスペースはなんというか無駄が多すぎる。解除できないのかな...
現場からは以上です。
今日のやつ 付値環
付値環Rと商体Q(R)の間にある部分環R'⊆Q(R)は付値環であることは簡単である。それを少し進めてR'の極大イデアルmは、Rの素イデアルでもあってRの局所化R_{m}はR'と一致することを示した。これらは付値環が局所環であることも引きずっている。
