Dado um corpo F, dizemos que uma extensão E de F é um fecho algébrico de F quando E é uma extensão algébrica que é algebricamente fechada, isto é, contém todas as raizes de polinómios com coeficientes em F. Em certo sentido, cada corpo F tem apenas um fecho algébrico pelo que este é por vezes referido como o fecho algébrico de F. == Teoremas == Unicidade: se dois corpos E 1 {\displaystyle E_{1}} e E 2 {\displaystyle E_{2}} são fechos algébricos de F, então eles são isomorfos. Wikipedia