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

The residue field of a nonarchimedean local field is the quotient of its ring of integers by its unique maximal ideal.

The residue field is finite and its characteristic $p$ is the residue field characteristic. Finite extensions of $\Q_p$ have residue field characteristic $p$.

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