Primary Ideals in Prüfer Domains

1966 ◽  
Vol 18 ◽  
pp. 1024-1030 ◽  
Author(s):  
Jack Ohm

A Prüfer domain is an integral domainDwith the property that for every proper prime idealPofDthe quotient ringDPis a valuation ring. Examples of such domains are valuation rings and Dedekind domains, a Dedekind domain being merely a noetherian Prüfer domain. The integral closure of the integers in an infinite algebraic extension of the rationals is another example of a Prüfer domain (5, p. 555, Theorem 8). This third example has been studied initially by Krull (4) and then by Nakano (8).

2017 ◽  
Vol 84 (1-2) ◽  
pp. 55
Author(s):  
Paula Kemp ◽  
Louis J. Ratliff, Jr. ◽  
Kishor Shah

<p>Let 1 &lt; s<sub>1</sub> &lt; . . . &lt; s<sub>k</sub> be integers, and assume that κ ≥ 2 (so s<sub>k</sub> ≤ 3). Then there exists a local UFD (Unique Factorization Domain) (R,M) such that:</p><p>(1) Height(M) = s<sub>k</sub>.</p><p>(2) R = R' = ∩{VI (V,N) € V<sub>j</sub>}, where V<sub>j</sub> (j = 1, . . . , κ) is the set of all of the Rees valuation rings (V,N) of the M-primary ideals such that trd((V I N) I (R I M)) = s<sub>j</sub> - 1.</p><p>(3) With V<sub>1</sub>, . . . , V<sub>κ</sub> as in (2), V<sub>1</sub> ∪ . . . V<sub>κ</sub>is a disjoint union of all of the Rees valuation rings of allof the M-primary ideals, and each M-primary ideal has at least one Rees valuation ring in each V<sub>j</sub> .</p>


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.


1972 ◽  
Vol 24 (5) ◽  
pp. 792-798 ◽  
Author(s):  
Robert Gilmer ◽  
Anne Grams

LetDbe an integral domain with identity, and letRbe a commutative ring. Ifnis a positive integer,Rwill be said tohave property (n), (n)′,or(n)″according asproperty(n):For anyx, y∊R,(x,y)n= (xn, yn).property(n)′: For anyx ∊ Rand any idealAofRsuch that xn∊ An, it follows thatx ∊ A.property(n)′: For any idealsA, BofR, (A∩ B)n= An∩ Bn.J. Ohm introduced property (n) in [7] in connection with the question: Ifn≦ 2 and ifDhas property (n), mustDbe a Prüfer domain? (The integral domainDwith identity is a Prüfer domain if each nonzero finitely generated ideal ofDis invertible; equivalently,DPis a valuation ring for each proper prime idealPofD.)Prior to Ohm's paper, it was known that ifDhas property (2) and ifDis integrally closed, thenDis Prüfer.


1960 ◽  
Vol 12 ◽  
pp. 107-125 ◽  
Author(s):  
D. G. Higman

We study representations of o-orders, that is, of o-regular -algebras, in the case that o is a Dedekind domain. Our main concern is with those -modules, called -representation modules, which are regular as o-modules. For any -module M we denote by D(M) the ideal consisting of the elements x ∈ o such that x.Ext1(M, N) = 0 for all -modules N, where Ext = Ext(,0) is the relative functor of Hochschild (5). To compute D(M) we need the small amount of homological algebra presented in § 1. In § 2 we show that the -representation modules with rational hulls isomorphic to direct sums of right ideal components of the rational hull A of , called principal-modules, are characterized by the property that D(M) ≠ 0. The (, o)-projective -modules are those with D(M) = 0. We observe that D(M) divides the ideal I() of (2) for every M , and give another proof of the fact that I() ≠ 0 if and only if A is separable. Up to this point, o can be taken to be an arbitrary integral domain.


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.


2019 ◽  
Vol 56 (2) ◽  
pp. 260-266
Author(s):  
Mohamed E. Charkani ◽  
Abdulaziz Deajim

Abstract Let R be a discrete valuation ring, its nonzero prime ideal, P ∈R[X] a monic irreducible polynomial, and K the quotient field of R. We give in this paper a lower bound for the -adic valuation of the index of P over R in terms of the degrees of the monic irreducible factors of the reduction of P modulo . By localization, the same result holds true over Dedekind rings. As an important immediate application, when the lower bound is greater than zero, we conclude that no root of P generates a power basis for the integral closure of R in the field extension of K defined by P.


2019 ◽  
Vol 236 ◽  
pp. 183-213
Author(s):  
SHANE KELLY

In order to work with non-Nagata rings which are Nagata “up-to-completely-decomposed-universal-homeomorphism,” specifically finite rank Hensel valuation rings, we introduce the notions of pseudo-integral closure, pseudo-normalization, and pseudo-Hensel valuation ring. We use this notion to give a shorter and more direct proof that $H_{\operatorname{cdh}}^{n}(X,F_{\operatorname{cdh}})=H_{l\operatorname{dh}}^{n}(X,F_{l\operatorname{dh}})$ for homotopy sheaves $F$ of modules over the $\mathbb{Z}_{(l)}$-linear motivic Eilenberg–Maclane spectrum. This comparison is an alternative to the first half of the author’s volume Astérisque 391 whose main theorem is a cdh-descent result for Voevodsky motives. The motivating new insight is really accepting that Voevodsky’s motivic cohomology (with $\mathbb{Z}[\frac{1}{p}]$-coefficients) is invariant not just for nilpotent thickenings, but for all universal homeomorphisms.


2012 ◽  
Vol 11 (06) ◽  
pp. 1250112 ◽  
Author(s):  
PAUL-JEAN CAHEN ◽  
DAVID E. DOBBS ◽  
THOMAS G. LUCAS

For a pair of rings S ⊆ T and a nonnegative integer n, an element t ∈ T\S is said to be within n steps of S if there is a saturated chain of rings S = S0 ⊊ S1 ⊊ ⋯ ⊊ Sm = S[t] with length m ≤ n. An integral domain R is said to be n-valuative (respectively, finitely valuative) if for each nonzero element u in its quotient field, at least one of u and u-1 is within n (respectively, finitely many) steps of R. The integral closure of a finitely valuative domain is a Prüfer domain. Moreover, an n-valuative domain has at most 2n + 1 maximal ideals; and an n-valuative domain with 2n + 1 maximal ideals must be a Prüfer domain.


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.


2016 ◽  
Vol 15 (06) ◽  
pp. 1650022 ◽  
Author(s):  
M. Ben Nasr

Let [Formula: see text] be an integral domain with only finitely many overrings, equivalently, a domain such that its integral closure [Formula: see text] is a Prüfer domain with finite spectrum and there are only finitely many rings between [Formula: see text] and [Formula: see text]. Jaballah solved the problem of counting the overrings in the case [Formula: see text] but left the general case as an open problem [A. Jaballah, The number of overrings of an integrally closed domain, Expo. Math. 23 (2005) 353–360, Problem 3.4]. The purpose of this paper is to provide a solution to that problem.


Sign in / Sign up

Export Citation Format

Share Document