Abel q-域的相对整基

记数域L及其一个子域K的整数环为O_L和O_K。如果O_L是自由O_(K~-)模,则称L/K有相对整基。Artin和Frhlich均提出和研究过数域的相对整基存在性问题。文献[2～5]等对双循环双二次域和四次循环域L研究了此问题。在文献[6～8]中,对四次循环域和Galois群为Gal(L/Q)≌(Z/qZ)~n的Abel域L,彻底解决了此问题(q为素数)。文献[9]研究了Galois群为(Z/q~sZ)~n的Abel域L。 有理数域Q的q幂次Abel扩张L称为Abel q-域,这里q为任意素数。对于L在其任一子域K上的相对整基存在性,以及相对判别式由一个有理数平方生成等问题,本文将系统发展上述有关结果。     

k连通闭流形到某些欧氏空间的内浸

在这篇文章中,我们主要获得了以下二个结果:1.设W为k连通n维闭流形,k=0时,要求W是可定向的。令M=(?),0≤h≤2k,n—2h≥5,则M到R~(2n-h-1)的内浸一定可以扩张为W到R~(2n-h-1)的内浸。2.给出k连通闭流形到某些欧氏空间的内浸分类。由定理3当k=0时,就得出文献[1]中当流形为n维定向闭流形时到R~(2n-1)的内浸分类;当K=1,n≡0 mod 4时,我们就得出文献[2]中当流形为n维单连通闭流形时到R~(2n-2)的内浸分类。     

可裂G_2的K态及其张量积

除了可裂G_2外,为了给出线性连通Lie群G的缠结算子公式,文献[1]中讨论了G的K态在一类重要的张量积中的相遇问题。为了给出可裂G_2的缠结算子公式,讨论可裂G_2的K态在一类重要的张量积中的相遇问题是十分必要的,本文对此问题给出了以下的结果,本文的概念和符号均与文献[1]中一致。 引理1 设A’是△_K~ 上的支配整线性函数,那么:     

一般分圆域的幂元整基

设K是代数数域,代数整数α称为K的幂元整基生成元,如果Z[α]是其代数整数环。两生成元α与β称为等价,如果存在,使得α=k±σ(β). 文献[1]证明了在等价意义下,数域K只     

关于(q~s,q~s,…,q~s)型数域的相对整基

文献[1]中简洁构作了Abel数域K的Genus域K_G。本文将对K_G作进一步刻画,从而决定Abel数域K的导子f(K)和判别式D(K)。最后证明(q~s,q~s,…,q~s)型数域扩张L/K具有相对整基。设L是一个数域,K是其一子域。域K的整数环O_K是Dedekind环,O_L是无扭O_K-模。于是由E.Steinitz(1912)和I.Kaplansky(1952)关于Dedekind环上模的结构定理知O_LO_K~(-1)J,其中n=[L:K],J是K的理想,在相差主理想倍(即同一理想类)意义下唯一决定。于是,代表的理想类[J]就完全决定了O_L的环结构。特别     

实二次数域类数h(K)=1问题

利用文献[1]等关于丢番图方程的结果和连分数等理论,本文对实二次域K,特别是其中的ERD型域,将给出一系列关于理想类数h(K)=1和h(K)>1的判定定理。实二次域类数问题自从Gauss提出猜想以后,文献很多。例如陆洪文在文献[2—4]中有关于类数为1问题的很深刻的结果。我们在文献[5]中决定了类群的子群特别是类数的因子。对ERD型二次域,最近有许多结果(可见文献[6]及所引结果),但问题也远未解决。     

一类高次缺插值样条函数

在文献[1]中,Meir和Sharma提出了一种五次缺插值样条函数,文献[2,3]改进了文献[1]中的结果。最近,沙震用类似方法讨论了七次、十一次样条。本文目的是给出一种一般的处理方法,不仅大大改进了已有结果,而且可用来讨论一般的插值偶次导数的样条。在§1中,通过Hermite插值样条讨论一种H-B插值样条给出收敛速度估计和渐近展开。     

论有序树次序列间的对偶性

文献[1—3]都给出有序树的一个次序列表示,本文将在文献[3]中给出的次序列之间给出一种对偶关系,从而在具有i个内点和l个外点的有序树的集合与具有l个内点和i个外点的有序树的集合之间建立了一一对应关系。     

A.N.Prior的模态直觉主义演算MIPC具有13个模态辞

研究直觉主义系统的模态扩充,特别是在文献[1]中意义下属于S5型的有许多。这其中包括文献[2]中的系统IS5,以及文献[3]中的四个系统IM4W,IM4M,IM4S以及IM5。然而在这许多系统中提出最早且     

关于Hensel赋值环

设L|K是代数扩张,B是L的Hensel赋值环,问在什么条件下,A=B∩K也是Hensel的?1942年Kaplansky和Schilling提出这个问题,并对一阶的情形给出了一个充分条件。1966年代执中对有限阶的情形给出了一个充分条件,1967年Ribenboim对一阶的情形改进了文献[1]的结果,1968年Endler对一阶的情形又改进了文献[3]的结果,并给出了另     

