Лема Зариського
З Вікіпедії, безкоштовно encyclopedia
Лема Зариського — важлива лема в комутативній алгебрі, яка зокрема використовується при доведенні теореми Гільберта про нулі. Названа на честь Оскара Зарицького.
Лема стверджує, що якщо поле L є розширенням поля K і водночас L є скінченно породженою алгеброю над полем K то звідси випливає, що L є скінченним розширенням поля K.