いつの間にかすべてのブックマークボタンが!空気になりたい凡人です。
やっぱり利便性が悪かったのか、ブックマークの右端にあった邪魔ボタンが消えた。市欄間に隠れてるリンクの一番頭が出てたからおかしいと思ったら、「そうだ、そんなボタンあったわ」となった。やっぱりあんまり評判よくなかったのかな。
最近近くで工事してるのかずっとドリルの音と振動がきつい。朝っぱらからやってるから心臓が痛い...
現場からは以上です。
今日のやつ フィルター
環RのイデアルIのフィルターとはI^{0}=R⊇I⊇I^{2}⊇I^{3}⊇...であり、R加群Mの係数にするとM=I^{0}M⊇IM⊇I^{2}M⊇I^{3}M⊇...が成り立っている。R加群の減少列{M_{i}}についてIM_{n} ⊆M_{n+1}(n≧0)を満たす時、{M_{i}}はIのフィルターと呼ばれる。