希尔伯特第九问题是希尔伯特的23个问题的一个问题，要在一般代数数域中找到可以对应k阶范式剩余的互反律，其中"k"为质数，而范式剩余是利用希尔伯特符号计算。
进展.在此问题的求解上，已有一些进展，但还没完全解决。奥地利数学家埃米尔·阿廷（Emil Artin，1924; 1927; 1930）发现了处理代数数域下的。不但发现了更一般性的哈塞互反律，他和高木贞治的贡献也带动了类域论的发展，用抽象的方式来处理希尔伯特符号。后来（1948; 1949; 1950）找到特定情形下范式剩余的公