After meeting the term of an automorphism, and, of more importantly, the **Galois group** of an extension, we would like to learn a bit more about the connection between the group and the extension by definig a correspondece betwee **sub-group** and **sub-fields**. Let’s see how we can do such a thing:

## Sub-groups to sub-fields

Suppose that is a subgroup. I’ll define:

K^H=\{a\in K|\forall \sigma\in H:\sigma(a)=a\}

This is the set of all the elements of , that are **fixed** under **all** the automorphisms in the subgroup .

I state that it is indeed a sub-field, let’s verify it:

**Closed under addition** **and multiplication**

a,b\in K^H\Rightarrow \forall{\sigma\in H}:\sigma(a)=a,\sigma(b)=b

\Rightarrow\forall{\sigma\in H}:\sigma(a+b)=\sigma(a)+\sigma(b)=a+b\ \land\sigma(ab)=\sigma(a)\sigma(b)=ab

\Rightarrow a+b,ab\in K^H

**Inverse elements**

a\in K^H\Rightarrow \forall\sigma\in H:\sigma(a)=a\Rightarrow\forall\sigma\in H:\sigma(-a)=-\sigma(a)=-a\Rightarrow -a\in K^H

a\in K^H\Rightarrow \forall\sigma\in H:\sigma(a)=a\Rightarrow\forall\sigma\in H:\sigma(a^{-1})=\sigma(a)^{-1}=a^{-1}\Rightarrow a^{-1}\in K^H

**0 and 1**

\forall\sigma\in \text{Gal}(K/F):\sigma(1)=1,\sigma(0)=0\Rightarrow 0,1\in H

#### The Fixed Field

So after we proved all the properties – we are now ready to give it an appropriate name. The field is called The **Fixed Field** of . That’s a good name for this field since it’s elements are the one that the automorphisms in **fix**!

## Sub-Fields to Sub-Groups

The first two ways you would think about in order to map a sub-field to a sub-group are probably:

However, the first one is not the right way to do so:

Automorphisms in the group don’t even ‘aware’ of the bigger field – so that can’t be right.

On the other hand, the group is indeed a sub-group of . This is just the set of all the automorphisms that fix the elements of (check that it is indeed a subgroup!).

### The correspondence

So we have found a correspondence:

\{\text{sub-groups of}\text{ Gal}(K/F)\}\leftrightarrows\{\text{sub-fields of }K\}

Defined as:

L^{\circ}:=\text{Gal}(K/L)\longleftarrow L

H\longmapsto K^{H}=:H^{*}

This correspondence is called the **Galois correspondence**. Let’s see some properties of it:

First, let’s check what is . By definition, . This is the set of all the automorphisms that fix . However, the only automorphism with that property is the identity, thus:

K^\circ=\text{Gal}(K/K)=\{id_K\}

That’s pretty unexpected – the **biggest **field is being mapped to the **smallest **subgroup.

What about ? After we’ve seen this inversion, we would probably expect it to be mapped to the whole group. Let’s verify it:

By definition – as we thought.

Now, what about the other direction? Is the biggest /smallest sub-group is being mapped to the smallest / biggest subfield? Let’s find out:

I’ll start with the trivial subgroup: . By definition:

\{id_K\}^*=K^{\{id_K\}}=\{a\in K|\forall \sigma\in\{id_K\}:\sigma(a)=a\}

Those are all the elements of that the identity fixes. But the identity fixes all of the elements, thus: .

On the other hand, the ‘biggest’ sub-group is the group itself: . It is being mapped to it’s fixed field:

\text{Gal}(K/F)^*=K^{\text{Gal}(K/F)}=\{a\in K|\forall \sigma\in\text{Gal}(K/F):\sigma(a)=a\}

Ok, by definition of automorphism of an extension we know that every has to be mapped to itself. So .

However, maybe some elements **outside** of are mapped to themselves in all the automorphisms?

