一般四次循环域的类数的同余公式

Ankeny-Artin-Chowla在文献[1]中得到关于二次数域k的类数h的许多同余式,其中有些已为A.Kiselev得到。特别若k的判别式为素数P≡1(mod4),记ε_0=(t+u(p)~(1/2))/2为k的基本单位,则有