表辛矩阵为辛平延之积

一、引言设K为一域,F为K上的一个n×n非奇异交错矩阵。从F的非奇异性可知n=2m为一偶数。K上的n×n矩阵P称为关于F的一个辛矩阵,如果PFP′=F成立。关于F的所有辛矩阵组成一个群,称为域K上由F定义的n级辛群,记作S_(p_(zm))(K,F)。设T为K(上的一个n×     

二维左对称代数的分类

定义1 在域K上的一个线性空间A定义一个双线性的乘法: 使得 则称A是一个左对称代数。     

关于Banach空间上对称乘积映射的不动点

设X~n为拓扑空间X的n次笛卡尔积,G为n个元素的全置换群,对,定义;则G可看作X~n上的一个同胚变换群,称X~n在群G作用下的轨道空间X~n/G为X的n次对称乘积空间,记作X~(n)。定义1 映射F:X→X~(n)称为X上的n次对称乘积映射,或简称为n映射;记,若为X~(n)中紧集,则称F为紧映     

椭圆曲线码的自同构群

设K是以F_q为常数域的单变量函数域,如果K是可离生成的且亏格为1的守恒域,则称K是椭圆函数域(定义见文献[1],p.190).我们总假设K中有一阶素除子且个数≥6,并用K(1)记作K中一阶素除子集合。在K(1)中取定一个元P_∞,那么我们可以在K(1)中定义一个加法,使K(1)是一个Abel群,P_∞是这个群中零元素,用〈K(1),⊕,P_∞〉记之,加法按如     

关于数学结构的一些元数学定理

定义1 设S是个体集合,R是S上的一些关系的集合,M(S,R)由R和S所组成。如果它的公理可在一阶语言L中表述,并使得对任何可在M中定义的n元关系A和M中的     

矩阵αI+βJ的性质和某些问题

设F是一个域,GL_v(F)为域F上的v级一般线性群,v≥2。以I表v阶单位阵,J表v阶全1阵。记本文继续魏万迪对于矩阵类的群性质的研究,得到了下面的结果(以下凡谈到GL_v(F)的子群的中心化子和正规化子时,均指对于     

无限方阵相似性的转移定理

域上的无限方阵是一类不易处理的对象,其困难在于它们之间按通常定义的乘积未必存在,乘积存在时也未必适合结合律,可逆方阵的逆阵未必唯一,以及现在还没有与行列式相应的工具,等等.本文主要讨论行列有限的无限方阵(即每行每列都只含有限个非0元者,以下简称rcf阵),它们反映域(看作自身上的向量空间)的无限直和中的线性变换,有较好的性质.本文从模型论中“紧致性论证”的思路出发,在文献[1]中结果(见定理2)的基础上,证明     

关于Poisson核的一点注记

华罗庚给出了对称域的Cauchy核H(Z,U),他与陆启铿定义Poisson核P(Z,U)为同时证明:对特征流形上的任一固定点U,P(Z,U)能被由Bergman度量所定义的Laplace-Beltrami算子所零化。但陆汝钤发现,对一些非对称的齐性Siegel域,其Poisson核却不能被Laplace-Beltrami算子零化,同时指出,这一事实或许是非对称齐性Siegel域的固有性质。果     

TU(n,K,h)或Ω(n,K,Q)在GL(nr,F)中的扩群

设K,F是体,KF,将K看作F上的左空间并设dim_FK—r<∞。n维左K-空间V(n,K)可看作F上nr维空间V=V(nr,F),从而作用于V(n,K)上的GL(n,K)被嵌入作用于V(nr,F)上的GL(nr,F).在文献[1]中我们定出了SL(n,K),Sp(n,K)在GL(nr,F)中的全部扩群,它们恰是作用于中间体E(FEK,dim_EK=d)上空间结构V(nd,E)上的线性群或辛群,仅当GL(nr,F)=SL(4,2)时有例外。本文涉及的是酉群TU(n,K,f)或正交群Ω(n,K,Q)在GL(nr,F)中的扩群。我们对Witt指数v(f)≥2     

可递域上的双全纯映照的偏差定理(Ⅲ)

若MC~n为有界对称域,包有原点,它是Hermite对称空间G/K的标准实现,这里G为M的一批全纯自同构所成的Lie群K为使原点固定的G的迷向子群。为G的Lie代数,k为对应K的的极大紧子代数,有Cartan分解。若为的极大交换子空间,可选一组适当的基X_1,…,X_q,每一个,可表     

矩阵正定性的分块判定

本文研究实矩阵(未必对称)和复矩阵(未必是Hermite阵)在下述意义下的正定性分块判定法或称逐次降P(≥2)阶判定法。 定义 设A∈R~(n×n),若对任何0≠x∈ R~(n×1)都有x~TAx>0,则称A为(实)正定阵。一般地,设A∈C~(n×n),若对任何0≠     

局部环R上线性群的生成元定理

本文主要是将域F上线性群GL_n(F)的生成元定理,推广到局部环R上的线性群GL_n(R)上去,因为对于局部环R上的n维R空间V及GL_n(R)中元素σ来说,Q=(σ-1)V及M={x∈V|σx=x}一般只是V的R子模而未必是V的R子空间,所以,O.T.O'Meara所定义的剩余空间的概念不能直接     

特征数为2的有限域上对称矩阵的结合方案

1.结合方案与编码、设计及有限群理论有着密切的联系.1965年,万哲先讨论了由有限域上n×n Hermite矩阵构作的结合方案,并且计算了n=2时这个方案的参数.后来,本文第一作者对于这个方案的参数给出了一种递推的计算公式,并且把这种方法推广到交错矩阵和m×n矩阵构作的结合方案.近来,霍元极和祝学理,万哲先和霍元极相继讨论了特征数不为2的有限域上对称矩阵的结合方案.本文是这方面工作的继续,讨论特征数为2的有限域上对称矩阵的结合方案.关于结合方案的定义及参数的基本关系式可参见文献[1].     

素特征域上的有限维Cartan型Lie超代数

关于素特证域上的Lie超代数,至今结果尚少.本文构造了F上的无限维Cartan型Lie超代数X(m,n)(X=W,S,H或K),进而定义了有限维的广义Cartan型Lie超代数,并且讨论了它们的单性与限制性.最后给出一个关于F上有限维单Lie超代数的分类的猜想.设F是特征p>2的域,n是大于1的正整数,∧(n)是F上具有生成元ξ_1,…,ξ_n的外代数.若u=(i_1,i_2,…,i_r),其中1≤i_1相似文献   

关于代数方程组的零点——Ritt原理的一个应用

设一特征为零的基本域K与K[x_1,…,x_n]中的一组多项式,f_i,i=1,…,r。考虑下述方程组 f_i=0,i=1,…,r,由此定义了一个代数簇V,由该组方程在K的任一扩域中的零点所构成。V也即这些方程的零点集的结构的研究是代数几何的中心课题之一。在K=Q,R,或C且复域中的零点个数     

有限酉几何与PBIB设计(Ⅰ)

设q为素数幂,F_q~2为有q~2个元素的有限域。F_q~2上满足T(?)′=I~(n)的n阶方阵T全体对于矩阵的乘法构成一个群,叫做F_q~2上的n级酉群,记作U_n(F_q~2)。用V_n(F_q~2)表示F_q~2上的n维向量空间。当把U_n(F_q~2)看作V_n(F_q~2)上的变     

Carlitz-Kummer函数域的素分解

设 F_q 为特征 p 的 q 元有限域.k=F_q(T)为有理函数域,k~(ax)为 k 的某固定的代数闭包.令 M 为 R=F_q[T]中首1多项式,M 在α∈k~(ax)上的 Carlitz 作用如下定义:α~M=M(F+T)oα,其中 Toα=Tα,Foα=α~q.此作用的 M-挠元全体 A_M 为一循环 R-子模.作为分圆数域的模拟,k_M=k(A_M)称为分圆函数域(关于分圆函数域的理论可参看文献).设 K/k_M 为域的有限次扩张,z∈K—K~M,则作为数域 Kummer 扩张的一个模拟,在文献[4]中 Schul-theis 定义 u~M-z 的分裂域 K_(M,n)为 K 的 Carlitz-Kummer 函数域扩张(以下简称 CK 扩     

关于(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的环结构。特别     

关于复形的凝聚性和(n-1,n)连通性的两个定理

一、主要结果本文中的复形是指抽象复形。对于一个复形K,令V(K)记其顶点集,K(n)记其n维单形的集,K(n)记V(K)的不属于K(n)的n 1元子集所成之集。文献[1-5]中,根据研究问题的需要定义了复形的许多种连通性。文献[6]中利用复形     

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上的相对整基存在性,以及相对判别式由一个有理数平方生成等问题,本文将系统发展上述有关结果。