关于Q（√4k^2n＋1）的理想类群的循环子群

设ｄ,ａ,ｋ,ｎ是适合４ｋ＾２ｎ＋１＝ｄａ＾２,ｋ〉１,ｎ〉２,ｄ无平方因子的正整数;又设Ｃ（Ｋ）和ｈ（Ｋ）分别是实二次域Ｋ＝Ｑ（√ｄ）的理想类群和类数。本文证明了：当ａ〈０．５ｋ＾０．５６ｎ时,则ｈ（Ｋ）≡０（ｍｏｄ ｎ）和Ｃ（Ｋ）必有ｎ阶循环子群。     

关于Q(4k~(2n)+1)的理想类群的循环子群

设ｄ,ａ,ｋ,ｎ是适合４ｋ２ｎ＋１＝ｄａ２,ｋ＞１,ｎ＞２,ｄ无平方因子的正整数;又设Ｃ（Ｋ）和ｈ（Ｋ）分别是实二次域Ｋ的理想类群和类数．本文证明了：当ａ＜０．５ｋ０．５６ｎ时,则ｈ（ｋ）＝０（ｍｏｄｎ）和Ｃ（Ｋ）必有ｎ阶循环子群．     

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

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

实二次城 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 整除其类数.     

一类有关虚二次域理想类群的指数丢番图方程

设Ｄ１、Ｄ２是适合Ｄ１≥１，Ｄ２〉１，ｇｃｄ（Ｄ１，Ｄ２）＝１的无平方因子正整数，ＩＫ是虚二次域Ｋ＝Ｑ（√－Ｄ１Ｄ２）的理想类群。本文证明了：如果存在正整数ａ、ｂ、ｋ以及奇素数ｐ，可使Ｄ１ａ＾２＋Ｄ２ｂ＾２＝ｋ＾ｐ，ｇｃｄ（ａ，ｂ）＝１，ｂ∈Ｎｐ，２├ｋ，其中Ｎｐ是所有不含２ｔｐ±１之形素因数的正整数的集合，则当ｐ〉５且ｍａｘ（Ｄ１，Ｄ２）≥１０＾１０＾１９７时，ＩＫ必有ｐ阶循环子群。     

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

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

实二次域的一个同余式

本文证明了关于实二次域的类数和某类特征和的同余式,同时给出某类实二次域的类数可除性的一个判别法则．     

实二次代数函数域理想类群的子群

给出了实二次代数函数域K的理想类群H(K)含有n阶循环子群的充分必要条件. 并构作了8个系列的实二次函数域, 使其理想类群均含有n阶循环子群. 特别, 可知这些函数域的理想类数均含因子n .     

关于虚二次域类数的可除性

设α＞１，ｂ＞１，（α，ｂ）＝１，ｈ（－αｂ）表虚二次域的类数。如果有正整数ｘ，ｙ，ｎ，ｋ满足（１）αｘ￣２＋ｂｙ￣２＝４ｋ￣ｎ，ｂ且；或（２）αｘ￣２＋ｂｙ￣２＝ｋ￣ｎ，ｘ｜α，ｙ｜ｂ且αｂ≡２（ｍｏｄ４），则本文证明了关于ｈ（－αｂ）的可除性的两个定理（见定理１，２），其中符号ｘ｜α表示ｘ的每一个素因子整除α。     

实二次域Tame核的阶的3-整除性

本文证明了对某类实二次域,其类数能被3整除当且仅当其Tame核的阶能被3整除,同时给出 了Browkin关于Tame核的3整除性的结果的一个不同证明．     

实二次域Tame核的阶的3-整除性

本文证明了对某类实二次域,其类数能被3整除当且仅当其Tame核的阶能被3整除,同时给出了Browkin关于Tame核的3整除性的结果的一个不同证明.     

实二次域Q(P(1/2))(p≡3(mod 4))类数的上界

设p是适合p≡3（Pod4）的奇素数,h,ε分别是实二次域Q的类数和基本单位．本文运用初等方法证明了：εh＜（p a 2)a 2/4(a 2)!,其中     

实二次域Q(P(1/2))(p≡3(mod 4))类数的上界

设p是适合p≡3（Pod4）的奇素数,h,ε分别是实二次域Q的类数和基本单位．本文运用初等方法证明了：εh＜（p+a+2)a+2/4(a+2)!,其中     

虚二次域Q((1-4k~n)~(1/2))类数整除性的例外情况

设d是无平方因子正整数,h_K是虚二次域K=Q((-d)~(1/2))的类数.又设d满足1+da~2=4k~n,其中a,k,n是适合k1,n2的正整数.运用初等数论方法给出了数组(d,a,k,n)可使n|h_K成立的必要条件.     

虚二次域Q(√1-4kn)类数整除性的例外情况

设d是无平方因子正整数,hK是虚二次域K=Q(√-d)的类数.又设d满足1+ da2=4kn,其中a,k,n是适合k＞1,n＞2的正整数.运用初等数论方法给出了数组(d,a,k,n)可使n|hK成立的必要条件.     

数域Q(P_1~(1/2),…,P_t~(1/2))(t≥4)的类数为偶数

设t≥4,ｐ１,…,ｐｔ为不同的模４余１的素数,本文证明了数域P1~(1/2),…,Pt~(1/2)的类数为偶数．     

一些循环代数函数域的不分明理想类

本文研究了一些l次循环函数域的理想类群的不分明理想类的结构问题.利用函数域的素理想分解理论和理想的一阶上同调理论,得到了这几类循环函数域的理想类群的l-秩的下界.进一步,我们还得了一些不分明理想类中不含不分明理想的域的充分条件.     

数域Q(P_1~(1/2),…,P_t~(1/2))(t≥4)的类数为偶数

设t≥4,ｐ１,…,ｐｔ为不同的模４余１的素数,本文证明了数域P1~(1/2),…,Pt~(1/2)的类数为偶数．     

实二次域Q(√p)(p≡3(mod4))类数的上界

设p是适合p≡3(mod4)的奇素数,h,分别是实二次域Q(√p)的类数和基本单位.本文运用初等方法证明了:εh<(p+a+2)a+2/4(a+2)!,其中a=[(√p+1)/2].