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