Algebraic field extension