JMATHJournal of Mathematics2314-47852314-4629Hindawi10.1155/2020/96518949651894Research Articlen-Coherence Relative to a Hereditary Torsion Theoryhttps://orcid.org/0000-0002-3131-3865ZhanminZhuGuardoElenaDepartment of MathematicsJiaxing UniversityJiaxingZhejiang Province 314001Chinazjxu.edu.cn2020482020202013012020060720204820202020Copyright © 2020 Zhu Zhanmin.This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Let R be a ring, τ=T, a hereditary torsion theory of mod-R, and n a positive integer. Then, R is called right τ-n-coherent if every n-presented right R-module is τ,n+1-presented. We present some characterizations of right τ-n-coherent rings, as corollaries, and some characterizations of right n-coherent rings and right τ-coherent rings are obtained.

Natural Science Foundation of Zhejiang ProvinceLY18A010018
1. Introduction

Throughout this paper, R is an associative ring with identity and all modules considered are unitary. For any R-module M, M+=HomM,/ will be the character module of M.

Recall that a torsion theory  τ=T, for the category of all right R-modules consists of two subclasses T and such that

HomT,F=0 for all TT and F

If HomT,F=0 for all F, then TT

If HomT,F=0 for all TT, then F

In this case, T is called a torsion class and its objects are called τ-torsion, is called a torsion-free class, and its objects are called τ-torsion free. From, Proposition 2.1, Chap VI, in , a class T of right R-modules is a torsion class for some torsion theory if and only if T is closed under quotient modules, direct sums, and extensions. From Proposition 2.2, Chap VI in , a class of right R-modules is a torsion-free class for some torsion theory if and only if is closed under submodules, direct products, and extensions. A torsion theory τ=T, is called hereditary if T is closed under submodules.

We recall also that a right R-module M is called FP-injective  or absolutely pure  if ExtR1A,M=0 for every finitely presented right R-module A; a left R-module M is flat if and only if Tor1RA,M=0 for every finitely presented right R-module A; a ring R is right coherent  if every finitely generated right ideal of R is finitely presented, or equivalently, if every finitely generated submodule of a projective right R-module is finitely presented. FP-injective modules, flat modules, coherent rings, and their generalizations have been studied extensively by many authors. For example, in 1994, Costa introduced the concept of right n-coherent rings in . Following , a ring R is called right n-coherent in case every n-presented right R-module is n+1-presented, where a right R-module A is called n-presented in case there exists an exact sequence of right R-modules FnFn1F1F0A0, in which every Fi is finitely generated free. It is easy to see that a ring R is right coherent if and only if R is right 1-coherent. In 1996, Chen and Ding introduced the concepts of n-FP-injective modules and n-flat modules in , using the two concepts and characterized right n-coherent rings. Following , a right R-module M is called n-FP-injective in case ExtRnA,M=0 for every n-presented right R-module A; a left R-module M is called n-flat in case TornRA,M=0 for every n-presented right R-module A.

Let τ=T, be a (hereditary) torsion theory for the category of all right R-modules. Then, according to , a right R-module M is called right τ-finitely generated (or τ-FG for short) if there exists a finitely generated submodule N such that M/NT; a right R-module A is called τ-finitely presented (or τ-FP for short) if there exists an exact sequence of right R-modules 0KFA0 with F finitely generated free and Kτ-finitely generated; R is called τ-coherent if every finitely generated right ideal of R is τ-FP. In 1993, Nieves introduced the concept of τ-n-presented (or τ-n-FP for short) modules in . Let τ=T, be a torsion theory for the category of all right R-modules; then, according to , a right R-module A is called τ-n-presented in case there exists an exact sequence of right R-modules 0Kn1Fn1F1F0A0, where each Fi is finitely generated free and Kn1 is τ-finitely generated. Let τ=T, be a hereditary torsion theory. Then, by Theorem 3.3 in , it is easy to see that R is right τ-coherent if and only if every finitely presented right R-module is τ-2-FP.

In this article, we wish to extend the concepts of right τ-coherent rings and right n-coherent rings to right τ-n-coherent rings and give some characterizations of these rings (see Theorems 1 and 2), as corollaries; some characterizations of right n-coherent rings and right τ-coherent rings will be obtained (see Corollaries 2 and 4).

2. Characterizations of <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M133"><mml:mi>τ</mml:mi></mml:math></inline-formula>-<inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M134"><mml:mfenced open="(" close=")" separators="|"><mml:mrow><mml:mi>n</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:mfenced></mml:math></inline-formula>-Presented Modules and Right <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M135"><mml:mi>τ</mml:mi></mml:math></inline-formula>-<inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M136"><mml:mi>n</mml:mi></mml:math></inline-formula>-Coherent Rings

