Some remarks on the Hasse-Arf theorem
Henning Stichtenoth | Garcia, Arnaldo
p-extensions | elementary abelian | ramification groups | different exponents
We give a very simple proof of Hasse-Arf theorem in the particular case where the extension is Galois with an elementary-abelian Galois group of exponent $p$. It just uses the transitivity of different exponents and Hilbert's different formula.