> Которое, по-моему, и есть то, что
> называется леммой Нётер о
> нормализации.

Нет, лемма Нетер, это утверждение о том,
что всякое аффинное многообразие
допускает конечное отображение на
аффинное пространство той же
размерности. А утв. 7.1.10 говорит всего
лишь о том, что при конечном отображении
(=целом расширении колец рег. ф-й) у
всякой точки (=простого идеала) базы
есть прообраз.

Нормализация Нетер у Ленга --- это
теорема 8.2.1.