En mathématiques, une clôture algébrique d'un corps commutatif K est une extension algébrique L de K qui est algébriquement close, c'est-à-dire telle que tout polynôme de degré supérieur ou égal à un, à coefficients dans L, admet au moins une racine dans L. Une clôture algébrique d'un corps K peut être vue comme une extension algébrique maximale de K. En effet, il suffit de remarquer que si L est une extension algébrique de K, alors une clôture algébrique de L est également une clôture algébrique de K, donc L est contenu dans une clôture algébrique de K. Une clôture algébrique de K est également un corps algébriquement clos minimal contenant K, puisque si M est un corps algébriquement clos contenant K alors, parmi les éléments de M, ceux qui sont algébriques sur K forment une clôture algébrique de K. Une clôture algébrique d'un corps K a le même cardinal que K si K est infini ; elle est dénombrable si K est fini. Wikipedia