d’un corps commutatif 
est une extension algébrique 
de qui est algébriquement close, c’est-à-dire telle que tout polynôme de degré supérieur ou égal à un, à coefficients dans , admet au moins une racine dans .
d’un corps commutatif est une extension algébrique de qui est algébriquement close, c’est-à-dire telle que tout polynôme de degré supérieur ou égal à un, à coefficients dans , admet au moins une racine dans .