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

The residue field degree of a nonarchimedean local field is the degree of its residue field as an extension of its prime field.

Authors:
Knowl status:
  • Review status: reviewed
  • Last edited by Andrew Sutherland on 2020-10-26 09:34:42
Referred to by:
History: (expand/hide all) Differences (show/hide)