Алгебраически замкнутое поле
Алгебраи́чески за́мкнутое по́ле, поле , в котором всякий многочлен ненулевой степени над имеет хотя бы один корень. В действительности из алгебраической замкнутости поля будет следовать, что каждый многочлен степени над имеет в ровно корней, т. е. каждый неприводимый многочлен из кольца многочленов имеет степень . Поле алгебраически замкнуто тогда и только тогда, когда оно не имеет собственного алгебраического расширения. Существует единственное с точностью до изоморфизма алгебраическое расширение поля , являющееся алгебраически замкнутым полем; оно называется алгебраическим замыканием noля и обычно обозначается через . Всякое алгебраически замкнутое поле, содержащее , содержит подполе, изоморфное .
Алгебраическим замыканием поля действительных чисел является поле комплексных чисел. Его алгебраическая замкнутость устанавливается основной теоремой алгебры.