<p>This paper deals with certain classes of modules under module-finite extensions. Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\varphi : R\hookrightarrow S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo>:</mo> <mi>R</mi> <mo stretchy="false">↪</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation> be a module-finite extension between commutative Noetherian local rings. We investigate the transfer of Artinian module structures and attached primes between <i>R</i> and <i>S</i>. We clarify the behavior of local cohomology modules as well as certain structures of finitely generated <i>S</i>-modules under the restriction of scalars to <i>R</i> via <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation>. We show that <i>R</i> is a quotient of a Cohen-Macaulay local ring if and only if so is <i>S</i>. As an application, we characterize the structure of Nagata’s idealization. Using Macaulayfication of algebraic varieties and idealization, we give an example to illustrate the results.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On the Transfer of Artinian and Cohen-Macaulay Properties under Module-Finite Extensions

  • Tran Do Minh Chau

摘要

This paper deals with certain classes of modules under module-finite extensions. Let \(\varphi : R\hookrightarrow S\) φ : R S be a module-finite extension between commutative Noetherian local rings. We investigate the transfer of Artinian module structures and attached primes between R and S. We clarify the behavior of local cohomology modules as well as certain structures of finitely generated S-modules under the restriction of scalars to R via \(\varphi \) φ . We show that R is a quotient of a Cohen-Macaulay local ring if and only if so is S. As an application, we characterize the structure of Nagata’s idealization. Using Macaulayfication of algebraic varieties and idealization, we give an example to illustrate the results.