We recall that a nonempty subclass T of right R-modules is called a weak torsion class  if T is closed under homomorphic images and extensions. Following , if a class T of right R-modules is a weak torsion class, then a right R-module M is called T-finitely generated (or T-FG for short) if there exists a finitely generated submodule N such that M/NT; a right R-module A is called T-finitely presented (or T-FP for short) if there exists an exact sequence of right R-modules 0KFA0 with F finitely generated free and KT-finitely generated; a right R-module A is called T,n-presented if there exists an exact sequence of right R-modules:(1)0Kn1Fn1F1F0M0,such that F0,,Fn1 are finitely generated free and Kn1 is T-finitely generated, where n is a positive integer. Let τ=T, be a torsion theory of mod-R. Then, it is easy to see that T is a weak torsion class. In this case, a right R-module A is τ-finitely generated if and only if it is T-finitely generated, and a right R-module A is τ-n-presented if and only if it is T,n-presented for any positive integer n. Let A be a right R-module, τ a torsion theory of mod-R, and n a positive integer. Then, form Proposition 3.4 in , the following conditions are equivalent:

A is τ-n-presented.

A is n1-presented, and if there exists an exact sequence of right R-modules:(2)0Kn1Fn1F1F0A0,

such that F0,,Fn1 are finitely generated free; then, Kn1 is τ-finitely generated.

There exists an exact sequence of right R-modules:(3)0KFA0,

such that F is finitely generated free and K is τ-n1-presented.

If n2, then the above conditions are also equivalent to

A is n2-presented, and if there exists an exact sequence of right R-modules(4)0Kn2Fn2F1F0A0,

such that F0,,Fn2 are finitely generated free; then, Kn2 is τ-finitely presented.

Now, we give the characterizations of τ-n+1-presented modules.

Theorem 1.

Let τ be a torsion theory of mod-R, n a nonnegative integer, and A an n-presented right R-module. Then, the following statements are equivalent for A:

A is τ-n+1-presented

The canonical map limExtRnA,XiExtRnA,limXi is an isomorphism for each direct system XiiI of τ-torsion-free modules

TornRA,X+ExtRnA,X+ for each τ-torsion-free module X

TornRA,E+=0 for each τ-torsion-free injective module E

Proof.

12 Use induction on n. If n=0, then the result holds by Proposition 2.5(3) in . Assume that the result holds when n=k. Then, when n=k+1, suppose A is a τ-k+2-presented module. Let 0NFA0 be an exact sequence of right R-modules, where F is finitely generated free and N is τ-k+1-presented. Then, we have a commutative diagram:(5)

with exact rows. Since ϕ1 is an isomorphism and hence epic and ϕ2 is an isomorphism by hypothesis, we have that ϕ3 is also an isomorphism by the Five Lemma.

21 Use induction on n. If n=0, then the result holds by Proposition 2.5 (3) in . Assume that the result holds when n=k. Then, when n=k+1, suppose A is a k+1-presented right R-module. Let 0NFA0 be an exact sequence of right R-modules, where F is finitely generated free and N is k-presented. Then, for any direct system XiiI of τ-torsion-free modules. If k>0, then we have a commutative diagram:(6)

with exact rows. Since ϕ3 is an isomorphism by condition, we have that ϕ2 is also an isomorphism. So, by hypothesis, N is τ-k+1-presented, and hence A is τ-k+2-presented. If k=0, then we have a commutative diagram:(7)

with exact rows. From 25.4 (d) in , ϕ0 is an isomorphism and hence epic, and ϕ3 is an isomorphism by condition. Note that ϕ1 is an isomorphism, so, by the Five Lemma, we have that ϕ2 is also an isomorphism. So, N is τ-FP by Proposition 2.5 in , and it shows that A is τ-2-FP.

13 In case, n=0, then the result holds by Lemma 3.1 in . In case, n=1, then there is an exact sequence of right R-modules 0KFA0, where F is finitely generated free and K is τ-FP. And then we have a commutative diagram:(8)

with exact rows. By Lemma 3.1 , g and h are isomorphisms. So, by the Five Lemma, f is also an isomorphism. In case, n>1, then we have an exact sequence of right R-modules 0Kn2Fn2F1F0M0, where each Fi is finitely generated free and Kn2 is τ-2-FP, and hence we have TornRA,X+Tor1RKn2,X+ExtR1Kn2,X+ExtRnA,X+, as required.

34 It is obvious.

41 Since A is n-FP, there exists an exact sequence of right R-modules 0Kn2Fn2F1F0M0, where each Fi is finitely generated free and Kn2 is finitely presented. Thus, Tor1RKn2,E+TornRA,E+=0 for any τ-torsion-free injective module E by (4). It follows from Proposition 2 in  that Kn2 is τ-2-FP, and therefore A is τ-n+1-presented.

