Finite transforms of a Noetherian ring (Q1083485)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 3975057
Language Label Description Also known as
default for all languages
No label defined
    English
    Finite transforms of a Noetherian ring
    scientific article; zbMATH DE number 3975057

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

      Identifiers