Commutative rings and modules that are Nil*-coherent or special Nil*-coherent

2017 ◽  
Vol 16 (10) ◽  
pp. 1750187 ◽  
Author(s):  
Karima Alaoui Ismaili ◽  
David E. Dobbs ◽  
Najib Mahdou

Recently, Xiang and Ouyang defined a (commutative unital) ring [Formula: see text] to be Nil[Formula: see text]-coherent if each finitely generated ideal of [Formula: see text] that is contained in Nil[Formula: see text] is a finitely presented [Formula: see text]-module. We define and study Nil[Formula: see text]-coherent modules and special Nil[Formula: see text]-coherent modules over any ring. These properties are characterized and their basic properties are established. Any coherent ring is a special Nil[Formula: see text]-coherent ring and any special Nil[Formula: see text]-coherent ring is a Nil[Formula: see text]-coherent ring, but neither of these statements has a valid converse. Any reduced ring is a special Nil[Formula: see text]-coherent ring (regardless of whether it is coherent). Several examples of Nil[Formula: see text]-coherent rings that are not special Nil[Formula: see text]-coherent rings are obtained as byproducts of our study of the transfer of the Nil[Formula: see text]-coherent and the special Nil[Formula: see text]-coherent properties to trivial ring extensions and amalgamated algebras.

1967 ◽  
Vol 8 (2) ◽  
pp. 123-126 ◽  
Author(s):  
Morton E. Harris

According to Bourbaki [1, pp. 62–63, Exercise 11], a left (resp. right) A-module M is said to be pseudo-coherent if every finitely generated submodule of M is finitely presented, and is said to be coherent if it is both pseudo-coherent and finitely generated. This Bourbaki reference contains various results on pseudo-coherent and coherent modules. Then, in [1, p. 63, Exercise 12], a ring which as a left (resp. right) module over itself is coherent is said to be a left (resp. right) coherent ring, and various results on and examples of coherent rings are presented. The result stated in [1, p. 63, Exercise 12a] is a basic theorem of [2] and first appeared there. A variety of results on and examples of coherent rings and modules are presented in [3].


2009 ◽  
Vol 08 (02) ◽  
pp. 139-155 ◽  
Author(s):  
NANQING DING ◽  
YUANLIN LI ◽  
LIXIN MAO

Let R be a ring. Recall that a left R-module M is coherent if every finitely generated submodule of M is finitely presented. R is a left coherent ring if the left R-module RR is coherent. In this paper, we say that R is left J-coherent if its Jacobson radical J(R) is a coherent left R-module. J-injective and J-flat modules are introduced to investigate J-coherent rings. Necessary and sufficient conditions for R to be left J-coherent are given. It is shown that there are many similarities between coherent and J-coherent rings. J-injective and J-flat dimensions are also studied.


2012 ◽  
Vol 11 (03) ◽  
pp. 1250047
Author(s):  
LIXIN MAO ◽  
NANQING DING

Let R be a ring and τ a hereditary torsion theory for the category of all left R-modules. A right R-module M is called τ-flat if Tor 1(M, R/I) = 0 for any τ-finitely presented left ideal I. A left R-module N is said to be τ-f-injective in case Ext 1(R/I, N) = 0 for any τ-finitely presented left ideal I. R is called a left τ-coherent ring in case every τ-finitely presented left ideal is finitely presented. τ-coherent rings are characterized in terms of, among others, τ-flat and τ-f-injective modules. Some known results are extended.


1973 ◽  
Vol 8 (2) ◽  
pp. 233-239 ◽  
Author(s):  
J.M. Campbell

Chase has given several characterizations of a right coherent ring, among which are: every direct product of copies of the ring is left-flat; and every finitely generated submodule of a free right module is finitely related. We extend his results to obtain conditions for the ring of quotients of a ring with respect to a torsion theory to be coherent.


2013 ◽  
Vol 50 (4) ◽  
pp. 491-508 ◽  
Author(s):  
Zhanmin Zhu

Let C be a class of some finitely presented left R-modules. A left R-module M is called C-injective, if ExtR1(C, M) = 0 for each C ∈ C. A right R-module M is called C-flat, if Tor1R(M, C) = 0 for each C ∈ C. A ring R is called C-coherent, if every C ∈ C is 2-presented. A ring R is called C-semihereditary, if whenever 0 → K → P → C → 0 is exact, where C ∈ C and P is finitely generated projective and K is finitely generated, then K is also projective. A ring R is called C-regular, if whenever P/K ∈ C, where P is finitely generated projective and K is finitely generated, then K is a direct summand of P. Using the concepts of C-injectivity and C-flatness of modules, we present some characterizations of C-coherent rings, C-semihereditary rings, and C-regular rings.


