实二次域类数的一个同余式

在这篇短文里,我们要证明定理设p是一个奇素数.以h表实二次域Q(p~(1/2)的类数,而以表Q(p~(1/2))的基本单位,共中t,u是有理整数,Q是有理数域.则我们有同余式     

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

关于二次域理论求解一类Diophantus方程的整数解

本文研究了两个典型Diophantus方程在实二次域中整数解的问题.利用二次域中的理论和二次代数整数环中算术基本定理,得到了该类方程的一般解法和在实二次域中的所有整数解的相关结论,推广了文献[1]和[2]的结果.     

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

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

On the Primes of Simple Imaginary Quadratic Fields and Real Euclidean Quadtic Fields

As is well known,an Euclidean fiels is a simple field.As regards the quadratic field Q(√D),where Q is the ring of rational integers and D is a square-free rational integer,we have know that an imaginary quadratic field Q(√D) is simple iff D∈｛-1,-2,-3,-7,-11,-19,-43,-67,-163｝,and a real quadratic field is Euclidean iff D∈｛2,3,5,6,,7,11,13,17,19,21,29,33,37,41,57,73｝.This paper will discuss the primes of Q(√D) when D belongs to the set QD=｛-1,-2,-3,-7,-11,-19,-43,-67,-163,2,3,5,6,,7,11,13,17,19,21,29,33,37,41,57,73｝.     

关于简单实二次域的两个猜想

本文在假定广义Riemann猜想成立的条件下,证实了R.Mollin和H.Williams以及S.Louboutin分别在文献[2]、[3]中提出的两个有关简单实二次域的猜想.     

实二次域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].     

On the exceptional fields for a class of real quadratic fields

In this paper, we give a lower bound exp(2.2 × 10~8 ) for those discriminants of real quadratic fields Q(√ d) with d= N~2-4 and h(d)=1.     

实二次域的一个同余式

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

实二次域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)!,其中     

丢番图方程与实二次域类数的可除性

设ｄ无平方因子，ｈ（ｄ）是二次域的类数。本文证明了：在方程Ｕ￣２－ｄＶ￣２＝４，（Ｕ，Ｖ）＝１有整数解时，丢番图方程４ｘ￣（２ｎ）－ｄｙ￣２＝－１，ｎ＞２无｜ｙ｜＞１的整数解；如果正整数ａ，ｋ，ｎ满足，ｋ＞１，ｎ＞２且而是Ｐｅｌｌ方程ｘ￣２－ｄｙ￣２＝－１的基本解，则ｈ（ｄ）≡０（ｍｏｄｎ）。     

关于一类实二次域的类数与基本单位的上界

设素数P≡1(mod4),k,ε分别表示实二次域Q(p~(1/2))类数和基本单位．本文改进了类数h和基本单位ε的上界,证明了:hlogeε<1/4(p~(1/2) 6)log(2ep~(1/2)),并得到了几个重要的推论．     

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

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

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

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

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

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

关于实二次域类数的上下界

设Ｄ是无平方因子正整数，Δ，ｈ，ε分别是实二次的判别式、类数和基本单位数，本文运用初等方法证明了：（ｉ）在假定广义Ｒｉｅｍａｎｎ猜想成立的条件下，当Δ＞１０￣９时，（ｉｉ）当Ｄ＝ｐ，ｐ是奇素数时，     

实二次域上正定偶幺模格的类群

本文综合利用邻格方法及Siegel mass公式证明了实二次域Q（√d)上∨≌In(n≥4)内的偶幺模格类数为2当且仅当Q（√3）,n=4及Q（√5），n=8。     

几个关于二次域基本单位的结果

给出了当m是二个或三个素数之积时,二次域OK中有范数为-1单位的证明．还给出了m是其他值时的情况．     

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

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