代数拡大の定義、判定,および性質