Hasse-Arf teoremi
Matematikte, özellikle de yerel sınıf cismi teorisinde, Hasse-Arf teoremi, sonlu bir Galois genişlemesinin Galois grubunun üstten numaralandırma filtrelemesindeki sıçramalarla ilgili bir sonuçtur. Rezidü cisimlerinin sonlu olduğu özel bir durumda Helmut Hasse tarafından ve genel çözümü de Cahit Arf tarafından kanıtlanmıştır. Teorem, sonlu bir Abel genişlemesi {\displaystyle L/K}nin üstten numaralandırılmış yüksek dallanma gruplarıyla ilgilidir.