Projective Ideals of Finite Type

1969 ◽  
Vol 21 ◽  
pp. 1057-1061 ◽  
Author(s):  
William W. Smith
Keyword(s):  
Prime Ideal ◽  
Commutative Ring ◽  
Finite Type ◽  
Local Ring ◽  
Maximal Ideal ◽  
Quotient Ring ◽  
Finitely Generated ◽  
Unique Maximal Ideal

The main results in this paper relate the concepts of flatness and projectiveness for finitely generated ideals in a commutative ring with unity. In this discussion the idea of a multiplicative ideal is used.Definition.An ideal Jis multiplicative if and only if whenever I is an ideal with I ⊂ J there exists an ideal Csuch that I = JC.Throughout this paper Rwill denote a commutative ring with unity. If I and Jare ideals of R,then I: J = {x| xJ ⊂ I}. By “prime ideal” we will mean “proper prime ideal” and Specie will denote this set of ideals. Ris called a local ring if it has a unique maximal ideal (the ring need not be Noetherian). If P is in Spec R then RPis the quotient ring formed using the complement of P.

Rings with A Finitely Generated Total Quotient Ring

1974 ◽  
Vol 17 (1) ◽  
pp. 1-4 ◽  
Author(s):  
John Conway Adams
Keyword(s):  
Prime Ideal ◽  
Commutative Ring ◽  
Quotient Ring ◽  
Finitely Generated ◽  
Zero Divisors ◽  
Rank One ◽  
Definition Of

Let R be a commutative ring with non-zero identity and let K be the total quotient ring of R. We call R a G-ring if K is finitely generated as a ring over R. This generalizes Kaplansky′s definition of G-domain [5].Let Z(R) be the set of zero divisors in R. Following [7] elements of R—Z(R) and ideals of R containing at least one such element are called regular. Artin-Tate's characterization of Noetherian G-domains [1, Theorem 4] carries over with a slight adjustment to characterize a Noetherian G-ring as being semi-local in which every regular prime ideal has rank one.

On powers of ideals generated by R-sequences in a Noetherian local ring

1973 ◽  
Vol 74 (3) ◽  
pp. 441-444 ◽  
Author(s):  
A. Caruth
Keyword(s):  
Commutative Ring ◽  
Local Ring ◽  
Maximal Ideal ◽  
Primary Decomposition ◽  
Finite Intersection ◽  
Noetherian Local Ring ◽  
Powers Of Ideals ◽  
Primary Ideals ◽  
Unique Maximal Ideal

In a Noetherian commutative ring with identity, every ideal can be expressed (not necessarily uniquely) as a finite intersection of primary ideals (called a primary decomposition). This note is concerned with powers of ideals generated by subsets of an R-sequence in a local ring R (i.e. a Noetherian commutative ring R with identity possessing a unique maximal ideal m) and with a decomposition of such ideals.

scholarly journals Directed unions of local monoidal transforms and GCD domains

2019 ◽  
Vol 19 (04) ◽  
pp. 2050061
Author(s):  
Lorenzo Guerrieri
Keyword(s):  
Prime Ideal ◽  
Local Ring ◽  
Maximal Ideal ◽  
General Setting ◽  
Regular Local Ring ◽  
Dimension Formula

Let [Formula: see text] be a regular local ring of dimension [Formula: see text]. A local monoidal transform of [Formula: see text] is a ring of the form [Formula: see text], where [Formula: see text] is a regular parameter, [Formula: see text] is a regular prime ideal of [Formula: see text] and [Formula: see text] is a maximal ideal of [Formula: see text] lying over [Formula: see text] In this paper, we study some features of the rings [Formula: see text] obtained as infinite directed union of iterated local monoidal transforms of [Formula: see text]. In order to study when these rings are GCD domains, we also provide results in the more general setting of directed unions of GCD domains.

On the Multiplicity and the Cohen–Macaulayness of Fiber Cones of Graded Modules

2021 ◽  
Vol 28 (01) ◽  
pp. 13-32
Author(s):  
Nguyen Tien Manh
Keyword(s):  
Local Ring ◽  
Maximal Ideal ◽  
Primary Ideal ◽  
Graded Algebra ◽  
Finitely Generated ◽  
Ideal Formula ◽  
Noetherian Local Ring ◽  
Graded Modules ◽  
Fiber Cone

