Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $E/K$ be a finite Galois field extension. Then by the fundamental theorem of Galois theory, there is canonical bijection between the subgroups of $\mathrm{Gal}(E/K)$ and the intermediate field extensions $E/L/K$, sending a subgroup to the intermediate field, whose elements are fixed by the automorphisms of the subgroup.

Question: What is known about the converse statement, i.e. if for a finite field extension, the described correspondence holds, is it Galois?

share|improve this question

1 Answer 1

up vote 2 down vote accepted

Yes. For every subgroup $G$ of $\textrm{Aut}\,E$, one has $[E:E^G]=|G|$. Take $G=\textrm{Gal}(E/K)$. Then $|G|=[E:E^G]=[E:K]$, where $E^G=K$ follows from the correspondence that you assume. But $|G|=[E:K]$ means $E/K$ is Galois.

share|improve this answer
Can you explain the last implication? –  Your Ad Here Oct 14 '12 at 18:45
This is a theorem of Artin: it states that if $E$ is any field and $G\subset \textrm{Aut}\,E$ is a finite subgroup, then $E/E^G$ is Galois and of degree $|G|$ (with Galois group $G$). You can find a statement and a proof in Lang's "Algebra" (p. 194) or just the statement here: en.wikipedia.org/wiki/Galois_extension. –  Brenin Oct 14 '12 at 23:54
Artin's theorem is overkill. If the standard mappings in both directions are inverses then $E^{{\rm Aut}(E/K)} = K$. That this equality is equivalent to $E/K$ being Galois is part of the development of Galois theory. –  KCd Mar 24 at 20:54

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.