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