Let [Formula: see text] be a Noetherian local ring with maximal ideal [Formula: see text], [Formula: see text] an ideal of [Formula: see text], [Formula: see text] an [Formula: see text]-primary ideal of [Formula: see text], [Formula: see text] a finitely generated [Formula: see text]-module, [Formula: see text] a finitely generated standard graded algebra over [Formula: see text] and [Formula: see text] a finitely generated graded [Formula: see text]-module. We characterize the multiplicity and the Cohen–Macaulayness of the fiber cone [Formula: see text]. As an application, we obtain some results on the multiplicity and the Cohen–Macaulayness of the fiber cone[Formula: see text].

scholarly journals Toward a theory of generalized Cohen-Macaulay modules

1986 ◽  
Vol 102 ◽  
pp. 1-49 ◽  
Author(s):  
Ngô Viêt Trung
Keyword(s):  
Local Ring ◽  
Maximal Ideal ◽  
Finitely Generated ◽  
Noetherian Local Ring

Throughout this paper, A denotes a noetherian local ring with maximal ideal m and M a finitely generated A-module with d: = dim M≥1.

scholarly journals Linearity defect of the residue field of short local rings

2016 ◽  
Vol 16 (09) ◽  
pp. 1750163
Author(s):  
Rasoul Ahangari Maleki
Keyword(s):  
Local Ring ◽  
Maximal Ideal ◽  
Residue Field ◽  
Positive Answer ◽  
Local Rings ◽  
Finitely Generated ◽  
Ideal Formula ◽  
Noetherian Local Ring ◽  
Linear Resolution

Let [Formula: see text] be a Noetherian local ring with maximal ideal [Formula: see text] and residue field [Formula: see text]. The linearity defect of a finitely generated [Formula: see text]-module [Formula: see text], which is denoted [Formula: see text], is a numerical measure of how far [Formula: see text] is from having linear resolution. We study the linearity defect of the residue field. We give a positive answer to the question raised by Herzog and Iyengar of whether [Formula: see text] implies [Formula: see text], in the case when [Formula: see text].

scholarly journals On the length of the powers of systems of parameters in local ring

1990 ◽  
Vol 120 ◽  
pp. 77-88 ◽  
Author(s):  
Nguyen Tu Cuong
Keyword(s):  
Local Ring ◽  
Maximal Ideal ◽  
Noetherian Ring ◽  
Finitely Generated ◽  
Systems Of Parameters ◽  
System Of Parameters ◽  
The Ideal

Throughout this note, A denotes a commutative local Noetherian ring with maximal ideal m and M a finitely generated A-module with dim (M) = d. Let x1, …, xd be a system of parameters (s.o.p. for short) for M and I the ideal of A generated by x1, …, xd.

Minimal prime ideals and arithmetic comprehension

1991 ◽  
Vol 56 (1) ◽  
pp. 67-70 ◽  
Author(s):  
Kostas Hatzikiriakou
Keyword(s):  
Prime Ideal ◽  
Commutative Ring ◽  
Maximal Ideal ◽  
Commutative Rings ◽  
Minimal Prime Ideal ◽  
Prime Ideals ◽  
Order Arithmetic ◽  
Minimal Prime ◽  
Weak König’S Lemma ◽  
König’S Lemma

We assume that the reader is familiar with the program of “reverse mathematics” and the development of countable algebra in subsystems of second order arithmetic. The subsystems we are using in this paper are RCA0, WKL0 and ACA0. (The reader who wants to learn about them should study [1].) In [1] it was shown that the statement “Every countable commutative ring has a prime ideal” is equivalent to Weak Konig's Lemma over RCA0, while the statement “Every countable commutative ring has a maximal ideal” is equivalent to Arithmetic Comprehension over RCA0. Our main result in this paper is that the statement “Every countable commutative ring has a minimal prime ideal” is equivalent to Arithmetic Comprehension over RCA0. Minimal prime ideals play an important role in the study of countable commutative rings; see [2, pp. 1–7].

Artinian modules over commutative rings

1992 ◽  
Vol 111 (1) ◽  
pp. 25-33 ◽  
Author(s):  
R. Y. Sharp
Keyword(s):  
Commutative Ring ◽  
Local Ring ◽  
Commutative Rings ◽  
Finitely Generated ◽  
Finitely Generated Module ◽  
Artinian Modules ◽  
Noetherian Local Ring ◽  
Matlis Duality ◽  
Artinian Module

In 5, I provided a method whereby the study of an Artinian module A over a commutative ring R (throughout the paper, R will denote a commutative ring with identity) can, for some purposes at least, be reduced to the study of an Artinian module A' over a complete (Noetherian) local ring; in the latter situation, Matlis' duality 1 (alternatively, see 6, ch. 5) is available, and this means that the investigation can often be converted into a dual one about a finitely generated module over a complete (Noetherian) local ring.

Sign in / Sign up

Export Citation Format

Share Document