Idempotents of the Class Semigroup of a Prüfer Domain of Finite Character

Author(s):  
Silvana Bazzoni
Keyword(s):  
2018 ◽  
Vol 51 (381) ◽  
pp. FP1-FP6
Author(s):  
R. Strano

Prüfer domains are characterized by various properties regarding ideals and operations between them. In this note we consider six of these properties. The natural generalization of the notion of Prüfer domain to the case of a commutative ring with unit, not necessarily a domain, is the notion of arithmetic ring. We ask if the previous properties characterize arithmetic ring in the case of a general commutative ring with unit. We prove that four of such properties characterize arithmetic rings while the remaining two are weaker and give rise to two different generalizations.


1977 ◽  
Vol 29 (5) ◽  
pp. 914-927 ◽  
Author(s):  
John Chuchel ◽  
Norman Eggert

It is well known that the complete quotient ring of a Noetherian ring coincides with its classical quotient ring, as shown in Akiba [1]. But in general, the structure of the complete quotient ring of a given ring is largely unknown. This paper investigates the structure of the complete quotient ring of certain Prüfer rings. Boisen and Larsen [2] considered conditions under which a Prüfer ring is a homomorphic image of a Prüfer domain and the properties inherited from the domain. We restrict our investigation primarily to homomorphic images of semilocal Prüfer domains. We characterize the complete quotient ring of a semilocal Prüfer domain in terms of complete quotient rings of local rings and a completion of a topological ring.


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.


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.


2017 ◽  
Vol 60 (2) ◽  
pp. 401-409 ◽  
Author(s):  
JIM COYKENDALL ◽  
RICHARD ERWIN HASENAUER

AbstractWe construct a norm on the nonzero elements of a Prüfer domain and extend this concept to the set of ideals of a Prüfer domain. These norms are used to study factorization properties Prüfer of domains.


2008 ◽  
Vol 07 (05) ◽  
pp. 575-591
Author(s):  
HAGEN KNAF

A local ring O is called regular if every finitely generated ideal I ◃ O possesses finite projective dimension. In the article localizations O = Aq, q ∈ Spec A, of a finitely presented, flat algebra A over a Prüfer domain R are investigated with respect to regularity: this property of O is shown to be equivalent to the finiteness of the weak homological dimension wdim O. A formula to compute wdim O is provided. Furthermore regular sequences within the maximal ideal M ◃ O are studied: it is shown that regularity of O implies the existence of a maximal regular sequence of length wdim O. If q ∩ R has finite height, then this sequence can be chosen such that the radical of the ideal generated by its members equals M. As a consequence it is proved that if O is regular, then the factor ring O/(q ∩ R)O, which is noetherian, is Cohen–Macaulay. If in addition (q ∩ R)Rq ∩ R is not finitely generated, then O/(q ∩ R)O itself is regular.


Author(s):  
Peyman Nasehpour

In this paper, as a generalization to content algebras, we introduce amount algebras. Similar to the Anderson–Badawi [Formula: see text] conjecture, we prove that under some conditions, the formula [Formula: see text] holds for some amount [Formula: see text]-algebras [Formula: see text] and some ideals [Formula: see text] of [Formula: see text], where [Formula: see text] is the smallest positive integer [Formula: see text] that the ideal [Formula: see text] of [Formula: see text] is [Formula: see text]-absorbing. A corollary to the mentioned formula is that if, for example, [Formula: see text] is a Prüfer domain or a torsion-free valuation ring and [Formula: see text] is a radical ideal of [Formula: see text], then [Formula: see text].


Sign in / Sign up

Export Citation Format

Share Document