Local field (source code)

= Local field
{wiki}

A local field is a nondiscrete locally compact topological field. A non-Archimedean local field is a finite extension of $\mathbb Q_p$ or of $\mathbb F_p((t))$.