Prime Ideals in GCD-Domains

1974 ◽  
Vol 26 (1) ◽  
pp. 98-107 ◽  
Author(s):  
Philip B. Sheldon

A GCD-domain is a commutative integral domain in which each pair of elements has a greatest common divisor (g.c.d.). (This is the terminology of Kaplansky [9]. Bourbaki uses the term ''anneau pseudobezoutien" [3, p. 86], while Cohn refers to such rings as "HCF-rings" [4].) The concept of a GCD-domain provides a useful generalization of that of a unique factorization domain (UFD), since several of the standard results for a UFD can be proved in this more general setting (for example, integral closure, some properties of D[X], etc.). Since the class of GCD-domains contains all of the Bezout domains, and in particular, the valuation rings, it is clear that some of the properties of a UFD do not hold in general in a GCD-domain. Among these are complete integral closure, ascending chain condition on principal ideals, and some of the important properties of minimal prime ideals.

2018 ◽  
Vol 85 (3-4) ◽  
pp. 356
Author(s):  
Paula Kemp ◽  
Louis J. Ratliff, Jr. ◽  
Kishor Shah

<p>It is shown that, for all local rings (R,M), there is a canonical bijection between the set <em>DO(R)</em> of depth one minimal prime ideals ω in the completion <em><sup>^</sup>R</em> of <em>R</em> and the set <em>HO(R/Z)</em> of height one maximal ideals <em>̅M'</em> in the integral closure <em>(R/Z)'</em> of <em>R/Z</em>, where <em>Z </em>:<em>= Rad(R)</em>. Moreover, for the finite sets <strong>D</strong> := {<em>V*/V* </em>:<em>= (<sup>^</sup>R/ω)'</em>, ω ∈ DO(R)} and H := {<em>V/V := (R/Z)'<sub><em>̅M'</em></sub>, <em>̅M'</em> ∈ HO(R/Z)</em>}:</p><p>(a) The elements in <strong>D</strong> and <strong>H</strong> are discrete Noetherian valuation rings.</p><p>(b) <strong>D</strong> = {<em><sup>^</sup>V</em> ∈ <strong>H</strong>}.</p>


2003 ◽  
Vol 31 (11) ◽  
pp. 5447-5465 ◽  
Author(s):  
Valentina Barucci ◽  
Stefania Gabelli ◽  
Moshe Roitman

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>


2017 ◽  
Vol 60 (1) ◽  
pp. 63-76
Author(s):  
Gyu Whan Chang

AbstractLet D be an integral domain, X1(D) be the set of height-one prime ideals of D, {Xβ} and {Xα} be two disjoint nonempty sets of indeterminates over D, D[{Xβ}] be the polynomial ring over D, and D[{Xβ}][[{Xα}]]1 be the first type power series ring over D[{Xβ}]. Assume that D is a Prüfer v-multiplication domain (PvMD) in which each proper integral t-ideal has only finitely many minimal prime ideals (e.g., t-SFT PvMDs, valuation domains, rings of Krull type). Among other things, we show that if X1(D) = Ø or DP is a DVR for all P ∊ X1(D), then D[{Xβ}][[{Xα}]]1D−{0} is a Krull domain. We also prove that if D is a t-SFT PvMD, then the complete integral closure of D is a Krull domain and ht(M[{Xβ}][[{Xα}]]1) = 1 for every height-one maximal t-ideal M of D.


1972 ◽  
Vol 13 (4) ◽  
pp. 433-446 ◽  
Author(s):  
T. W. Atterton

Let B be an associative ring with identity, A a subring of B containing the identity of B. If B is commutative then it is customary to define an element b of B to be integral over A if it satisties an equation of the form for some a1, a2, …, an A. This definition does not generalize readily to the case when B is non-commutative. Van der Waerden ([11], p. 75) defines b ∈ B to be integral over A if all powers of b belong to a finite A-module. This definition is quite satisfactory when A satisfies the ascending chain condition for left ideals, but in the general case this type of integrity is not necessarily transitive, even when B is commutative. Krull [6] calls an element b ∈ B which satisfies the above condition almost integral over A (but he only considers the commutative case). The subset Ā of B consisting of all almost integral elements over A is called the complete integral closure of A in B. If Ā = A, A is said to be completely integrally closed in B. More recently (in [3]), Gilmer and Heinzer (see also Bourbaki, [1]) have discussed these properties in the commutative case and have shown that the complete integral closure of A in B need not be completely integrally closed in B. If B is not commutative, the set A of elements of B almost integral over A, may not even form a ring. In [5] p. 122, Jacobson uses a definition equivalent to Van der Waerden's for the non-commutative case but the definition applies only for a very restricted class of rings.


1989 ◽  
Vol 113 ◽  
pp. 99-119 ◽  
Author(s):  
Valentina Barucci

Given a semilocal 1-dimensional Cohen-Macauly ring A, J. Lipman in [10] gives an algorithm to obtain the integral closure Ā of A, in terms of prime ideals of A. More precisely, he shows that there exists a sequence of rings A = A0 ⊂ A1 ⊂… ⊂ Ai ⊂…, where, for each i, i ≥ 0, Ai+1 is the ring obtained from Ai by “blowing-up” the Jacobson radical ℛ i of Ai+ i.e. Ai+l = ∪n(ℛin:ℛin). It turns out that ∪ {Ai;i≥0} = Ā (cf. [10, proof of Theorem 4.6]) and, if Ā is a finitely generated A-module, the sequence {Ai; i ≥ 0} is stationary for some m and Am = Ā, so that


1999 ◽  
Vol 51 (7) ◽  
pp. 1129-1134
Author(s):  
B. V. Zabavskii ◽  
A. I. Gatalevich
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document