Pre-Galois theory

Abstract

We introduce and study a class of field extensions that we call pre-Galois; viz. extensions that become Galois after some linearly disjoint Galois base change. Among them are geometrically Galois extensions of k(T), with k a field: extensions that become Galois and remain of the same degree after passing to the algebraic closure of k. We develop a pre-Galois theory that includes a Galois correspondence, and investigate the corresponding variants of the inverse Galois problem. We provide answers in situations where the classical analogs are not known. In particular, for every finite simple group, some power is a geometric Galois group over k, and is a pre-Galois group over k if k is Hilbertian. For every finite group G, the same conclusion holds for G itself (n=1) if k is the maximal abelian extension E of the rationals and G has a weakly rigid tuple of conjugacy classes; and then G is a regular Galois group over an extension of E of degree dividing the order of Out(G). We also show that the inverse problem for pre-Galois extensions over a field k (that every finite group is a pre-Galois group over k) is equivalent to the a priori stronger inverse Galois problem over k, and similarly for the geometric vs. regular variants.