Theorem $K$: 体とする。この時、 $\bar{K}/K$ がガロア拡大 $\iff$ $K$ は完全体。 proof ($\Leftarrow$) 飽きたらやめようGalois理論(21)―完全体 - らんだむな記憶より、$\bar{K}$ は $K$ 上分離的である。また、飽きたらやめようGalois理論(40)―正規拡大 …