わからない問題投稿のところにも書いたのですが、こっちの方が適当かと思ったのでこちらでも質問します。


ガロア理論のとこです。正規拡大の定義で、

L/Kが正規
：⇔任意のK準同型σについてσ（L)=L

となっているのですが、実際はσ（L)⊂Lだけわかればよいと言われました
逆の包含はなぜ調べなくてよいのでしょうか