ネーター環
3. The completion of a finitely generated module "M" over a Noetherian ring "R" can be obtained by "extension of scalars":