Алгебраически замкнутое поле

поле А:, в к-ром всякий многочлен ненулевой степени над kимеет хотя бы один корень. В действительности, из алгебраич. замкнутости поля будет следовать, что каждый многочлен степени пнад kимеет в kровно пкорней, т. е. каждый неприводимый многочлен из кольца многочленов k[х]имеет степень 1. Поле kалгебраически замкнуто тогда и только тогда, когда оно не имеет собственного алгебраич. расширения (см. Расширение поля). Существует единственное с точностью до изоморфизма алгебраич. расширение поля k, являющееся А. з. п.; оно наз. алгебраическим замыканием поля kи обычно обозначается через k. Всякое А. з. п., содержащее k, содержит подполе, изоморфное k. Алгебраич. замыканием поля действительных чисел является поле комплексных чисел. Его алгебраич. замкнутость устанавливается Алгебры, основной теоремой.