决定类数为一的(2,2,…,2)型代数函数域

设k=F_q(t)为F_q上以t为变元的有理函数域,F_q为q元域,特征不是2。设L=k(√D₁,…,√D_n~(1/2))是k的2ⁿ次扩张,常数域为F_q,D_i∈F_q[t],n>1。本文证明了:(1)除子类数为1的域L恰为k(√P₁,√P₂)和k(√P₁P₂,√P₁P₃),其中P_i∈F_q[t]为互异一次多项式。(2)理想类数为1的虚域L=k(√D₁,√D₂)(即L的整数环是唯一析因环)必是D₁=t;而D₂=t³-t-1(q=3),t²-t-1(q=3),t~2+2(q=5),或t+c,c∈F_q(或其在变换下的变形)。     

一般四次循环域的十个Ankeny-Artin-Chowla型类数公式

设K为四次循环数域,k为其二次子域,记h(L)为域L的理想类数。本文得到h^-=h(K)/h(k)的十个同余公式。特别若,素数p=r²+s²,s为偶数,则当p≡1(8)时,C₁h^-≡B_(p-1)/4B_3(p-1)/4(mod ρ),B_n是Bernoulli数;当ρ≡5(8)时,C₂h^-≡E_(ρ-5)/8E_(3ρ-7)/8(mod ρ),E_n是Euler数。若实则。若3在K=Q(√θ)分歧,则C₄h^-≡h(K*)/h(k)(mod 3),K*=Q(√3θ).C_i均为明显给出常数.此外还得到h^-可能因子的一些关系。这些结果相当于系统地把Ankeny-Arun-Chowla,Kiselev,Carlitz,陆洪文等从1948到1983年关于二次域的许多结果推广到四次循环域上去。     

(2,2,…,2)型代数函数域

本文基于文献[1—4]的有关结果系统地研究了2ⁿ次扩域 L=k(√D₁(t)…,√(D_n(t),D_i(t)∈F_q[t], 特别决定了L/k的分类,素分解规律,整基,判别式,亏格;定义并确定了L/k的导子;确定了L/k的ζ-函数;最后证明了L的理想类数为,L的(零次)除子类数为,其中K_v过L/k的二次子扩张,Q为单位指数,m∈Z明显给出。后两公式的证明涉及较复杂的计算。这些结果是上述关于k的二次扩张结果的推广。基于这些结果及MacRae,Madan的若干结果,我们在相继的论文中确定了h(L)=1的全部域L,以及h(O_L)=1,n=2的全部虚域L。     

关于实二次域的类数(Ⅱ)

本文推广了文献[1]的结果,提供了实二次域类数等于1的另一个充要条件,文献[1]是这里的一个特例,特别,对素数p=4n²+1(n>1),域K=Q(p×1/2)的类数等于1的充要条件是这儿ζ_K(s)是域K的ζ-函数.     

实六次循环数域的类数同余公式 *

设K6为六次实循环数域 ,K₂ ,K₃ 分别为其二次及三次子域 ,记h(L)为数域L的理想类数 .得到了h^-=h(K₆) /(h(K₂ )h(K₃ ) )的 7个同余公式 .特别当K₆的导子 f =p为素数时 ,Ch^-≡Bp -1/6B5 ( p -1)/6 (modp) ,其中C为明显给出的常数 ,B_n 为Bernoulli数 ,这些结果系统地把关于二次域及四次循环域的许多结果推广到实六次循环域上 .     

实二次域的Kronecker极限公式(Ⅰ)

本文得到实二次域的带Dirichlet特征的Kronecker极限公式,再利用Dedekind η函数的结果,得出 定理。设素数p=4n²+1(n>2)使实二次域Q(P^1/2)的类数为1,则虚二次域(Q(-4p)^1/2)的类数为2n+4(-1)^(n-1)/2。     

关于循环域类数奇偶性的一个初等判别法

设K是分圆域Q(ζ_p^l)的奇次子域,F为K的分圆单位群。F₊为K的全正分圆单位群。通过计算dimF₂F₊/F²,我们给出域K的理想类数奇偶性的一个初等判别法。由此计算出在分圆域Q(ζ_p)(P<1000)的奇次(循环)子域(次数3≤n≤19)中间,恰有17个域具有偶类数。     

代数数的有理和代数逼近及应用

用Thue-Siegel方法给出了一大类代数数的有效有理和代数逼近.作为应用,证明了:若D>0非平方数,x²-Dy²=-1的基本解ε=x0+y0√D(2/1),则x²+1=Dy⁴可解的充要条件是y0=A²,A为整数,且当ε>64时,x²+1=Dy⁴最多只有一组正整数解(x,y).     

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

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

两类虚二次域类数之间关系的一个注记

就素数d=5,13,29,53,173,293时给出了虚二次数域■(-k)与■(-kd)(k>2,k∈■)的类数之间的关系.     

p -级数域重排特征系统的(C, α)}和

令G_p 为p级数域.在文献[9]中, G.Gát 和 K.Nagy 已经证明p级数域的重排特征系统的(C,1)极大算子是强 (q, q)型(1 α_n f 几乎处处收敛于f.     

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

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

加群(Pk-1,P)型的Pk(k>3)阶结合环的同构分类

本文给出加群(p^k-1,p)型的p^k(k>3)阶结合环的同构分类,类数如下表:(?)并按幂零和非幂零分别列表举出一个全体代表团。     

Jacobson猜想成立的某些充分条件

Jacobson在文献[1]给出了一个猜想:若(L,[p])为限制李代数,且x^[p]n(x)=x,?x∈L,n(x)>0,则L是交换李代数.至今为止,人们还不知此猜想是否正确.本文分别证明这个猜想在p映射为p半线性映射或者域F为代数闭域条件下的正确性.     

剩余有限minimax 可解群的几乎正则自同构

设G 是一个剩余有限的minimax 可解群, α 是G 的几乎正则自同构, 则G/[G, α] 是有限群, 并且(1) 当α^p = 1 时, G 有一个指数有限的幂零群其幂零类不超过h(p), 其中h(p) 是只与素数p 有关的函数.(2) 当α² = 1 时, G 有一个指数有限的Abel 特征子群且[G, α]′ 是有限群.关键词剩余有限minimax 可解群几乎正则自同构     

Abel数域的相对类数和Hilbert模流形的算术亏格

设K是:1)分圆域Q(ζ_q)的任意奇次子域,其中q为任意素数;或者2)具有任意导子的P次循环域,其中p为任意奇素数。以X(K)表示域K上的Hilbert模流形的算术亏格。本文证明了:对于上述两种类型的代数数域,除了六个域之外,其余均有X(K)<0。这六个例外的域是:导子为7,9,13和19的三次循环域(X(K)=1),导子为37的三次循环域(X(K)=0)和五次循环域K=Q(ζ₁₁+ζ₁₁^-1))(X(K)=1)。     

