Hasse-Arf property and abelian extensions for local fields with imperfect residue fields

Taichi Inoue

For a finite totally ramified extension $L$ of a complete discrete valuation field $K$ with the perfect residue field of characteristic $p>0$, it is known that $L/K$ is an abelian…