I’ve been quite exhausted lately with work and other annoying life things. So sadly, I haven’t been able to think about math much, let alone write about it. However, this morning on the public transit I was able to indulge a bit by reviewing in my head some essentials behind Galois theory, in particular how its fundamental theorem is proved.

The first part of it states that there is the inclusion reversing relation between the fixed fields and subgroups of the full Galois group and moreover, the degree of the field extension is equal to the index of corresponding subgroup. This equivalence can be easily proved using the primitive element theorem, which I will state and prove.

**Primitive element theorem**: Let be a field. , the field from adjoining elements to can be represented as for some single element . This extends inductively to that any field extension can be represented by some adjoining some primitive *element.*

Proof: Let for some . We will show that there is such a such that is contained in . Let be minimal polynomials for and respectively. Let . The minimal polynomial of in must divide both and . Suppose it has degree at least . Then there is some which induces that is another root of . With , there is only a finite number of such that is not in . QED.

The degree of a field extension corresponds to the degree of the minimal polynomial of its primitive element. That primitive element can be in an automorphism mapped to any one of the roots of the minimal polynomial, thereby determining the same number of cosets.

The second major part of this fundamental theorem states that normality subgroup wise is equivalent to there being a normal extension field wise. To see this, remember that if a field extension is normal, a map that preserves multiplication and addition cannot take an element in the extended field outside it as that would imply that its minimal polynomial has a root outside the extended field, thereby violating normality. Any in the full Galois group thus in a normal extension escapes not the extended field (which is fixed by the subgroup we’re trying to prove is normal). Thus for all , also fixes the extended field, meaning it’s in .