ネーター環
この節では，すべての加群はネーター環 上有限生成であるとする．