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
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
noetherian ring
0 references
total quotient ring
0 references
ideal transforms
0 references
0 references