Suppose $K/F$ is a degree $n$ separable extension of fields, and $G\leq S_n$ is the Galois group of its Galois closure $K^{gal}$. For each field $F\subseteqq E \subsetneqq K$ which is Galois over $F$, take a minimal degree field $E'$ such that $F\subseteqq E'\subseteqq E$ and $E$ is the Galois closure of $E'/F$. Then $\Gal(E/F)$ has a natural embedding as a Galois group $H\leq S_m$ with $m=[E':F]$. These Galois groups $H$ are **resolvents** of $G$.

In group theoretic terms, the groups $H$ correspond to subgroups $A\leq G$ such that the core of $A$ is non-trivial. Then $G$ acts transitively on the left cosets of $A$ by left translation, giving a homomorphism $\rho:G\to S_m$ where $m=[G:A]$. Then $H=\text{Im}(\rho)$.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by Kiran S. Kedlaya on 2019-05-03 16:37:43

**History:**(expand/hide all)

- 2019-05-22 17:46:37 by John Jones
- 2019-05-03 16:37:43 by Kiran S. Kedlaya (Reviewed)
- 2019-05-03 00:20:04 by John Jones
- 2018-07-07 21:31:09 by John Jones

**Differences**(show/hide)