Puede demostrarse que un cuerpo es algebraicamente cerrado si no tiene extensiones algebraicas propias, lo que se toma a veces como definición.