Assertion: formal scheme | /r/HasProperty | ringed space
Facets:
value: topologically
type: DEGREE
Source sentences:
text: Finally, a locally noetherian formal scheme is a topologically ringed space ( X , O X ) {\displaystyle ({\mathfrak {X}},{\mathcal {O}}_{\mathfrak {X}})} (that is, a ringed space whose sheaf of rings is a sheaf of topological rings) such that each point of X {\displaystyle {\mathfrak {X}}} admits an open neighborhood isomorphic (as topologically ringed spaces) to the formal spectrum of a noetherian ring.