>>659
>一般に体 K の有限次分離拡大の「合併」として K の分離閉包 K sep が考えられる

玉川先生、下記にも Ksep出てきます（＾＾；

https://mathsoc.jp/section/algebra/algsymp_past/algsymp04_files/tamagawa.pdf
2004年8月の玉川 安騎男の講演会資料
「代数曲線の数論的基本群に関するGrothendieck予想，その後」
P1
Example 1. X を連結, 局所ネーター, 正則なスキームとし, K をその関数体とす
る. この時,
π1(X) = Gal(K~/K ) ← Gal(Ksep/K) def= GK