Positive ramification quotients are elementary abelian
ID: positive-ramification-quotients-are-elementary-abelian
For , the residue of gives a homomorphism to the additive residue field with kernel . On composing two automorphisms, their leading displacement coefficients add because each fixes residues and changes the uniformizer only in degree at least two. These successive quotients are elementary abelian groups in residue characteristic . The filtration terminates, so the wild inertia group is a finite -group.
New to topics? Read the docs here!