scholarly journals On the Chain Problem of Prime Ideals

1956 ◽  
Vol 10 ◽  
pp. 51-64 ◽  
Author(s):  
Masayoshi Nagata

There is a problem called the chain problem of prime ideals, which asks, when 0 is a Noetherian local integral domain, whether the length of an arbitrary maximal chain of prime ideals in 0 is equal to rank 0 or not.

1978 ◽  
Vol 30 (01) ◽  
pp. 95-101 ◽  
Author(s):  
L. J. Ratliff

All rings in this paper are assumed to be commutative with identity, and the undefined terminology is the same as that in [3]. In 1956, in an important paper [2], M. Nagata constructed an example which showed (among other things): (i) a maximal chain of prime ideals in an integral extension domain R' of a local domain (R, M) need not contract in R to a maximal chain of prime ideals; and, (ii) a prime ideal P in R' may be such that height P < height P ∩ R. In his example, Rf was the integral closure of R and had two maximal ideals. In this paper, by using Nagata's example, we show that there exists a finite local integral extension domain of D = R[X](M,X) for which (i) and (ii) hold (see (2.8.1) and (2.10)).


1978 ◽  
Vol 30 (6) ◽  
pp. 1313-1318 ◽  
Author(s):  
N. H. Vaughan ◽  
R. W. Yeagy

Let D be an integral domain with 1 ≠ 0 . We consider “property SP” in D, which is that every ideal is a product of semiprime ideals. (A semiprime ideal is equal to its radical.) It is natural to consider property SP after studying Dedekind domains, which involve factoring ideals into prime ideals. We prove that a domain D with property SP is almost Dedekind, and we give an example of a nonnoetherian almost Dedekind domain with property SP.


1973 ◽  
Vol 38 (2) ◽  
pp. 272-290 ◽  
Author(s):  
Glen H. Suter

With reservations, one can think of abstract algebra as the study of what consequences can be drawn from the axioms associated with certain concrete algebraic structures. Two important examples of such concrete algebraic structures are the integers and the rational numbers. The integers and the rational numbers have two properties which are not in general mirrored in the abstract axiom systems associated with them. That is, the integers and the rational numbers both have effectively computable metrics and their algebraic operations are effectively computable. The study of abstract algebraic systems which possess effectively computable algebraic operations has produced many interesting results. One can think of a computable algebraic structure as one whose elements have been labeled by the set of positive integers and whose operations are effectively computable. The formal definition of computable local integral domain will be given in §3. Some specific computable structures which have been studied are the integers, the rational numbers, and the rational numbers with p-adic valuation. Computable structures were studied in general by Rabin [12]. This paper concerns computable local integral domains as exemplified by the local integral domain Zp. Zp is the localization of the integers with respect to the maximal prime ideal generated by the positive prime p. We should note that the concept of local integral domain is not first order.Let the ordered pair (Q, M) stand for a local ring, where Q is the local ring and M is the unique maximal prime ideal of Q. Since most of my results are proving the existence of certain effective procedures, the assumption that Q has a principal maximal ideal M (rather than M has n generators) greatly simplifies many of the proofs.


1961 ◽  
Vol 13 ◽  
pp. 569-586 ◽  
Author(s):  
Eben Matlis

Throughout this discussion R will be an integral domain with quotient field Q and K = Q/R ≠ 0. If A is an R-module, then A is said to be torsion-free (resp. divisible), if for every r ≠ 0 ∈ R the endomorphism of A defined by x → rx, x ∈ A, is a monomorphism (resp. epimorphism). If A is torsion-free, the rank of A is defined to be the dimension over Q of the vector space A ⊗R Q; (we note that a torsion-free R-module of rank one is the same thing as a non-zero R-submodule of Q). A will be said to be indecomposable, if A has no proper, non-zero, direct summands. We shall say that A has D.C.C., if A satisfies the descending chain condition for submodules. By dim R we shall mean the maximal length of a chain of prime ideals in R.


2007 ◽  
Vol 75 (3) ◽  
pp. 417-429 ◽  
Author(s):  
Ayman Badawi

