>>73
なんだ、やっぱまじめだったのかw
R が体なら、有限生成とか無関係にいつでも自由加群なんだが。