algebraic extension

field extension via adjoining solutions to polynomials with coefficients in the subfield