====== Окольцованное пространство ======
===== Определение =====
__Определение 1.__ Пара (X,\mathcal{O}_X), состоящая из [[:glossary:topology|топологического пространства]] (X,\tau) и заданного на нем [[:glossary:topology:sheaf|пучка]] [[:glossary:ring|колец]] \mathcal{O}_X, называется **окольцованным пространством**((ringed space)).
__Определение 2.__ Окольцованное пространство (X,\mathcal{O}_X) называется **локально окольцованным**((locally ringed space)), если в каждой точке P\in X [[:glossary:topology:presheaf|слой]] \mathcal{O}_{X,P} является [[:glossary:ring:commutative:local|локальным кольцом]].
__Пример 1.__ [[:glossary:ring:spectrum|Простой спектр]] \textrm{Spec}~A кольца A является локально окольцованным пространством.
===== См. также =====
* [[:glossary:ring:spectrum|Простой спектр кольца]]
* [[:glossary:topology:space:ringed:morphism|Морфизм окольцованных пространств]]
===== Литература =====
* [[http://www.ozon.ru/context/detail/id/105336/?partner=lds1938|Хартсхорн Р. «Алгебраическая геометрия», Мир, 1981.]]
{{tag>"алгебраическая геометрия" "окольцованное пространство" "простой спектр кольца"}}