Noetherian scheme
Builds on SchemeAffine schemeNoetherian ringNoetherian topological space
Definition
A scheme is locally Noetherian if it can be covered by open affine schemes in which every is a Noetherian ring. It is Noetherian if it can be covered by finitely many such open sets.
Remarks
A scheme is locally Noetherian if and only if is Noetherian for every open affine subscheme . So is Noetherian if and only if is a Noetherian ring. The underlying space of a Noetherian scheme is a Noetherian topological space. Example: projective space over a field is Noetherian, being covered by copies of , which are Noetherian by the Hilbert basis theorem. Non-example: is not Noetherian, since the ideal is not finitely generated. Non-example: a disjoint union of infinitely many copies of is locally Noetherian but not Noetherian, since it is not quasi-compact.
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Affine scheme concept
- Noetherian ring concept
- Noetherian topological space concept
- Scheme concept
- Noetherian scheme definition
Further reading
About this page
| Tag | 5Y3SAEWBZM |
|---|---|
| URI | m2://5Y3SAEWBZM |
| Kind | definition |
| Writing | W0 stub |
| MSC | 14A15, 13E05 |
| Defines | Noetherian scheme |
| Uses | Scheme, Affine scheme, Noetherian ring, Noetherian topological space |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.