Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:category |
subcategory of schemes
|
| gptkbp:definedIn |
schemes whose underlying topological space is Noetherian and whose structure sheaf is coherent
|
| gptkbp:example |
gptkb:Spec_of_a_Noetherian_ring
|
| gptkbp:field |
gptkb:algebraic_geometry
|
| gptkbp:namedAfter |
gptkb:Emmy_Noether
|
| gptkbp:property |
every ideal of the structure sheaf is finitely generated
every ascending chain of open subsets stabilizes every open subset is quasi-compact |
| gptkbp:used_in |
gptkb:algebraic_geometry
|
| gptkbp:bfsParent |
gptkb:Zariski–Chevalley_theorem
gptkb:Grothendieck's_existence_theorem |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Noetherian schemes
|