代数拡大

定義

$K\subset L$: 体拡大 ,$L$が$K$上の代数拡大とは
$L$のどの元も$K$上代数的(方程式$\in K[x]$の解になる) であること