雨人間の逆は存在するのか。空気になりたい凡人です。
帰省から帰還し、大学にちょくちょく図書館や研究会のために夏季休暇中でも結構な頻度で外出するが、移動するときに突然晴れだす。それまでは空全体で雲に覆われてたりするのに、屋外に出たとたんに雲がすぅーと消えてさんさんになるのである。ただでさえ皮膚弱いんだから勘弁してほしい。
現場からは以上です。
今日のやつ 射影加群 projective module
強敵Extを打倒するために始めた。「free⇒projective」も定義の同値命題からすぐに自明となる。今回は、 書籍に載っていない順序で同値を示した。