ネーター環上の有限生成加群はネーター加群である(そして実はこの性質がネーター環を特徴づける).
そして