5个几乎相等的素数之平方和(II)

证明了每一满足条件N≡ 5 (mod2 4)的大整数均可表为N =p²₁+… + p²₅ ,其中pj 为素数且满足|pj-√N/ 5 |≤N^{12₂₅ +ε}.这一结果给出了 5平方素数定理的小区间形式 .     

某些K2OF的结构

本文研究二次数域F=Q(d^1/2)的K₂O_F结构,其中d≡-3mod9和d≠-3.找到了关于F=Q((-21)^1/2)的K₂O_F的3阶元和F=Q((15)^1/2)的K₂O_F的生成元.推广了Bass和Tate的一个定理和给出了F=Q((29)^1/2)的K₂O_F的结构以及sL_n(O_F)(n≥3)的表示关系.     

椭圆曲线在(2,…,2)型数域上的扭群结构

设E：y²=x(x+M)(x+N)为椭圆曲线MK为2ⁿ次(2,…,2)型数域. 完全确定了E的K-有理点Mordell群的扭子群E(K)_tors的结构,按n=2和n≥3两种情形,明显给出其分类、判则和参数化,列出各扭子群;并对任意n证明了E(K)_tors的阶总是2的幂. 此外,对任意数域F上的椭圆曲线E,证明了 E(L)_tors=E(F)_tors对几乎所有素数p次扩张L/F成立. 这些结果发展了Kwon等人关于E在二次域上扭子群的结果.     

连分数与类数及其他

本文用连分数给出虚二次域的类数公式,见文中的定理4.结合Hirzebruch和zagier的结果(定理5),就完全了用连分数给出虚二次域的类数公式的结果.另外还讨论了一类虚二次域类数的可除性,即有 定理6.设l,q均为正整数,且q≥2.如0>△=1-4q^l为无平方因子整数,则l除尽虚二次域(Q(△^1/2)的类数. 文献[6]中,用了代数几何方法证明了当l为奇素数时的情形,本文只用初等方法.最后,文中给出了一个实二次域类数的初等公式.