En mathématiques, et plus précisément en algèbre dans le cadre de la théorie de Galois, une extension finie est une extension de corps de degré fini, c'est-à-dire un sur-corps commutatif d'un corps K qui, en tant que K-espace vectoriel, est de dimension finie. Une telle extension est toujours algébrique.