olemus
korpus \(K\), kus igal ühe muutuja polünoomil \(f\in K[x]\) on nullkoht
= a field K, where any polynomial of non-zero degree over K has at least one root in K

näiteid
kompleksarvude korpus \(\mathbb{C}\) on algebraliselt kinnine
reaalarvude korpus \(\mathbb{R}\) ei ole algebraliselt kinnine, sest näiteks polünoomil \(x^2+1\) puudub nullkoht

ülevaateid
https://en.wikipedia.org/wiki/Algebraically_closed_field
https://www.encyclopediaofmath.org/index.php/Algebraically_closed_field
https://ncatlab.org/nlab/show/algebraically+closed+field
http://www.cse.chalmers.se/~coquand/FISCHBACHAU/t4.pdf
https://webusers.imj-prg.fr/~adrien.deloro/teaching-archive/Moskva-ACF.pdf