实二次域的理想类群与其子群

给出实二次域K=Q(m^(1/2))的理想类群含n阶循环子群的充分必要条件,以及满足这些条件的判别方法;并给出具有此性质的8类实二次域,例如m=(z^n+t-1)~2+4t(其中t|z^n-1);后者包含m=4z^n+1和m=z^(2n)+4为特例。所用方法还可以给出许多有此性质的域。

对一些实二次域的理想类群和类数的Cohen-Lenstra预测的有条件改进

著名的Cohen-Lenstra“启发式论据”预测(Heuristics,见文献[1]引起了非常广泛的兴趣和研究.本文对于某种类型的实二次域,将Cohen-Lenstra的一般性预测进一步细化,即对理想类数含某个素因子p,和某个理想类是p阶元,预测出条件概率.经过相当大量的计算机数值计算检验,发现这两种预测与计算结果均符合得很好. 早在考查实二次域K=Q(n^2+3n+9)^(1/2)的类数h的时候,我们发现其类数经常是3的倍数(见文献[2]).有一个想法可对此作出简单解释,即由于- 27=(2n+ 3)~2- 4(n ~2+ 3n+9),故3在K中的素理想因子的立方是主理想.因此若此素理想本身不是主理想。

Modification of Cohen-Lenstra heuristics for ideal class groups and numbers of certain real quadratic fields

THE famous Cohen-Lenstra heuristics aroused wide insterest and research. Here for a certaintype of real quadratic fields with elements P of potential order p in their ideal classes, modifi-cations of the Cohen-Lenstra heuristics for the probability that the class number h is a multipleof p, and the probability that P is of order p, are presented. Via a quite large amount ofcomputations, it was found that both of these probability predictions agree fairly well with thenumerical data.

实二次域类群的启发式论据与结果

对一些类型实二次域的类数h经常含一个固定素数因子p的现象进行了研究 .发现是由于存在一种素理想 ,其p次幂为主理想 .由此给出了Cohen Lenstra启发式论据对此情形的改进 ,即预言理想类数h是素数p的倍的概率为 1 - ( 1 -p-1) ( 1 -p-2 )… .用同样的想法 ,进而预言所考虑的素理想代表的类P的阶确实为p的概率为 1 /p .所得到的这两种概率与计算结果都有很好的符合 .