Algebrallisesti suljettu kunta

Kunnan K {\displaystyle K} sanotaan olevan algebrallisesti suljettu jos se täyttää jonkin seuraavista (yhtäpitävistä) ehdoista:

(i) Jokainen polynomi K [ x ] {\displaystyle K[x]} :ssä, joka ei ole vakio, hajoaa ensimmäisen asteen tekijöihin.
(ii) Jaottomat polynomit K [ x ] {\displaystyle K[x]} :ssä ovat samat kuin lineaariset polynomit.
(iii) Jokaisella K [ x ] {\displaystyle K[x]} :n polynomilla, joka ei ole vakio, on nollakohta K {\displaystyle K} :ssa.

Edellä K [ x ] = { p ( x ) | p ( x ) = a 0 + a 1 x + + a n x n , n 0 , i { 0 , 1 , , n } a i K } {\displaystyle K[x]=\{p(x)\;|\;p(x)=a_{0}+a_{1}x+\cdots +a_{n}x^{n},\;n\geq 0,\forall i\in \{0,1,\cdots ,n\}\,a_{i}\in K\}} .

Siis yksinkertaisemmin muotoiltuna algebrallisesti suljettu kunta on sellainen kunta, jossa n:nnen asteen polynomilla on n nollakohtaa. Esimerkiksi kompleksilukujen kunta on algebrallisesti suljettu algebran peruslauseen nojalla, mutta reaalilukujen kunta ei sitä ole, sillä kaikilla reaalikertoimisilla polynomeilla ei ole lainkaan reaalisia ratkaisuja.