2019 ◽  
Vol 18 (02) ◽  
pp. 1950035 ◽  
Author(s):  
M. Behboodi ◽  
Z. Fazelpour

We define prime uniserial modules as a generalization of uniserial modules. We say that an [Formula: see text]-module [Formula: see text] is prime uniserial ([Formula: see text]-uniserial) if its prime submodules are linearly ordered by inclusion, and we say that [Formula: see text] is prime serial ([Formula: see text]-serial) if it is a direct sum of [Formula: see text]-uniserial modules. The goal of this paper is to study [Formula: see text]-serial modules over commutative rings. First, we study the structure [Formula: see text]-serial modules over almost perfect domains and then we determine the structure of [Formula: see text]-serial modules over Dedekind domains. Moreover, we discuss the following natural questions: “Which rings have the property that every module is [Formula: see text]-serial?” and “Which rings have the property that every finitely generated module is [Formula: see text]-serial?”.


2012 ◽  
Vol 14 (03) ◽  
pp. 1250017 ◽  
Author(s):  
LEONARDO CABRER ◽  
DANIELE MUNDICI

An ℓ-groupG is an abelian group equipped with a translation invariant lattice-order. Baker and Beynon proved that G is finitely generated projective if and only if it is finitely presented. A unital ℓ-group is an ℓ-group G with a distinguished order unit, i.e. an element 0 ≤ u ∈ G whose positive integer multiples eventually dominate every element of G. Unital ℓ-homomorphisms between unital ℓ-groups are group homomorphisms that also preserve the order unit and the lattice structure. A unital ℓ-group (G, u) is projective if whenever ψ : (A, a) → (B, b) is a surjective unital ℓ-homomorphism and ϕ : (G, u) → (B, b) is a unital ℓ-homomorphism, there is a unital ℓ-homomorphism θ : (G, u) → (A, a) such that ϕ = ψ ◦ θ. While every finitely generated projective unital ℓ-group is finitely presented, the converse does not hold in general. Classical algebraic topology (à la Whitehead) is combined in this paper with the Włodarczyk–Morelli solution of the weak Oda conjecture for toric varieties, to describe finitely generated projective unital ℓ-groups.


Author(s):  
HERVÉ PERDRY ◽  
PETER SCHUSTER

We give a constructive proof showing that every finitely generated polynomial ideal has a Gröbner basis, provided the ring of coefficients is Noetherian in the sense of Richman and Seidenberg. That is, we give a constructive termination proof for a variant of the well-known algorithm for computing the Gröbner basis. In combination with a purely order-theoretic result we have proved in a separate paper, this yields a unified constructive proof of the Hilbert basis theorem for all Noether classes: if a ring belongs to a Noether class, then so does the polynomial ring. Our proof can be seen as a constructive reworking of one of the classical proofs, in the spirit of the partial realisation of Hilbert's programme in algebra put forward by Coquand and Lombardi. The rings under consideration need not be commutative, but are assumed to be coherent and strongly discrete: that is, they admit a membership test for every finitely generated ideal. As a complement to the proof, we provide a prime decomposition for commutative rings possessing the finite-depth property.


2018 ◽  
Vol 28 (06) ◽  
pp. 959-977 ◽  
Author(s):  
Tiwei Zhao ◽  
Zenghui Gao ◽  
Zhaoyong Huang

Let [Formula: see text] be an integer. We introduce the notions of [Formula: see text]-FP-gr-injective and [Formula: see text]-gr-flat modules. Then we investigate the properties of these modules by using the properties of special finitely presented graded modules and obtain some equivalent characterizations of [Formula: see text]-gr-coherent rings in terms of [Formula: see text]-FP-gr-injective and [Formula: see text]-gr-flat modules. Moreover, we prove that the pairs (gr-[Formula: see text], gr-[Formula: see text]) and (gr-[Formula: see text], gr-[Formula: see text]) are duality pairs over left [Formula: see text]-coherent rings, where gr-[Formula: see text] and gr-[Formula: see text] denote the subcategories of [Formula: see text]-FP-gr-injective left [Formula: see text]-modules and [Formula: see text]-gr-flat right [Formula: see text]-modules respectively. As applications, we obtain that any graded left (respectively, right) [Formula: see text]-module admits an [Formula: see text]-FP-gr-injective (respectively, [Formula: see text]-gr-flat) cover and preenvelope.


Sign in / Sign up

Export Citation Format

Share Document