Нормалізаційна лема Нетер

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Нормалізаційна лема Нетер — результат комутативної алгебри, що використовується при доведенні теореми Гільберта про нулі. Названа на честь Еммі Нетер.

Твердження леми[ред.ред. код]

Нехай K — деяке поле. Якщо B — скінченнопороджена K-алгебра, то існує підалгебра \,A \subseteq B, ізоморфна до алгебри многочленів B=K[y_1,\dots,y_d] і така, що А є цілим розширенням алгебри В.

Посилання[ред.ред. код]

Юрій Дрозд. Вступ до алгебричної геометрії