いろいろググッていたら、ついに証明が載っているPDFを発見。 ありがたいことです。 軽く読んでみたところ、整数環OFを部分加群として 含むようなZ-加群があってそれの自由基底を求めて、 OFがそれの部分加群であることから、 結論(OFが自由加群でrankがn)を…

寝たのが朝の9時ごろで、起きたのが夕方5時。 まあこんなもんです。ネット見たり、 たまっていた洗い物なんかを済ませたりで夜9時過ぎ。 近所のゲーセンにでも行こうかとも思いましたが 財布の中身が乏しかったので、手数料払って郵便貯金下ろすのもアレだし…