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$.

Authors:
Knowl status:
• Review status: reviewed
• Last edited by Andrew Sutherland on 2020-10-24 17:07:26
Referred to by:
History: Differences