show · lf.galois_splitting_model all knowls · up · search:

Let $K$ be a finite extension of $\Q_p$. A Galois splitting model of $K$ is an irreducible polynomial $f\in\Q[x]$ such that $K\cong \Q_p[x]/(f)$, and the Galois group of $f$ over $\Q$ is isomorphic to the Galois group of $f$ over $\Q_p$.

Most, but not all, local number fields have Galois splitting models.

In this case, the computation of various invariants related to $K$, such as the Galois invariants, can be computed more easily using $f$.

Authors:
Knowl status:
• Review status: reviewed
• Last edited by Andrew Sutherland on 2020-10-22 07:40:48
Referred to by:
History:
Differences