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

A local field is a field $K$ with a non-trivial absolute value $|\ |$ that is locally compact in the topology induced by the distance metric $d(x,y):=|x-y|$.

An archimedean local field is a local field whose absolute value is archimedean; such a field is isomorphic to $\R$ or $\C$.

A nonarchimedean local field is a local field whose absolute value is nonarchimedean; such fields are isomorphic to finite extensions of $\Q_p$ when $K$ has characteristic zero, and to a finite extension of $\F_p((t))$ when $K$ characteristic $p$. In both cases $p$ is the characteristic of the residue field.

Authors:
Knowl status:
  • Review status: reviewed
  • Last edited by John Jones on 2020-10-26 12:20:59
Referred to by:
History: (expand/hide all) Differences (show/hide)