Suppose that R is a commutative ring with 1 ≠ 0. In this paper, we introduce the concept of 2-absorbing ideal which is a generalisation of prime ideal. A nonzero proper ideal I of R is called a 2-absorbing ideal of R if whenever a, b, c ∈ R and abc ∈ I, then ab ∈ I or ac ∈ I or bc ∈ I. It is shown that a nonzero proper ideal I of R is a 2-absorbing ideal if and only if whenever I1I2I3 ⊆ I for some ideals I1,I2,I3 of R, then I1I2 ⊆ I or I2I3 ⊆ I or I1I3 ⊆ I. It is shown that if I is a 2-absorbing ideal of R, then either Rad(I) is a prime ideal of R or Rad(I) = P1 ⋂ P2 where P1,P2 are the only distinct prime ideals of R that are minimal over I. Rings with the property that every nonzero proper ideal is a 2-absorbing ideal are characterised. All 2-absorbing ideals of valuation domains and Prüfer domains are completely described. It is shown that a Noetherian domain R is a Dedekind domain if and only if a 2-absorbing ideal of R is either a maximal ideal of R or M2 for some maximal ideal M of R or M1M2 where M1,M2 are some maximal ideals of R. If RM is Noetherian for each maximal ideal M of R, then it is shown that an integral domain R is an almost Dedekind domain if and only if a 2-absorbing ideal of R is either a maximal ideal of R or M2 for some maximal ideal M of R or M1M2 where M1,M2 are some maximal ideals of R.


1978 ◽  
Vol 21 (3) ◽  
pp. 373-375 ◽  
Author(s):  
Ira J. Papick

Throughout this note, let R be a (commutative integral) domain with quotient field K. A domain S satisfying R ⊆ S ⊆ K is called an overring of R, and by dimension of a ring we mean Krull dimension. Recall [1] that a commutative ring is said to be coherent if each finitely generated ideal is finitely presented.In [2], as a corollary of a more general theorem, Davis showed that if each overring of a domain R is Noetherian, then the dimension of R is at most 1. (This corollary is the converse of a version of the Krull-Akizuki Theorem [5, Theorem 93], and can also be proved directly by using the existence of valuation rings dominating finite chains of prime ideals [4, Corollary 16.6].) It is our purpose to prove that if R is Noetherian and each overring of R is coherent, then the dimension of £ is at most 1. We shall also indicate some related questions and examples.


1980 ◽  
Vol 77 ◽  
pp. 99-106 ◽  
Author(s):  
Gerd Faltings

In my paper [F3] I more or less explicitly conjectured that if A is a complete local integral domain with maximal ideal and if I = (t1, …, tn) is an ideal in A with n ≤ dim (A) – 2, then Spec (A/I) – is G3 in Spec (A) – . This will be proved in this paper.


Author(s):  
Gerhard Turnwald

AbstractWe study polynomials over an integral domainRwhich, for infinitely many prime idealsP, induce a permutation ofR/P. In many cases, every polynomial with this property must be a composition of Dickson polynomials and of linear polynomials with coefficients in the quotient field ofR. In order to find out which of these compositions have the required property we investigate some number theoretic aspects of composition of polynomials. The paper includes a rather elementary proof of ‘Schur's Conjecture’ and contains a quantitative version for polynomials of prime degree.


1977 ◽  
Vol 29 (4) ◽  
pp. 722-737 ◽  
Author(s):  
Monte B. Boisen ◽  
Philip B. Sheldon

Throughout this paper the term ring will denote a commutative ring with unity and the term integral domain will denote a ring having no nonzero divisors of zero. The set of all prime ideals of a ring R can be viewed as a topological space, called the prime spectrum of R, and abbreviated Spec (R), where the topology used is the Zariski topology [1, Definition 4, § 4.3, p. 99]. The set of all prime ideals of R can also be viewed simply as aposet - that is, a partially ordered set - with respect to set inclusion. We will use the phrase the pospec of R, or just Pospec (/v), to refer to this partially ordered set.


2016 ◽  
Vol 15 (03) ◽  
pp. 1650051 ◽  
Author(s):  
Charef Beddani ◽  
Wahiba Messirdi

This paper introduces the notion of [Formula: see text]-prime ideals, and uses it to present certain characterization of valuation rings. Precisely, we will prove that an integral domain [Formula: see text] is a valuation ring if and only if every ideal of [Formula: see text] is [Formula: see text]-prime. On the other hand, we will prove that the normalization [Formula: see text] of [Formula: see text] is a valuation ring if and only if the intersection of integrally closed 2-prime ideals of [Formula: see text] is a 2-prime ideal. At the end of this paper, we will give a generalization of some results of Gilmer and Heinzer by studying the properties of domains in which every primary ideal is an integrally closed 2-prime ideal.


Sign in / Sign up

Export Citation Format

Share Document