ガロア生誕200周年記念スレ part 6

定義
K を可換体とする。
K の代数的閉包（過去スレpart4の634）を K~ とする。
K の分離代数的閉包（>>45）を K^sep とする。
>>46より K^sep/K はGalois拡大であり G = Aut(K^sep/K) は Aut(K~/K) に位相群として同型である。
K^sep/K を K の絶対Galois拡大と言い、G を K の絶対Galois群と呼ぶ。