The Galois Correspondence Theorem says that for any Galois extension of fields K/F, there is a onetoone inclusion reversing correspondence between the intermediate fields K \supseteq E \supseteq F and subgroups of the Galois group \text{Gal }K/F. I have two questions about this:
Why this is theorem important? When I first learned it, I told myself that it was just a computational tool: it converts problems about fields, which are hard to understand, into problems about groups, which are easier to understand. But clearly, it is not just there for computational convenience, it is an important result in its own right. So I ask: is there a nonutilitarian reason why the theorem is profound? In other words, what deep “underlying truth” about the algebraic structure of fields does this theorem reveal?
Why is this theorem intuitively plausible? The way I have understood it, if you place the subfield lattice of K/F and the subgroup lattice of \text{Gal }K/F sidebyside (with the latter flipped upsidedown), then the diagrams are the same. This seems very outofblue to me. Why is it intuitively plausible that these two diagrams should look the same? Why should we expect that by studying the symmetries of a field extension, we can recover the structure of whole field itself? An explanation with a specific example of a field extension, would be great.
Thanks for the help!
Answer
I’ll limit the discussion here to finite extensions of fields. There is a Galois theory for algebraic extensions of possibly infinite degree, and this is an essential tool in modern number theory through the role of Galois representations. You could say “proof of Fermat’s Last Theorem” is a widely known result that would be impossible without Galois theory (and a whole lot more mathematics).
To appreciate what makes the Galois correspondence intuitive, keep in mind the following points.

The mappings in both directions for the Galois correspondence make sense for an arbitrary finite extension of fields K/F, but only for Galois extensions are these two mappings actually inverses of each other. For example, \mathbf Q(\sqrt[n]{2})/\mathbf Q has a trivial automorphism group when n is odd, but there are lots of intermediate field extensions if n has lots of factors (see my reply to the MSE question here). It’s worth thinking about why the Galois correspondence doesn’t work for \mathbf Q(\sqrt[3]{2})/\mathbf Q or \mathbf Q(\sqrt[4]{2})/\mathbf Q but does work for \mathbf Q(\sqrt[3]{2},e^{2\pi i/3})/\mathbf Q and \mathbf Q(\sqrt[4]{2},i)/\mathbf Q. There is something that happens when we adjoin all the roots of x^32 to \mathbf Q or all the roots of x^42 to \mathbf Q that doesn’t work when we adjoin only a proper subset of the roots to \mathbf Q.
Can you articulate what that is? 
To give an answer to the question at the end of the previous item, expressed in the simplest way, we need to give some intuition behind the magic of splitting fields compared to finite extensions that are not splitting fields. I think the most basic explanation of why splitting fields (normal extensions) are so special is the symmetric function theorem: every symmetric polynomial in r_1, \ldots, r_n is a polynomial in the elementary symmetric polynomials of r_1, \ldots, r_n. Because the elementary symmetric polynomials in r_1, \ldots, r_n are the coefficients of (xr_1)\cdots(xr_n), if that polynomial has coefficients in \mathbf Q then all symmetric polynomial expressions in r_1, \ldots, r_n are going to be rational, and here is why that’s such a big deal: it shows that every number in \mathbf Q(r_1,\ldots,r_n) has all the other roots of its minimal polynomial over \mathbf Q already in that field. If K is a splitting field over F of some polynomial f(x) then every \alpha \in K has all the other roots of its minimal polynomial over F also in K. That is the “deep underlying truth” about Galois extensions, which can be proved using the symmetric function theorem before you prove the Galois correspondence works. Modern accounts of Galois theory do not depend on this approach, but earlier accounts of Galois theory did rely on it.

Galois extensions exist in great abundance: a finite extension of fields K/F in characteristic 0 (land of intuition) can always be enlarged to a finite Galois extension K’/F, so we can take advantage of Galois extensions to solve problems not originally expressed in the setting of Galois extensions.

The issue of Galois extensions requiring separability should be considered a technicality not directly relevant to your intuition: intuition takes place in characteristic 0, where all irreducible polynomials are automatically separable.
Intuitively, Galois extensions = normal extensions. This is not generally true in characteristic p, but you get intuition for Galois theory in characteristic 0, where it is true and the symmetric function theorem explains why the symmetry in the Galois correspondence works for Galois extensions.
The Galois correspondence is profound in number theory because it leads to a highly nonobvious way of turning prime ideals into field automorphisms (this uses Galois theory for number fields and finite fields). The technical term here is “Frobenius automorphism associated to a prime ideal”.
Another reason the Galois correspondence is profound is that it is a template for similar correspondences elsewhere in mathematics. There are inclusionreversing correspondences between
a) subgroups of {\rm Gal}(K/F) and intermediate fields between K and F,
b) subspaces of a finitedimensional vector space and subspaces of its dual space,
c) subgroups of a finite abelian group A and subgroups of its dual group {\rm Hom}(A,\mathbf C^\times) (generalizing to all locally compact abelian groups by Pontryagin duality)
d) subvarieties of affine nspace over \mathbf C and radical ideals in \mathbf C[x_1,\ldots,x_n],
e) subgroups of the fundamental group of a nice space X and covering spaces of X.
All of these correspondences have similar features and it happens that historically the correspondence with field extensions (Galois correspondence) was found first.
Considering example (c), if you define characters of an arbitrary finite group G in the same way as you define characters of a finite abelian group (homomorphisms from the group to \mathbf C^\times), you’re going to lose a lot of the nice properties because homomorphisms G \to \mathbf C^\times can only see G as far as the quotient group G/[G,G] (abelianization of G). To make character theory work well for arbitrary finite groups, we have to allow irreducible representations of dimension greater than 1.
Attribution
Source : Link , Question Author : chaad , Answer Author : KCd