微分多项式理想的极小特征基

在文献[1]中我们定义了多项式理想的极小特征基并研究了其性质。本文将这一概念推广至微分多项式理想。 1。极小特征基的定义 考虑一个特征为零的基本数域K及一组变元X_1,…,X_n。K{X_1,…,X_n)为系数在K中X_1,…,X_n的微分多项式集。我们用X_i,j表示X_i的j次微分。有关微分代数的一些概念如:初式、升列、基列等读者可参考文献[2,3]。在变量间     

关于幂和问题的进一步研究

设n与k都是正整数,令S_k(n)=sum from m=1 to n m~k。由于组合数学的发展,近代数学家们对寻求S_k(n)的解析表达式这个有趣的问题又进行了大量的研究,并在他们的文章中提出或用不同的方法来处理这个问题,他们给出了最高次数为13的幂和公式,证明了S_k(n)是n的k 1次有理多项式。我们在文献[3,4]中也用了不同的方法来解决这个问题,给出了最高次数为     

P(n,4)与A(n,4)的简单统一显式

设P(n,k)为整数n分为k部的无序分析的个数,每个分部≥1.这个数已成为组合图论和数论里的重要数据,应用广泛,但却十分难于具体计算.为此,作者已给出P(n,k)的降部恒等式和快速计算的几个定理.但对每一k≥4而言,迄今无法求出简单统一的公式,目前只有 P(n,2)=[n/2]简单统一的公式,目前只有和p(n,3)=.又设A(n,k)为下述Diophantos方程sum from i=1 to k(ix_i)=n (1)的非负整数解的个数.尽管方程(1)看来很特殊,但求A(n,k)也是十分困难的.迄今只有 Hardy给出的 A(n,3)=<(n+3)~2/12>.人们至今无法给出简单统一的 A(n,4).本文所有记号与文献[1,2]相同,表示距实数x的最近整数,并记r=1-(-1)~n/2=0(当n为偶数),1(当n为奇数)(2)本文主要的结果是引理1(转换关系)     

关于一类倾斜代数

设A是代数闭域k上基本、连通的有限维遗传代数,_AT是倾斜左A-模,B=End_AT是倾斜代数。我们熟知,当A是tame型时,_AT有预投射直和项和预入射直和项当且仅当B是有限表示型代数(见文献[1]命题5.7或文献[2]中4.1)。但当A是一般遗传代数时,是否有相应的结果,在此之前,一直是公开问题(见文献[1]中5.7)。本文给出了这个问题的完全刻化。得到     

T.A.Burton定理的拓广

存在,唯一。其它记号与概念同文献[1]。本文证明文献[1]中定理1泛函沿方程(1)的解的导数关于状态变元(x,y)的定负性条件可用关于部分变元y的定负性条件来代替。     

可裂G2的K态及其张量积

<正>除了可裂G₂外,为了给出线性连通Lie群G的缠结算子公式,文献[1]中讨论了G的K态在一类重要的张量积中的相遇问题.为了给出可裂G₂的缠结算子公式,讨论可裂G₂的K态在一类重要的张量积中的相遇问题是十分必要的,本文对此问题给出了以下的结果,本文的概念和符号均与文献[1]中一致.     

再论多重共轭Fourier级数的强求和

本文是文献[1]的继续,其目的是改进文献[1]关于多重共轭Fourier级数强求和的结果。 沿用文献[1]的记号。设Q={x=(x_1,…,x_k):-π≤x_j<π,j=1,…,k}。 L(Q)表示在Q上可积的函数的集合,设P(x)是一个n≥1次的k元齐次调和多项式。对于f∈     

一类鞍点量的计算

一、问题的提出 复域中常微分方程的奇点定性分类已在文献[1,2]中给出。对线性系统定义一个示性数以A_c=—λ_1/λ_2,其中λ_1和λ_2为下列特征方程的根:     

具有双幂型临界点的单峰映射的光滑共轭分类

对不具有临界点的离散动力系统研究光滑共轭问题的历史已经比较久长,见文献[1—4]。Sullivan在研究Feigenbum现象时提出的核心问题之一是要对单峰映射族给出光滑共轭分类,Jiang在这方面取得了较大的进展。本文拟在文献[7]的基础上,采用奇异的坐标变换,对一类具有双幂型临界点的单峰映射给出光滑共轭分类。值得指出的是:文献[7]中对特殊系统引进的反称量(asymmetry)是局部共轭不变量,而本文中对一般系统引进的双反称量(biasymmetry)却是整体共轭不变量。     

关于H~P(R_+~2×R_+~2)空间中的一个问题

一、引言 在文献[1]中Chang和Fefferman利用P原子得到了H~P(R_+~2×R_+~2)空间的原子分解。在他们的P原子概念中,其“初等粒子”应该满足K(p)=[2/P-3/2]阶消失矩条件,为此他们提问:是否K(p)=[2/P-3/2]对于H~P(R_+~2×R_+~2的原子分解是最好的选择?本文利用Fefferman最近给出的另一种P原子形式,证明了对于H~P(R_+~2×R_+~2)的原子分解最好的选