algebraic extension of a field