galois#2

Consider the set of all the homorfisms of an extension of two fields F \rightarrow E , so we can try to configure how the set of this homorfisms is related to the field or roots of a given polynomial , the number of this set with the degree of the extension .In generall if Aut_{F}E = G(E,F)  then |G(E,F)| \le [E:F] , where [E:F] is the degree of  the extension from F to E.

For more details click here:  gal2

Galois #1 (FixG)

Let E a field , the group of all automorfisms is AutE. If F is a subset of E , then one automorfism that leaves all the elements of F invariant ( \sigma (a)= a  , for every a \in F ) , is called F-automorfism. The set of all F-automorfism is called  G(E,F) and is a sub-group of the group of AutF.

Let G a sub-group of AutE of the field E. We call FixG the set of all the invariant elements of E according to G-elements , thus :

FixG = {a | a \in E , and \sigma (a)= a , for every \sigma \in G }.

The set FixG is a field , sub-field of E and is called fixed field of the group G.The fixed field of G(E,F) contains F and does not necessarily is the same field. 

more on FIxG later , we will see some interesting applications with respect to the roots of a polynomial  over a field.