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

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

Y2=X3-p3上的无穷阶点

首先用(12)上的模函数参数化椭圆曲线y²=x³+1,然后利用虚二次域Q((-p)^1/2)上的类域论和Shimura互反律构造了当p≡7(mod24)为一素数时Y²=X³-p³上的一个无穷阶点.     

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

设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数 ,这些结果系统地把关于二次域及四次循环域的许多结果推广到实六次循环域上 .     

类数公式的机器证明——Chowla一个猜想的注记

设素数 p=4N² + 1 (N为一个正整数 )使得实二次数域Q(√p)的类数为1 ,作为追随吴文俊数学定理机器证明方向的一次尝试 ,用微机证明了一些虚二次数域Q√( -qp)的类数公式 ,这里 q =3,7,1 1 ,1 9,2 3,31 ,43和 47.     

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

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

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

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

脂肪醇和酸在水溶液表面上的吸附热力学研究

本文用毛细上升法测定了四种脂肪醇(C₁—C₄)和四种脂肪酸(C₁—C₄)的水溶液在不同温度下的表面张力,计算了各种醇和酸的分子自溶液内部至表面的吸附热力学量,包括吸附自由能△G⁰、吸附熵△S⁰和吸附焓△H⁰.结果表明,△G⁰,△S⁰和△H⁰皆是分子中碳原子数n的线性函数.文中还根据表面张力独立作用原理,估算了球状分子的碳氢基在表面上暴露的程度。     

关于二元样条空间Sr（3r）（△*）的维数

设△^*任何三角剖分△的ＨＣＴ细分的三角剖分．本文建立了定义于△^*上的二元样条函数空间S^r_（3r）（△^*）的维数公式．我们的证明方法同时给出了S^r_（3r）（△^*）的一组显示的基函数，并阐明基函数具有某种意义的局部最小支集     

一般四次循环域的十个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年关于二次域的许多结果推广到四次循环域上去。     

满足Condl(A)=1(l=1,∞)的矩阵A的充要条件

本文导出了长方矩阵A的条件数Cond_l(A)=‖A‖_l‖A⁺‖_l=1(l=1,∞)的充要条件;而且给出了Cond_l(A)=1时A的矩阵结构和元素结构形式;同时指出文[6]中两个主要定理的错误.     

实二次域上理想类的zeta-函数在-1处的值

用连分数给出了实二次域理想类的zeta-函数-1处值的一个具体的计算公式.     

实二次域上理想类的zeta-函数在-1处的值

用连分数给出了实二次域理想类的zeta-函数-1处值的一个具体的计算公式.     

初等微分几何的机械化证明

本文系文献[1]关于初等几何机械化证明的继续,文中指出,应用同样的原理可给出一个算法,足以判定初等微分几何中一个适当的叙述是否是一真实的定理,方法是依据Riquier-Ritt-Thomas的理论^[2,3],这些理论本身就是算法性的。     

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

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

实二次域上理想类的Zeta-函数在-3处的值

用简单连分数给出了实二次域理想类的Zeta-函数在-3处值的一个具体的计算公式.     

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

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

复Grassmann流形中的全纯2-球面

研究复Grassmann流形G(k ,n)中的全纯 2 球面S² ,导出了广义Frenet公式和广义Plücker公式.利用这些公式得到一些曲率pinching定理.还给出了G(k ,n)中Einstein全纯S² 的结构定理.     

二元四次样条函数空间的维数与基底

本文讨论了一类多边形区域上样条空间S₄²(D,△)的维数与基底,给出并证明了文献[1]中主要结果的推广形式。 在文献[1]中,作者解决了平面矩形区域上样条函数空间S_k^μ(△_mn⁽¹⁾)(k=3,μ=1;k=4,μ=2)的基底问题,其主要结果是基本的。本文将要考虑其中有关S₄²(△_mn⁽¹⁾     

虚二次域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((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成立的必要条件.