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

The defining polynomial of a $p$-adic field $K$ is an irreducible polynomial $f(x)\in\mathbb{Q}_p[x]$ such that $K\cong \mathbb{Q}_p(a)$, where $a$ is a root of $f(x)$.

The defining polynomial can be chosen to be monic with coefficients in $\mathbb{Z}_p$; by Krasner's lemma, we can further take $f(x)\in \mathbb{Z}[x]$.

Knowl status:
  • Review status: reviewed
  • Last edited by Andrew Sutherland on 2020-10-24 16:34:53
Referred to by:
History: (expand/hide all) Differences (show/hide)