Finite transforms of a Noetherian ring (Q1083485)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finite transforms of a Noetherian ring
scientific article

    Statements

    Finite transforms of a Noetherian ring (English)
    0 references
    0 references
    0 references
    1986
    0 references
    Let R be a noetherian ring and \(Q(R)\) be its total quotient ring. For a set U of prime ideals, set \(T_ U:=\{u\in Q(R)| (R:u)\varsubsetneq P\) for all \(P\in U\}.\) Let \({\mathcal P}(R):=\{P\in \text{Spec}R|\) grade \(PR_ P=1\}\) and \({\mathcal E}(R):=\{P\in \text{Spec} R|\) the completion \((R_ P)^*\) has an associated prime of depth(=coheight) one\(\}.\) A necessary and sufficient condition for \(T_ U\) to be finite over R is given in terms of U, \({\mathcal P}(R)\) and \({\mathcal E}(R)\). The \(T_ U\) for \(U={\mathcal E}(R)\) is denoted by \(R^ e\). Then \(R^ e\) is the union of all ideal transforms which are finite over R. The authors prove that \(R^ e\) itself is finite iff \({\mathcal M}(R):=\{P\in {\mathcal P}(R)|\) no prime in \({\mathcal E}(R)\) contains \(P\}\) is a finite set. In {\S}2 finiteness of \({\mathcal M}(R)\) and \({\mathcal N}(R):={\mathcal P}(R)-{\mathcal E}(R)\) (\(\supseteq {\mathcal M}(R))\) is discussed, and in {\S}3 some open questions are stated.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    noetherian ring
    0 references
    total quotient ring
    0 references
    ideal transforms
    0 references
    0 references