A monogenic Hasse-Arf theorem (Q2483700)

Let \(B/A\) be a finite extension of Henselian discrete valuation rings and assume that the corresponding extension of fraction fields is Galois with group \(G\). For any finite dimensional complex representation of \(G\) the naive Artin conductor is defined and it is always a nonnegative rational number. When \(B/A\) is residually separable, the Hasse-Arf theorem asserts that the conductor is an integer. When instead of separability one requires that \(B\) is generated as an \(A\)-algebra by one element, the extension \(B/A\) is said to be monogenic. The author proves that for monogenic extensions the conductor is also an integer by reducing the proof to the classical context of the Hasse-Arf theorem.