Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:topology |
| gptkbp:definedIn |
pair (X, O_X) where X is a topological space and O_X is a sheaf of rings
|
| gptkbp:field |
gptkb:algebraic_geometry
gptkb:mathematics |
| gptkbp:hasProperty |
each stalk O_{X,x} is a local ring
local rings at stalks sheaf of rings |
| https://www.w3.org/2000/01/rdf-schema#label |
locally ringed space
|
| gptkbp:used_in |
scheme theory
complex analytic geometry |
| gptkbp:bfsParent |
gptkb:Grothendieck's_schemes
|
| gptkbp:bfsLayer |
6
|