实二次城 Q(■)类数的可除性

设 d 是无平方因子正整数,h(d)是实二次域 Q(d~(1/2))的类数.本文证明了:如果 da~2=1+4k~(2n),a、k、n 是正整数,k>1,n>1,n 的奇素因子 p和 k 的素因子 q 都适合 gcd(p,(q-1)q)=1,而且 2k~n+ad~(1/2)是 Pell 方程u′~2-dv′~2=-1 的基本解,则除了(a,d,k,n)=(5,41,2,4) 以及 n=2,k=P_mP_(m+1) 或者 2Q_mQ_(m+1) 以外,h(d)=0(modn),这里 m 是正整数,P_m=1/2((1+2~(1/2))~m+(1-2~(1/2))~m),Q_m=1/22~(1/2)((1+2~(1/2))~m-(1-2~(1/2))~m).由此可推得:对于任何正整数 n,存在无限多个实二次域,可使 n 整除其类数.