ネーター環
3. ネーター環 "R" 上の有限生成加群 "M" の完備化は"係数拡大"によって得ることができる。