Namespaces
Variants
Actions

Difference between revisions of "Noetherian scheme"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
(Category:Algebraic geometry)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
A [[Scheme|scheme]] admitting a finite open covering by spectra of Noetherian rings (cf. [[Noetherian ring|Noetherian ring]]). An affine Noetherian scheme is precisely the spectrum of a Noetherian ring. The topological space of a Noetherian scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066860/n0668601.png" /> is a Noetherian topological space, and the local rings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066860/n0668602.png" /> are Noetherian. If every point of a scheme has an open affine Noetherian neighbourhood, the scheme is called locally Noetherian. A quasi-compact locally Noetherian scheme is a Noetherian scheme. An example of a Noetherian scheme is a scheme of finite type over a field (an algebraic variety) or over any Noetherian ring.
+
A [[scheme]] admitting a finite open covering by [[Spectrum of a ring|spectra]] of [[Noetherian ring]]s. An affine Noetherian scheme is precisely the spectrum of a Noetherian ring. The topological space of a Noetherian scheme $X$ is a [[Noetherian space]], and the local rings $\mathcal O_{X,x}$ are Noetherian. If every point of a scheme has an open affine Noetherian neighbourhood, the scheme is called locally Noetherian. A quasi-compact locally Noetherian scheme is a Noetherian scheme. An example of a Noetherian scheme is a scheme of finite type over a field (an [[algebraic variety]]) or over any Noetherian ring.
  
  
Line 8: Line 8:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Hartshorne, "Algebraic geometry" , Springer (1977) {{MR|0463157}} {{ZBL|0367.14001}} </TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Hartshorne, "Algebraic geometry" , Springer (1977) {{MR|0463157}} {{ZBL|0367.14001}} </TD></TR></table>
 +
 +
{{TEX|done}}
 +
 +
[[Category:Algebraic geometry]]

Latest revision as of 21:42, 31 October 2014

A scheme admitting a finite open covering by spectra of Noetherian rings. An affine Noetherian scheme is precisely the spectrum of a Noetherian ring. The topological space of a Noetherian scheme $X$ is a Noetherian space, and the local rings $\mathcal O_{X,x}$ are Noetherian. If every point of a scheme has an open affine Noetherian neighbourhood, the scheme is called locally Noetherian. A quasi-compact locally Noetherian scheme is a Noetherian scheme. An example of a Noetherian scheme is a scheme of finite type over a field (an algebraic variety) or over any Noetherian ring.


Comments

References

[a1] R. Hartshorne, "Algebraic geometry" , Springer (1977) MR0463157 Zbl 0367.14001
How to Cite This Entry:
Noetherian scheme. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Noetherian_scheme&oldid=23911
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article