Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A direct constructive treatment of the Fundamental Theorem of Galois Theory
 

Summary: A direct constructive treatment of the Fundamental Theorem
of Galois Theory
DRAFT
Peter Aczel
September 29, 1998
The Fundamental Theorem of Galois Theory
This is the basic structure theorem at the heart of Galois Theory. We start with a classical
account of the result and then explain how this needs to be modified to get a constructive
result. We will restrict attention to fields of characteristic 0.
Let E be a field (of characteristic 0). We write AutE for the group of automorphisms
of E. The fundamental theorem concerns correspondences each way between the subfields
of E and the subgroups of AutE . To each subfield F of E is associated the subgroup F 4
of AutE given by
F 4 = fg 2 AutE j 8x 2 F g(x) = xg:
When we want to make explicit the dependence of F 4 on E we will write it Gal(E : F )
and call it the Galois group of E : F . To each subgroup G of AutE is associated the
subfield G r of E given by
G r = fx 2 E j 8g 2 G g(x) = xg:
These correspondences form a Galois connection; i.e. for each F and each G
F ` G r () G ` F 4 :

  

Source: Aczel, Peter - Departments of Mathematics & Computer Science, University of Manchester

 

Collections: Mathematics