En algebraisk udvidelse er en udvidelse af feltet , hvor hvert element er algebraisk over , det vil sige, at der er et udslettende polynomium med koefficienter fra , som er en rod, det vil sige .