以前にインストールしてみたが，強い．たまにしか勝たせてもらえない．

イデアルより加群の方がより基本的な対象だと思う． 環の内部構造をどうやって加群の圏のことばで記述するか，というのは基本的な問題意識． NAK（中山の補題）の幾何学的意味は？ 代数 が有限 加群ならば， の真のイデアル に対し 一昨年度をもって定年退官…