有限交换环上的典型群阶的计算

本文计算出任意有1的有限交换环上几类典型群的阶,同时利用GL_(?n)的阶得出有限交换局部环上一般向量空间中的计数定理.设R为有1的有限交换环.R可唯一表成有限个局部环R_i的直积,即R(?)R_i(R_i为有限局部环).R上的典型群G亦可写成G=multiply from i=1 to m G_i,这里G_i为R_i上相应的典型群.因而我们可将所讨论的问题限制在有限交换局部环上.下文如无特别声明,R表示有限交换局部环,M表其唯一的极大理想,K表示商域R/M.令π:R→k表R到k上的典型同态,但我们常记α∈R在k中的象为(?).令(?):GL_nR→GL_nk(SL_nR→SL_nk)表R与k上的一般线性群(特殊线性群)间的同态.记ker(?)=GL_nM(SL_nM),并用GL_n(R,M)(SL_n(R,M))表模M为GL_nK(SL_nk)中心元的GL_nR(SL_nR)中元素组成的子群.     

半局部环上二维线性群的构造

Klingcnberg(1961)确定了当2是单位,cardR/M>3时局部环上二维线性群的正规子群。本文用矩阵的方法,确定了当2是单位、cardR/M_i>5,i=1,…,n时,半局部环上二维线性群的正规子群。 M_i,i=1,…n,表示半局部环R的极大理想、o(σ)表示GL_2(R)中元素σ的阶,     

环上矩阵保群逆的线性算子

设R为有1的环,F为其中心,用M_n(R)记R上n×n全矩阵F-代数。近年来刻划M_n(R)的保某种特性的线性算子的工作颇多,但R为较为一般的环时结果尚少。本文研究群逆的线性保持算子,它也可以看作更广泛一类广义逆共变问题的研究。A∈M_n(R),若矩阵方程AX=XA,A~2X=A,X~2A=x有解则称其解X为A的群逆,记为A~#.设f为     

有限交换环上某些典型群的阶

有限体(域)上典型群的阶已为我们所知,本文的目的是给出有限含幺交换环上一般线性群、特殊线性群及辛群的阶。 设R是一个有限含幺交换环,则R是一个半局部环,设M_1,…,M_s是R的全体极大理想,F_1=R/M,…,F_s=R/M,是     

交换线性紧致环上的多项式环

本文中的R表示含单位元的交换结合环,模指酉模,未定义的概念和符号见文献[1]和[2].称R为co-Noether环(Vamos),如果每个有限cogenerated R-模均为Artin模(线性紧致模).M(?)ller定理陈述为环R具有Morita对偶当且仅当R为线性紧致的V(?)mos环(见文献[2]的定理4.3及定理4.5).Anh在文献[4]中证明了线性紧致环具有Morita对偶(见文献[2]的定理6.8),从而线性紧致环为V(?)mos环.关于线性紧致模及Morita对偶的概念及性质(见文献[2]第一章).本文证明了线性紧致环R为Noether环当且仅当R上的多项式环R[x]是co-Noether环(V(?)mos环).由此,我们给出一个例子对Faith在文献[3]中提出的3个公开问题给予否定的回答.设M为R-模,M[x~(-1)]为由所有形如     

系统(φ,α,σ)的局部行为

文献[1]揭示了一个有趣的现象:两个含1的交换环A和R,它们并不同构(因而也不是Morita等价的),但具有同构的3维线性群。这在1987年5月举行的中美典型群及相关领域学术讨论会上引起了与会者的兴趣,因为过去人们猜测,若m和n是不小于3的整数且GL_m(A)≌GL_n(R),似应有m=n且A和R是Morita等价的。     

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     

不可分的么模定Hermite型的构作

设F=Q((-m)~(1/2))(m>0且无平方因子)为虚二次域,D_m为它的代数整数环.域F有一个非平凡的对合即复共轭,它的不动点域是Q.设V为域F上n维非退化的Hermite空间,并有关于上述对合的V上半双线性型φ以及与φ相伴的Hermite型H.设L为V上的D_m格,即L是V中的一个有限生成D_m模且FL=V.一个D_m格L称为偶格,是指对一切x∈L有H(x)     

半局部环上的二维线性群的自同构

体(域)上的二维线性群的自同构已由华罗庚、万哲先(1963)给出。Reiner、Landin、Dull等人曾对某些欧氏环及一般整区上的二维线性群的自同构形式做过研究。王仁发最近决定出局部环上的二维线性群的自同构。本文在此基础上,给出了半局部环上二维线性群的自同构。     

非线性回归模型的几个二阶近似公式

给定非线性回归模型y=f(x,θ) ε,其中模型函数f(x,θ)关于未知p维参数θ二阶可导且一阶导数满秩。x,y,ε皆为n维向量。设随机误差ε服从N(0,σ~2I)。θ的最小二乘估计记为。估计量的偏差和残差分别记为b=E((?)—θ),e=y—f(x,(?))。 设V.和V..为f(x,θ)在真参数θ处关于θ的一阶和二阶导数,V..为p×p×n阶阵。V.可分解为V.=(U.,N)(R′,0)′,其中(U.,N)为n阶正交阵,U.为n×p阶,R为p×p阶非退化上三角阵。在参数空间中作坐标变换φ=R(θ—(?)),则模型函数关于φ的前二阶导数分别为U.和U..=     

Galois环上多项式本原性的判别

