Нормальный гомоморфизм

В алгебре нормальный гомоморфизм — это кольцевой гомоморфизм. $R\to S$ которое является плоским и таким, что для любого расширения L вычетов поля $\kappa ({\mathfrak {p}})$ любого простого идеала ${\mathfrak {p}}$, $L\otimes _{R}S$ это обычное кольцо .

Ссылки

• Хунеке, Крейг; Суонсон, Ирена (2006), «Глава 19», Интегральное замыкание идеалов, колец и модулей , Серия лекций Лондонского математического общества, том. 336, Кембридж, Великобритания: Издательство Кембриджского университета , ISBN  978-0-521-68860-4 , МР   2266432