If $G$ is a transitive subgroup of $S_n$, then it can arise as the Galois group of a field extension $L/K$. Let $G_1=\{\sigma\in G\mid \sigma(1)=1\}$, and let $F$ be the fixed field of $G_1$; then $F/K$ is a field extension of degree $n$ whose Galois closure is $L/K$.

Although $F$ might not be Galois over $K$, one can consider the group $\Aut(F/K)$. Via the Galois correspondence, this can be computed group-theoretically; its order equals the order of the centralizer of $G$ in $S_n$.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by Kiran S. Kedlaya on 2019-05-02 23:44:21

**Referred to by:**

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

**Differences**(show/hide)