对Galois环R上的本原多项式的研究是有限域F_q上相同理论的一种类比;在应用中,它又可以产生R上最大周期的线性递归序列.当R=F_q时,已有很完整的理论结果;当R=Z/(p~d),p为素数,d≥2时,也有较为详细的讨论,特别在文献[3,4]中,利用F_p上本原线性递归序列的技巧,给出了f(x)是本原多项式的一个充要条件,其意义在于利用f(x)的系数来决定f(x)的本原性.本文用纯代数的方法,推广这一结论到Galois环上,且对次本原多项式也给出相应的代数判别式.     

连通环上的矩阵结构

众所周知,连通环是环论中应用最为广泛的环类.例如整环、局部环都是连通的.更一般地,PF环、具有挠约化群的环也都是连通的.而对于拓扑空间X而言,X为连通空间当且仅当C(X)为连通环.因此,连通环的研究是极有意义的.本文将利用环上的矩阵来刻划连通环本身的性质.所有的环假定都是带单位元1的交换环.假设P是一个非零的有限生成投射R-模,不妨设P(?)Q=F,这里F为n维的自由R-     

正定么模Hermite型的分类

设且无平方因子)为虚二次域,D_m为它的代数整数环。令H为F上n秩正定Hermite型(以下简称日型),而(V,H)或V为F上n维Hermite向量空间。若L为V上的一个D_m-格,则L为V的有限生成D_m-模且FL=V.     

任意交换环上正交群的结构

域上正交群的结构已被确定。有些结果被推广到局部环和full环的情形。本文从初等正交矩阵出发,利用局部化和环扩张的技巧,确定了任意交换环上正交群O_(2n)(R)(n≥3)的结构。 在本文中,R表示任意含单位元的交换     

关于亚正常算子的函数变换

设是复可析Hilbert空间,是中线性有界(有界自共轭)算子全体.设X,Y∈,φ,分别为σ(X),σ(Y)上的有界Baire函数,作映照τ_φ,:X+iY→φ(X)+i(Y).它又表示复平面的子集上的映照τ_φ:x+iy→φ(x)+i(y),这儿x,y是实数.记HN={T|T∈,D(T)=[T~*,T]≥0}为亚正常算子、在第二届全国泛函分析学术交流会上夏提出了如下的问题:     

关于Lindelf空间三个问题的回答

1983年,文[1]提出了三个尚未解决的问题:(1)c.c.c.(?)~*Lindel(?)f 性成立吗?(2)文[1]定理18(对于可展空间类,*~Lindel(?)f 性等价于可分性)的可展性条件能减弱到何种程度?(3)两个*~Lindel(?)f 空间的积空间是*~Lindel(?)f 空间吗?对于问题(1),我们赋予集合(?)(R)={F(?)R|F 是有限集}(其中R 是实数直线,通常拓扑)以拓扑,其拓扑基为(?)={[A,V]|V 是     

局部自反原理的推广

大家知道,局部自反原理是Banach空间理论中最基本的定理之一。本文得到了局部自反原理的“最完备”的形式。我们证明定理1 设E是X~(**)的一个有限维子空间,F是X~*的一个自反子空间,对于任给ε>0,则存在一个线性算子S:E→X使得‖S‖‖S~(-1)‖<1+ε,Sx=x,其中x∈E∩X,且f(Sx~(**)=x~(**)(f),对一切x~(**)∈X,f∈F.     

线性模型的比较

考虑线性模型乙‘一(Y‘,X‘“,客“,犷‘,),E(Y‘)~X,芦,eov(Y‘)一艺a,F‘,,其中X,是已知,x户矩阵;叭,是非负定阵;夕〔R户和61异。为参数,矛~1,2. 定义称乙:优于L:(记为与卜乙:),如果对参数女毕的任一无偏估计叮Y:,均存在它的无偏估计可Y.使得 Var(afy:)成Var(a歹Y:). 在假定:’‘模型乙,的万(Y,)的Ga。,-M:rkoff估计存在”下,我们有 定理1乙:卜乙:当且仅当 X{(V.,+X:X石)一X。 )X了(犷‘,+X:X;)笼,,定理2当 R(V,。X*)CR(X,),,~l,2,则乙:卜L,的充要条件是 X产V:IX产T《X才V:sX才T, 1~1,一,娜.其中V,。一艺F,,.线性模型…     

保持广义可合数值域的线性算子

设G是对称群S_m的子群.记CG是所有函数f:G→C的集合.称f是半正定的,如果存在c∈CG,使得对任意的r∈G有f(r)=sum from σ∈G (c(στ)c(σ)特别地,G的不可约特征标是半正定的.记C_n×m为n×m复矩阵集.对于f∈CG,广义矩阵函数d_f:C_m×m→C定义为d_f(A)=sum from σ∈G (f(σ))multipy fromu=l to a_iσ(i),其中A=(a_i,)∈C_m×m 设 1≤ m≤n,f∈CG,A∈C_n×n.如果f是非零的和半正定的,则定义A的f可合数值域为集合W_f(A)=|d_f(X~*AX)|X∈C_n×m,d_f(X~*X)=1|当m=1且f=1时,W_f(A)即是A的经典数值域外W(A)=|x~*Ax|x∈C_n×1,x~*x=1|.f-可合数值域相关于张量对称类的可合元素.设c∈CG对任意的,τ∈G满足(1)式记V为带有标准内积的向量空间C_n×1.则张量空间(?)V是酉空间,其诱导内积满足(x(?),     

一个改进的既约梯度法收敛性质的推广

我们考虑具有线性约束的非线性规划问题(?) f(x) R={x|x≥0,Ax=b,x∈E~n),(P)其中A是m×n矩阵,它的秩是m,b∈E~m,E~n和E~m分别是n维和m维欧氏空间。我们假定(H1)f(x)∈c~1,(H2)R非退化。P.Wolfe在1963年提出的解问题(P)的既约