Separable algebraic extension