So we cannot say that (and there are cases where the equality is false). Now the question is, when can we? Well, that’s actually one of the biggest questions in this theory! We’ll need to work a bit more in order to answer it.

There is some sort of an **asymmetry **here – when mapping fields to groups, everything works fine. However, when mapping groups to fields – that’s not always the case!

##### Inversion of the order

Suppose that . What can we say about the groups:

L^\circ=\text{Gal}(K/L)\ \ \ ,\ \ \ {L^{\prime}}^\circ=\text{Gal}(K/L^\prime)

Notice that if , then for every . However, since is a sub-field of then is in particular, fixes the elements of as well. Thus, , which shows that

So, as it turns out, we found out that this map is **reversing **the order of the inclusion:

L\subseteq L^\prime\Rightarrow {L^\prime}^\circ\subseteq L^\circ

Is the opposite map reverses the order as well? Let’s find out:

Suppose that .

Let be some element of the fixed field. Thus, every automorphism in maps to itself. However, every automorphism of is in particular, an automorphism of ( is a subset of ). Therefore, . And by that we proved that this map is reversing the order as well:

H\subseteq H^\prime\Rightarrow {H^\prime}^*\subseteq H^*

#### Back and forth

What happens if we pick a subgroup , map it to a field and then, map it back to a group .

My first thought was that it would be nice that we will return to the original subgroup again. i.e. . However, that’s a pretty strong condition that means the maps are **inverting** each other – is that true? We need to verify it:

By definition, is the **field** of all the elements that are mapped to themselves under automorphisms in .

Now what are the automorphism in the sub-group ? Those are all the automorphism that **fix** the elements of .

If , then for every , . Therefore, . This gives us:

H\subseteq H^{*\circ}

Which is the same as:

H\subseteq \text{Gal}(K/K^H)

On the other hand, If , then it fixes all the elements of . However, this does **not** necessarily mean that . There could be other automorphisms outside of that fix the elements that the automorphisms in fix.

So again, we were only able to prove inclusion… It tells us that when we go ‘back and forth’, we can only make the subgroup **bigger**.

Try it yourself, to get in a similar way that:

L\subseteq L^{\circ*}

Which is the same as:

L\subseteq K^{\text{Gal}(K/L)}

We can now use the information in the above and the fact that those maps are order-inversing to get:

H^*\subseteq (H^{*})^{\circ*}=H^{*\circ*}=(H^{*\circ})^*\underset{H^{*\circ}\supseteq H}{\subseteq} H^*

We got that and that’s a little comforting, Note that this is the same as . Moreover:

L^\circ\subseteq(L^\circ)^{*\circ}=L^{\circ*\circ}=(L^{\circ*})^{\circ}\underset{L^{\circ*}\supseteq L}{\subseteq} L^\circ

Great, we also know that , which is equivalent to .

(I think it’s pretty clear now why I prefer working with starts and circles – it’s a lot less confusing…)

Those facts show us that if you apply a map once, and then, you ‘go back and forth’ you will return to where you were after you applied the first map. In other words – the maps are inverting each other on the **images**.

So our question is – “Is any sub-field / sub-group an image of some sub-group / sub-field?” If the answer is yes, then the maps are inverting each other, and we will also get that and that solves all of our problems!

## Summary

So we’ve met the correspondence, and found exactly what we want from an extension – we would that every subfield of it is an image of some subgroup in it’s galois group, and vice versa.

There are indeed such extensions – and they have a special name? Can you guess what can it be? Well, it’s not a big suprise but such extensions are called **Galois extensions**. And those extensions have a **lot** of amazing properties, as we’ll see in the next post.

I know this correspondence may seem very confusing at first, and the fact that it’s inversing the order makes it even more confusing! I found that the only way to actually understand it, is just go over it again and again, maybe try playing with concrete field extensions (I’ll do such examples myself in the future), you have to put some work in it – and that’s no wonder, those correspondences came straight from the mind of the brilliant Galois!