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 Andrew Sutherland on 2020-10-24 17:22:32

**Referred to by:**

**History:**(expand/hide all)

- 2020-10-24 17:22:32 by Andrew Sutherland (Reviewed)
- 2020-10-24 16:27:34 by Andrew Sutherland
- 2020-10-24 16:27:19 by Andrew Sutherland
- 2020-10-24 16:25:17 by Andrew Sutherland
- 2020-10-24 15:43:00 by Andrew Sutherland
- 2020-10-24 15:34:41 by Andrew Sutherland
- 2020-09-18 08:43:27 by Andrew Sutherland (Reviewed)
- 2018-05-23 14:59:18 by John Cremona (Reviewed)

**Differences**(show/hide)