ネター環も 小文字で noetherian だな俺は。