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 : Collections: Mathematics