Hello, this was another problem that I had difficulty with:

Let be a field extension of , and let be a closed intermediate field. Let . Show that the normalizer of in is the set of elements of which map onto itself.

is the corresponding subgroup (in ) of .

I'm not sure. I wanted to use FTGT (Fundamental Theoreom of Galois Theory), but this problem doesn't state that the extension is finite.