An elementary proof of the local Kronecker-Weber theorem

Abstract

We will present a novel elementary, self-contained, and explicit proof of the local Kronecker-Weber theorem. Apart from discrete valuation theory, it does not make use of any tools beyond those introduced in a second undergraduate course on algebra. In particular, we will not make use of results from local class field theory or Galois cohomology.