Az algebrai kiterjesztés a mező olyan kiterjesztése , ahol minden elem algebrai a felett , azaz van egy megsemmisítő polinom , melynek együtthatói a -ból származnak , aminek gyöke, azaz .