Algebraic extension