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

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

Твердження леми

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

Посилання

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.