<p>Given two complete cotorsion pairs <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_967_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathcal {X}_1,\mathcal {Y}_1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">X</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="script">Y</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_967_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathcal {X}_2,\mathcal {Y}_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">X</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="script">Y</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in an exact category with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_967_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {X}_1\subseteq \mathcal {Y}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">X</mi> <mn>1</mn> </msub> <mo>⊆</mo> <msub> <mi mathvariant="script">Y</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, we prove that <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_967_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="166" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left( \textrm{Smd}\langle \mathcal {X}_1,\mathcal {X}_2 \rangle ,\mathcal {Y}_1\cap \mathcal {Y}_2\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close=")" open="("> <mtext>Smd</mtext> <mrow> <mo stretchy="false">⟨</mo> <msub> <mi mathvariant="script">X</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="script">X</mi> <mn>2</mn> </msub> <mo stretchy="false">⟩</mo> </mrow> <mo>,</mo> <msub> <mi mathvariant="script">Y</mi> <mn>1</mn> </msub> <mo>∩</mo> <msub> <mi mathvariant="script">Y</mi> <mn>2</mn> </msub> </mfenced> </math></EquationSource> </InlineEquation> is also a complete cotorsion pair, where <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_967_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Smd}\langle \mathcal {X}_1,\mathcal {X}_2 \rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Smd</mtext> <mo stretchy="false">⟨</mo> <msub> <mi mathvariant="script">X</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="script">X</mi> <mn>2</mn> </msub> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> is the class of direct summands of extension of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_967_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {X}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">X</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_967_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {X}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">X</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>. As an application, we construct complete cotorsion pairs, such as <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_967_Article_IEq8.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="109" /> </InlineMediaObject> <EquationSource Format="TEX">\((^\perp \mathcal{G}\mathcal{I}^{\leqslant n},\mathcal{G}\mathcal{I}^{\leqslant n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mo stretchy="false">(</mo> <mo>⊥</mo> </msup> <mi mathvariant="script">G</mi> <msup> <mrow> <mi mathvariant="script">I</mi> </mrow> <mrow> <mo>⩽</mo> <mi>n</mi> </mrow> </msup> <mo>,</mo> <mi mathvariant="script">G</mi> <msup> <mrow> <mi mathvariant="script">I</mi> </mrow> <mrow> <mo>⩽</mo> <mi>n</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_967_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{G}\mathcal{I}^{\leqslant n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">G</mi> <msup> <mrow> <mi mathvariant="script">I</mi> </mrow> <mrow> <mo>⩽</mo> <mi>n</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> is the class of modules of Gorenstein injective dimension at most <i>n</i>. And we also characterize the left orthogonal class of exact complexes of injective modules and the classes of modules with finite Gorenstein projective, Gorenstein flat, and PGF dimensions.</p>

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

Intersection of Complete Cotorsion Pairs

  • Qikai Wang,
  • Haiyan Zhu

摘要

Given two complete cotorsion pairs \((\mathcal {X}_1,\mathcal {Y}_1)\) ( X 1 , Y 1 ) and \((\mathcal {X}_2,\mathcal {Y}_2)\) ( X 2 , Y 2 ) in an exact category with \(\mathcal {X}_1\subseteq \mathcal {Y}_2\) X 1 Y 2 , we prove that \(\left( \textrm{Smd}\langle \mathcal {X}_1,\mathcal {X}_2 \rangle ,\mathcal {Y}_1\cap \mathcal {Y}_2\right) \) Smd X 1 , X 2 , Y 1 Y 2 is also a complete cotorsion pair, where \(\textrm{Smd}\langle \mathcal {X}_1,\mathcal {X}_2 \rangle \) Smd X 1 , X 2 is the class of direct summands of extension of \(\mathcal {X}_1\) X 1 and \(\mathcal {X}_2\) X 2 . As an application, we construct complete cotorsion pairs, such as \((^\perp \mathcal{G}\mathcal{I}^{\leqslant n},\mathcal{G}\mathcal{I}^{\leqslant n})\) ( G I n , G I n ) , where \(\mathcal{G}\mathcal{I}^{\leqslant n}\) G I n is the class of modules of Gorenstein injective dimension at most n. And we also characterize the left orthogonal class of exact complexes of injective modules and the classes of modules with finite Gorenstein projective, Gorenstein flat, and PGF dimensions.