Содержание

Окольцованное пространство

Определение

Определение 1. Пара $(X,\mathcal{O}_X)$, состоящая из топологического пространства $(X,\tau)$ и заданного на нем пучка колец $\mathcal{O}_X$, называется окольцованным пространством1).

Определение 2. Окольцованное пространство $(X,\mathcal{O}_X)$ называется локально окольцованным2), если в каждой точке $P\in X$ слой $\mathcal{O}_{X,P}$ является локальным кольцом.

Пример 1. Простой спектр $\textrm{Spec}~A$ кольца $A$ является локально окольцованным пространством.

См. также

Литература

, ,
1)
ringed space
2)
locally ringed space