Нормалізаційна лема НетерНормалізаційна лема Нетер — результат комутативної алгебри, що використовується при доведенні теореми Гільберта про нулі. Названа на честь Еммі Нетер. Твердження лемиНехай K — деяке поле. Якщо B — скінченнопороджена K-алгебра, то існує підалгебра , ізоморфна до алгебри многочленів і така, що B є цілим розширенням алгебри A. ПосиланняЮрій Дрозд. Вступ до алгебричної геометрії [Архівовано 22 травня 2011 у Wayback Machine.] |