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.