分離拡大
#代数学
定義
$ E/K
が分離拡大