Noetherian ring
"M" をネーター環 "R" 上有限生成加群とする。このとき