Prüfer domains and endomorphism rings of their ideals (Q2367190)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Prüfer domains and endomorphism rings of their ideals
scientific article

    Statements

    Prüfer domains and endomorphism rings of their ideals (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    17 August 1993
    0 references
    Let \(R\) be a Prüfer domain with field of fractions \(K\), and let \(I\) be a nonzero ideal of \(R\). It is well known that the endomorphism ring \(\text{End}(I_ R)=(I:I)\) and its dual \(\Hom(I_ R,R_ R)=(R:I)\) of \(I\) can be realized within \(K\), and that any overring of \(R\) in \(K\) is the intersection of localizations of the form \(R_ P\), \(P\) a prime ideal. The purpose of this paper is to describe the endomorphism ring of \(I\) explicitly as such an intersection, and to determine conditions under which the dual \((R:I)\) is itself a ring, again in terms of intersections of localizations. A number of different results are obtained, depending on such matters as the nature of the set of zero-divisors in \(T/IT\) for overrings \(T\) of \(R\). In particular, if \(I\) has no embedded primes, \((I:I)=(\sqrt I:\sqrt I)=R_{\mathcal N}\cap\{IR_ M| M\) maximal not containing \(I\}\), \({\mathcal N}\) the set of nonzero-divisors mod \(I\). For \(R\) seminormal, \((\sqrt I:\sqrt I)\) is shown to be the largest subring of \((R:I)\) and again seminormal. The authors give several explicit constructions to illustrate the sharpness of their results.
    0 references
    0 references
    seminormal domain
    0 references
    dual of ideal
    0 references
    Prüfer domain
    0 references
    endomorphism ring
    0 references
    intersection of localizations
    0 references
    0 references