Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:topology
scheme |
| gptkbp:covers |
finitely many distinguished open sets
|
| gptkbp:has_closed_points |
maximal ideals of the ring
|
| gptkbp:has_generic_points |
minimal prime ideals of the ring
|
| gptkbp:has_Krull_dimension |
equal to Krull dimension of the ring
|
| gptkbp:has_structure_sheaf |
sheaf of rings
|
| gptkbp:has_underlying_set |
prime ideals of the Noetherian ring
|
| gptkbp:has_Zariski_topology |
true
|
| https://www.w3.org/2000/01/rdf-schema#label |
Spec of a Noetherian ring
|
| gptkbp:is_affine_scheme |
true
|
| gptkbp:is_basis_for_Zariski_topology |
distinguished open sets D(f)
|
| gptkbp:is_coherent_space |
true
|
| gptkbp:is_irreducible_if_ring_is_prime |
true
|
| gptkbp:is_locally_ringed_space |
true
|
| gptkbp:is_Noetherian_topological_space |
true
|
| gptkbp:is_quasi-compact |
true
|
| gptkbp:is_reduced_if_ring_is_reduced |
true
|
| gptkbp:is_separated_scheme |
true
|
| gptkbp:is_sober |
true
|
| gptkbp:is_spectral_space |
true
|
| gptkbp:bfsParent |
gptkb:Noetherian_schemes
|
| gptkbp:bfsLayer |
7
|