<p>In this paper, an <i>R</i>-module <i>M</i> is called <i>FR</i>-injective if <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_938_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="116" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Ext}_R^1(F,M)=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mtext>Ext</mtext> <mi>R</mi> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>F</mi> <mo>,</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> for every finitely generated reflexive <i>R</i>-module <i>F</i>. We generalize some properties of <i>FP</i>-injective modules to <i>FR</i>-injective modules, consider the relationships between injective modules, <i>FP</i>-injective modules and <i>FR</i>-injective modules, gives some characterizations of (<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_938_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Π</mi> </math></EquationSource> </InlineEquation>-coherent) rings with property that all finitely generated reflexive modules are projective, and show that a coherent domain is a Prüfer domain if and only if it is an 1-FC domain with finite weak global dimension, a coherent domain <i>R</i> is of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_938_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="123" /> </InlineMediaObject> <EquationSource Format="TEX">\(w.gl.dim(R)\le 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>.</mo> <mi>g</mi> <mi>l</mi> <mo>.</mo> <mi>d</mi> <mi>i</mi> <mi>m</mi> <mo stretchy="false">(</mo> <mi>R</mi> <mo stretchy="false">)</mo> <mo>≤</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> if and only if every (finitely generated) ideal of <i>R</i> is <i>FR</i>-injective, and a noetherian domain is 2-Gorenstein if and only if <i>R</i> is self <i>FR</i>-injective. Finally, we discuss some properties of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_938_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I_{FR}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">I</mi> <mi mathvariant="script">FR</mi> </msub> </math></EquationSource> </InlineEquation>-covers and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_938_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I_{FR}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">I</mi> <mi mathvariant="script">FR</mi> </msub> </math></EquationSource> </InlineEquation>-envelopes, where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_938_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I_{FR}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">I</mi> <mi mathvariant="script">FR</mi> </msub> </math></EquationSource> </InlineEquation> denotes the class of all <i>FR</i>-injective modules.</p>

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

FR-Injective Modules Over Coherent Domains

  • Mingzhao Chen,
  • Xiaobing Qu,
  • Wei Zhao

摘要

In this paper, an R-module M is called FR-injective if \(\textrm{Ext}_R^1(F,M)=0\) Ext R 1 ( F , M ) = 0 for every finitely generated reflexive R-module F. We generalize some properties of FP-injective modules to FR-injective modules, consider the relationships between injective modules, FP-injective modules and FR-injective modules, gives some characterizations of ( \(\Pi \) Π -coherent) rings with property that all finitely generated reflexive modules are projective, and show that a coherent domain is a Prüfer domain if and only if it is an 1-FC domain with finite weak global dimension, a coherent domain R is of \(w.gl.dim(R)\le 2\) w . g l . d i m ( R ) 2 if and only if every (finitely generated) ideal of R is FR-injective, and a noetherian domain is 2-Gorenstein if and only if R is self FR-injective. Finally, we discuss some properties of \(\mathcal {I_{FR}}\) I FR -covers and \(\mathcal {I_{FR}}\) I FR -envelopes, where \(\mathcal {I_{FR}}\) I FR denotes the class of all FR-injective modules.