Содержание
Морфизм окольцованных пространств
Определение
Определение 1. Морфизмом окольцованных пространств1) и
называется пара
, где
— непрерывное отображение,
— морфизм пучков на топологическом пространстве
.2)
Морфизм локально окольцованных пространств
Пусть — морфизм окольцованных пространств
и
.
Для каждой точки морфизм пучков
индуцирует отображение
:
,
где — отображение проекции, а
— гомоморфизм колец, делающий коммутативной диаграмму
для каждого открытого множества ,
.
Определение 2. Морфизмом локально окольцованных пространств и
называется такой морфизм окольцованных пространств
, что для любого
гомоморфизм колец
удовлетворяет условию
,
где и
— максимальные идеалы
и
, соответственно.