<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\( R \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>R</mi> </math></EquationSource> </InlineEquation> be a commutative Noetherian ring, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq2.gif" Format="GIF" Height="11" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\( \mathfrak {a}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">a</mi> </math></EquationSource> </InlineEquation> an ideal of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\( R \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>R</mi> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\( M \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>M</mi> </math></EquationSource> </InlineEquation> a finitely generated <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\( R \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>R</mi> </math></EquationSource> </InlineEquation>-module. We consider the idealization <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\( R \ltimes M \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>⋉</mo> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\( M \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>M</mi> </math></EquationSource> </InlineEquation> over <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\( R \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>R</mi> </math></EquationSource> </InlineEquation>. In Ahmadi and Rahimi (J Algebra Appl 23(12):2450209, 2024) and Taniguchi et al. (J Commut Algebra 10(2):295–304, 2018), the authors study how certain algebraic properties of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\( R \ltimes M \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>⋉</mo> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation> relate to similar properties of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\( R \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>R</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\( M \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>M</mi> </math></EquationSource> </InlineEquation>, and vice versa. Building on their work, we provide a description of quasi-Buchsbaumness, Buchsbaumness, and surjective Buchsbaumness for <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\( R \ltimes M \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>⋉</mo> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation> with respect to <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq13.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\( \mathfrak {a}\ltimes M \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">a</mi> <mo>⋉</mo> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq14.gif" Format="GIF" Height="11" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {a}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">a</mi> </math></EquationSource> </InlineEquation> is an ideal of <i>R</i>. In particular, when <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\( R \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>R</mi> </math></EquationSource> </InlineEquation> is a local ring, we describe these properties for the local ring <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1252_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\( R \ltimes M \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>⋉</mo> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Buchsbaumness of Nagata idealization

  • Maryam Ahmadi,
  • Ahad Rahimi

摘要

Let \( R \) R be a commutative Noetherian ring, \( \mathfrak {a}\) a an ideal of \( R \) R , and \( M \) M a finitely generated \( R \) R -module. We consider the idealization \( R \ltimes M \) R M of \( M \) M over \( R \) R . In Ahmadi and Rahimi (J Algebra Appl 23(12):2450209, 2024) and Taniguchi et al. (J Commut Algebra 10(2):295–304, 2018), the authors study how certain algebraic properties of \( R \ltimes M \) R M relate to similar properties of \( R \) R and \( M \) M , and vice versa. Building on their work, we provide a description of quasi-Buchsbaumness, Buchsbaumness, and surjective Buchsbaumness for \( R \ltimes M \) R M with respect to \( \mathfrak {a}\ltimes M \) a M where \(\mathfrak {a}\) a is an ideal of R. In particular, when \( R \) R is a local ring, we describe these properties for the local ring \( R \ltimes M \) R M .