# Pre-Galois theory

## TL;DR

This paper introduces pre-Galois extensions, a class of field extensions that become Galois after a base change, and develops a corresponding theory including a Galois correspondence and inverse Galois problem variants.

## Contribution

It defines and studies pre-Galois extensions, extending classical Galois theory, and provides new results on realizing finite groups as Galois groups over certain fields.

## Key findings

- Every finite simple group has a power that is a geometric Galois group over k.
- Finite groups with certain properties are Galois groups over extensions of the maximal abelian extension of Q.
- The inverse Galois problem for pre-Galois extensions is equivalent to the classical inverse Galois problem.

## 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.