Let M be a right R-module and n be a positive integer. If τ=0,modR, then it is easy to see that M is τ,n+1-presented if and only if it is n+1-presented. If τ=modR,0, then it is easy to see that M is τ,n+1-presented if and only if it is n-presented.

Corollary 1.

Let n be a nonnegative integer and A an n-presented right R-module. Then, the following statements are equivalent:

A is n+1-presented

The canonical map limExtRnA,XiExtRnA,limXi is an isomorphism for each direct system XiiI of right R-modules

TornRA,X+ExtRnA,X+ for each right R-module X

TornRA,E+=0 for each injective right R-module E

Definition 1.

Let τ be a torsion theory of mod-R. Then, the ring R is called right τ-n-coherent, if every n-presented right R-module is τ,n+1-presented.

Let τ=T, be a torsion theory of mod-R. Then, it is easy to see that R is right τ-n-coherent if and only if every n-presented right R-module is T,n+1-presented.

Example 1.

Let τ=0,modR. Then, R is right τ-n-coherent if and only if R is right n-coherent.

R is right τ-coherent if and only if R is right τ-1-coherent.

Let τ=modR,0. Then, R is right τ-n-coherent.

Proof.

(1) and (3) are obvious. (2) follows from Theorem 3.3 (2) in .

Definition 2.

Let τ be a torsion theory of mod-R and n a positive integer. Then, a right R-module M is said to be τ-n-FP-injective, if ExtRnA,M=0 for each τ-n+1-presented module M; a right R-module M is said to be τ-FP-injective if it is τ-1-FP-injective.

Clearly, each n-FP-injective module is τ-n-FP-injective. If τ=modR,0, then it is easy to see that a right R-module M is τ-n-FP-injective if and only if it is n-FP-injective. Now, we give our characterization of right τ-n-coherent rings.

Theorem 2.

Let τ be a hereditary torsion theory of mod-R and n a positive integer. Then, the following statements are equivalent for the ring R:

R is right τ-n-coherent

limExtRnA,XiExtRnA,limXi for any n-presented right R-module A and direct system XiiI of τ-torsion-free modules

TornRA,X+ExtRnA,X+ for any n-presented right R-module A and each τ-torsion-free module X

TornRA,E+=0 for any n-presented right R-module A and each τ-torsion-free injective module E

If X is a τ-n-FP-injective module, then X is n-FP-injective

Any direct limit of τ-torsion-free n-FP-injective modules is n-FP-injective

Any direct limit of τ-torsion-free FP-injective modules is n-FP-injective

Any direct limit of τ-torsion-free injective modules is n-FP-injective

A τ-torsion-free module X is n-FP-injective if and only if X+ is n-flat

If Y is a pure submodule of a τ-torsion-free n-FP-injective module X, then X/Y is n-FP-injective.

Proof.

1234 follows from Theorem 1.

15, 678, and 39 are obvious.

56 Let X=limXi, where each XiiI is a τ-torsion-free n-FP-injective module. Then, for any τ-n+1-FP module A, by Theorem 1, we have that ExtRnA,X=ExtRnA,limXilimExtRnA,Xi=0, so X is τ-n-FP-injective and thus it is n-FP-injective by (5).

81. Let A be an n-presented right R-module with a finite n-presentation FndnFn1dn1F2d2F1d1F0d0A0. Write Kn1=Kerdn1 and Kn2=Kerdn2. Then, Kn1 is finitely generated, and we get an exact sequence of right R-modules 0Kn1Fn1Kn20. Let EiiI be any direct system of τ-torsion-free injective right R-modules (with I directed). Then, limEi is n-FP-injective by (8), so ExtRnA,limEi=0 and hence ExtR1Kn2,limEi=0. Thus, we have a commutative diagram:(9)

with exact rows. Since f and g are isomorphisms by 25.4(d) in , h is an isomorphism by the Five Lemma. Now, let XiiI be any direct system of τ-torsion-free modules (with I directed). Then, we have a commutative diagram with exact rows:(10)

where EXi is the injective hull of Xi. Since Kn1 is finitely generated, by 24.9 in , the maps ϕ1, ϕ2, and ϕ3 are monic. Since τ is a hereditary torsion theory and Xi is τ-torsion-free, by Proposition 3.2, Chap VI in , EXi is τ-torsion-free. And so, by the above proof, ϕ2 is an isomorphism. Hence, ϕ1 is also an isomorphism by the Five Lemma again, and then Kn1 is τ-finitely presented by Proposition 2.5 (3) , and thus A is τ-n+1-presented. Therefore, R is right τ-n-coherent.

