Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
spectrum of a ring |
| gptkbp:consistsOf |
prime ideals of Z
|
| gptkbp:definedIn |
the spectrum of the ring of integers Z
|
| gptkbp:dimensions |
1
|
| gptkbp:hasClosedPoints |
(p) for each prime p
|
| gptkbp:hasClosedSubscheme |
Spec(Z/pZ) for each prime p
|
| gptkbp:hasConnection |
true
|
| gptkbp:hasGenericPoint |
(0)
|
| gptkbp:hasKrullDimension |
1
|
| gptkbp:hasPoint |
(0)
(p) for each prime number p |
| https://www.w3.org/2000/01/rdf-schema#label |
Spec(Z)
|
| gptkbp:isAffineScheme |
true
|
| gptkbp:isDedekindScheme |
true
|
| gptkbp:isFinalObjectIn |
category of affine schemes over Z
|
| gptkbp:isIntegralScheme |
true
|
| gptkbp:isIrreducible |
true
|
| gptkbp:isNoetherian |
true
|
| gptkbp:isRegularScheme |
true
|
| gptkbp:structureSheaf |
sheaf of rings
|
| gptkbp:topology |
gptkb:Zariski_topology
|
| gptkbp:underlyingRing |
Z
|
| gptkbp:usedIn |
gptkb:algebraic_geometry
number theory |
| gptkbp:bfsParent |
gptkb:affine_schemes
|
| gptkbp:bfsLayer |
7
|