So we mentioned two extremely important concepts to Galois theory already.

- The Galois group of a field extension of a field . This is the group of automorphisms of that fix . We’ll denote this with
- The fixed field of a subgroup of the automorphism group . This is the field of all elements fixed by every automorphism in . We’ll denote this with .

If you had to pick the coolest possible theorem that you could involving and , what would it be? Without a doubt, it would be that and . Is it true? Well, no, but mostly yes. Confused? Good. Regardless, we aren’t going to prove it today.

One way to think about this is as follows:

Take a big field , and a subfield . Look at all the automorphisms of which fix . Then look at all the elements fixed by these automorphisms. We know immediately that all of is fixed by all of these automorphisms. After all, we chose the automorphisms to be the things that fix . So this tells us that . The theorem would give us equality, meaning that is exactly what is fixed by the automorphisms of . There is a similar statement about the automorphism groups for the other statement in the “theorem.”

As I said, we won’t prove it today. After all, it isn’t even true. But we will prove a slightly weaker result:

.

So the first result which isn’t always true says that going there and back gets you back to where you started. The result we’re about to prove says that going there, back, and then there again is the same as just going there. See why? This picture should show you the problem.

Ready for some trickery? Here goes. We just saw an argument that . Applying to this means I’m asking about the Galois group. As mentioned previously, if the subfield I require to be fixed is bigger, then the automorphism group is smaller, so . But, I also know that . If I let be , I get . Now I have inequalities in both directions, so I’m done. Once again, the result about groups that is basically the same idea.

It feels like I did basically nothing. This is true. You can get very close to the fundamental theorem of Galois theory while doing virtually no work. There’s more to be done if we want to really have equality (in a there-and-back sense), and we’ll get to it soon enough.