910 Since Y is a pure submodule, the pure exact sequence 0YXX/Y0 induces a split exact sequence 0X/Y+X+Y+0. Since X is τ-torsion-free and n-FP-injective, by (9), X+ is n-flat, so X/Y+ is also n-flat, and thus X/Y is n-FP-injective by Corollary 2.8 in .

106 Let XiiI be a direct system of τ-torsion-free n-FP-injective modules. Then by Proposition 1 in , we have a map-pure, and hence pure exact sequence 0KiIXilimXi0. Observing that iIXi is τ-torsion-free and n-FP-injective, by (10), we have that limXi is n-FP-injective.

We call a right R-module Xweakly n-FP-injective if ExtRnA,X=0 for any n+1-presented right R-module A. Let τ=0,modR. Then, we have the following results.

Corollary 2.

Let n be a positive integer. Then, the following statements are equivalent for a ring R:

R is right n-coherent

limExtRnA,XiExtRnA,limXi for any n-presented right R-module A and direct system XiiI of right R-modules

TornRA,X+ExtRnA,X+ for any n-presented right R-module A and each right R-module X

TornRA,E+=0 for any n-presented right R-module A and each injective right R-module E

If X is a weakly n-FP-injective module, then X is n-FP-injective

Any direct limit of n-FP-injective modules is n-FP-injective

Any direct limit of FP-injective modules is n-FP-injective

Any direct limit of injective modules is n-FP-injective

A right R-module X is n-FP-injective if and only if X+ is n-flat

If Y is a pure submodule of an n-FP-injective right R-module X, then X/Y is n-FP-injective

We note that the equivalences of (1), (2), (6), and (9) in Corollary 2 appeared in Theorem 3.1 in .

Corollary 3.

Let τ be a hereditary torsion theory of mod-R and n a positive integer. If R is right τ-n-coherent, then a τ-torsion-free module X is n-FP-injective if and only if X++ is n-FP-injective.

Proof.

Let X be a τ-torsion-free n-FP-injective module. Since R is right τ-n-coherent, by Theorem 2 (9), X+ is n-flat, and so X++ is n-FP-injective by Proposition 2.3 in .

Since X++ is n-FP-injective and X is a pure submodule of X++, so, by Proposition 2.6 in , X is n-FP-injective.

Let n=1; then, by Theorem 2, we can obtained several results on right τ-coherent rings.

Corollary 4.

Let τ be a hereditary torsion theory of mod-R. Then, the following statements are equivalent for the ring R:

R is right τ-coherent

limExtR1A,XiExtR1A,limXi for any finitely presented right R-module A and direct system XiiI of τ-torsion-free modules

Tor1RA,X+ExtRnA,X+ for any finitely presented right R-module A and each τ-torsion-free module X

Tor1RA,E+=0 for any finitely presented right R-module A and each τ-torsion-free injective module E

If X is a τ-1-FP-injective module, then X is FP-injective

Any direct limit of τ-torsion-free FP-injective modules is FP-injective

Any direct limit of τ-torsion-free injective modules is FP-injective.

A τ-torsion-free module X is FP-injective if and only if X+ is flat

If Y is a pure submodule of a τ-torsion-free FP-injective module X, then X/Y is FP-injective

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This research was supported by the Natural Science Foundation of Zhejiang Province, China (LY18A010018).

StenströmB.Rings of Quotients1975Berlin, GermanySpringer-VerlagStenströmB.Coherent rings and fp -injective modulesJournal of the London Mathematical Society1970s2-2232332910.1112/jlms/s2-2.2.323MegibbenC.Absolutely pure modulesProceedings of the American Mathematical Society197026456110.1090/s0002-9939-1970-0294409-82-s2.0-84968512808ChaseS. U.Direct products of modulesTransactions of the American Mathematical Society196097345710.1090/s0002-9947-1960-0120260-32-s2.0-84968484219CostaD. L.Parameterizing families of non-noetherian ringsCommunications in Algebra199422103997401110.1080/009278794088250612-s2.0-84908021495ChenJ.DingN.On n-coherent ringsCommunications in Algebra199624103211321610.1080/009278796088257422-s2.0-21344452288JonesM. F.Coherence relative to an hereditary torsion theoryCommunications in Algebra198210771973910.1080/009278782088227452-s2.0-0001387023ConzálezN. R.On relative coherence and applicationsCommunications in Algebra19932151529154210.1080/009278793088246352-s2.0-21144476460ZhuZ. M.Coherence relative to a weak torsion classCzechoslovak Mathematical Journal20186814345547410.21136/cmj.2018.0494-162-s2.0-85042549438ShannonR. T.The rank of a flat moduleProceedings of the American Mathematical Society197024345210.1090/s0002-9939-1970-0252439-62-s2.0-84968515373WisbauerR.Foundations of Module and Ring Theory1991Reading, UKGordon & Breach