任意交换环上辛群的结构

域上辛群的结构已完全确定。一些作者讨论了交换环上的辛群,但他们对基础环加了较强的限制。本文从初等辛矩阵出发,利用局部化和环扩张的技巧,完全确定了任意交换环上辛群Sp_(2n)(R)(n≥3)的结构。这包含了所有原先的有关结果。 在本文中,R表示任意含单位元的交换     

初等线性群之间同构的提升

令R和A为含1交换环,m和n为≥3的整数,考虑同构E_m(R)E_n(A)何时以及怎样才能提升为相应Steinberg群之间的同构.已经证明,若E_m(R)同构于E_n(A),则m=n(见文献[1]),当,n≥4时,任一同构E_n(R)E_n(A)是标准形的,可自然且唯一地提升为St_n(R)到St_n(A)的同构。但情形n=3不同于n≥4,因3维线性群之间存在例外同构(文献[3]及[2]中给出的反例)。本文研究同构E_3(R)E_3(A)能够提升的充要条件。     

半局部环上辛群的自同构

本文定出了半局部环(2是单位)上辛群的自同构.定义1 取(β,ν)=(0 1/-1 0),令 T_i(λ)=I~(2n) λE_(osm i)~(2n)),T_(ij)(λ)=I~(2n) λ(E_(isn j)~(2n) E_(isn i)~(2n)),R_(ij)(λ)=I~(2n) λ(E_(ij)~(2n)-E_(n j,n i)~(2n)).T′_i(λ),T′_(ij)(λ)分别表示T_i(λ),T_(ij)(λ)的转置方阵.上面三种形式的阵生成的群记为SP′_(2n)(R).     

非线性正系统的结构特性

这里扼要给出我们在非线性正系统方面所得到的几个结论,有关定义见文献[1].文献[2]中通过矩阵给出了线性正系统的概念.以下定义是更一般的:定义设某系统在零时刻由x 出发的轨线为φ(t,x),并记R_+~n={(x_1,x_2,…,x_n)~T∈R~n|x_i≥0,i=1,2,…,n).若对任意的x∈R_+~n,有φ(t,x)∈R_+~n,(?)t≥0,则该系统为一正系统.其中t 对于连续系统属于实数集R,对于离散系统属于整数集Z.     

张量代数的外齐次化与PBW定理

设S=(?)S_n一是-Z分次环,X是S的中心中一个次为1的正则齐次元.那么下列结论成立:(a)Sr的商环A=S/(1—X)S是一个滤过环,A上的滤(升)链定义为F_nA=S_n (1—X)S/(1—X)S,n∈Z;(b)与A相关联的分次环G(A)=(?)F_nA/F_(n-1)A与 S/XS之间有一个显然的分次环同构;(c)A的Rees环(?)=(?)F_nA与S之间有一个显然的分次环同构.设R=(?)R_n是一个Z-分次环,那么R的外齐次化是R上的多项式环S=R[t]但此对S具有“混合分次”:S_n={sum from i j=n to (α_it~j),α_i∈R_i},n∈Z.显然t是S中的一个次为1的中心正则齐次元,但此时S的商环A=S/(1-t)S作为滤过环同构于R,这里R具有(升)滤链F_nR=(?)R_i,n∈Z,G(A)(?)R(作为分     

图到其迭线图的子图的同构

如果存在一个图G到图H的子图G′上的同构φ,我们就记作GH,说G嵌入到H内,而φ称为G到H内的一个嵌入。1982年,D.Bauer和R.Tindell对既不是道路,也不是K_(1,3)的图G定义了一个不变量∧(G),它是使GL~n(G)成立的最小的n,n≥1。他们研究了∧(G)=1的图,并提出研究∧(G)=2的图,以及对所有树T,确定∧(T)这两     

有单位元的p~4阶结合环

本文中,“环”总是指结合环,记号R(n)表示所有两两互不同构的n阶环所成的集合,这里n是一个自然数。因为一个有限环能够唯一地表作素数幂阶的环的直和,所以有限环的分类问题就归结为决定集合R(p~m),其中p为素数,m为自然数。     

除环上矩阵保幂等的线性算子

近几年,许多学者感兴趣于矩阵代数保幂等的线性算子的研究,但矩阵基础环非交换时未见叙述。本文讨论除环上矩阵的保幂等问题。本文结果表明非交换性带来一些重要变化,即使特征不为2仍有非规范的新型算子产生。本文假定R及R_1均特征不为2的除环,它们的中心都是域F.设T为全矩阵代数M_n(R)到M_n(R_1)的F-线性算子,若对于M_n(R)中任意幂等元A,T(A)也幂等,则称T为保幂等的,其全体之集记为L。     

推广的C~1封闭引理的较简证明

设M是n+1维C~2流形(n≥1),σ:M→TM是M上的一个C~1向量场,φ:D→M是σ产生的流。仿照文献[1],我们不限定M是紧致的。因此,φ的定义域D,可以不是整个的M×R而仅是M×R的一个连通开子集。设v_0∈M,当如下两条成立时,称v_0是φ的一个非游荡点:(ⅰ){v_0}×R~+D(R~+=[0,∞));(ⅱ)对V_0在M中的任一个邻域     

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

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

体上矩阵空间的保幂等算子

刻划保幂等线性算子的形式是研究保不变量问题的一个重要内容。本文在没有特征不为2的假定下,给出了体上矩阵空间的保幂等算子的形式。设R和R_1为体,其中心F和F_1满足表示R中形如ab—ba的元素之有限和生成的F-子空间,R=R/[R,R]为商空间。设M_n(R)表示R上n阶全矩阵F-空间,I_n(R)为M_n(R)中幂等阵的全体。若M_n(R)到M_m(R_1)的F-线性算子L满足:称L为保幂等的,其全体记为。置     

关于U-统计量理论的一些结果

设x_1,x_2,…为一串独立同分布(iid)变量,而φ(x_1,…,x_m)为x_1,…,x_m的对称函数,则U_n=(n/m)~(-1) sum from to 1≤α_1<…<α_m≤nφ(x_(α_1),…,x_(α_m),n≥m称为以φ为核的U-统计量。设对某个r≥1有E[|φ(x_1,…,x_m)|~r]<∞.(1)迄今为止,文献中对U-统计量的研究,多限于r=1和r=2的情况,最近我们研究了一般的r≥1的情况,主要结果如下:     

退化矩阵β分布

作为与正态样本有关的分布,矩阵β分布(也称多元β分布)在文献中有大量的研究.令A～W_m(n_1,Σ)和B～W_m(n_2,Σ)为两个独立的维希特分布矩阵,Σ为一正定矩阵. 令C=A B.分解C=T′T,其中T为一具正对角元的上三角阵 令U=(T′)~(-1)·AT~(-1).则U的分布称为矩阵β分布并记为B_m((n_1)/2,(n_2)/2)其中n_1 n_2>m-1. 如果n_i是实数,则还要求n_i>m-1(i=1及/或2).如果n_1,n_2都大于m一1,则U是非退化的并具有在m×m正定矩阵空间上的密度.本文采用文献[2]中的记号,并记A(S)=diag(λ_1(S),…,λ_n(S)),其中λ_i(S)为S的第i大(非零)特征根,S∈_(m,n)~1·S_(m,n)~(?)上的微分形式定义为(dS)=2~(-n)|L|~(m-n)×     

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

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

关于广义U、统计量的Jackknife与Bootstrap

设{X_j}_(j=1)~(n_1)、{Y_k)_(k=1)~(n_2) 分别为来自总体F_1与F_2的独立样本,{X_j}与{Y_k}相互独立。且设φ(x_1, …, x_(m_1); y_1,…, y_(m_2))为分别关于各x变元和各y变元对称的Borel可测函数。关于θ=Eφ的无偏估计可取以为核的广义U统计量     

二参数正态过程的马尔科夫性

设t(t_1,t_2)为平面上的点(图1),R_+~2=(t:t_1≥0,t_2≥0)中Borelσ-代数记为β。ξ={ξ,(ω),t∈R_+~2}为概率空间(Ω,(?),P)上的实值随机过程。t(t_1,t_2)≥s(s_1,s_2)如t_1≥s_i,i=1,2,R_t=(s:s_1≤t_1或s_2≤t_2),(?)=σ{ξ(?),s∈R_1},即括号中变量产生的σ-代数。称ξ为二参数马尔科夫过程(二马程),如对任意有界β可测函数f,任意u=(u_1,u_2)>t=(t_1,t_2)∈R_+~2,有     

关于Schwarz引理的一种推广

庄圻泰教授(中国科学,1981,7)给出Schwarz引理在C~@的一种推广,我们发展和改进上述工作。记R_ ~(?)={(x_1,…,x_x)∈R~x|x_j≥0,1≤j≤n}。设m(x_1,…,x_n)为R_ ~(?)上的连续函数,满足:1°若     

K_4单群的分类定理

称群阶的相异素因子恰为n的有限单群为K_n单群。利用单群的分类定理本文证明了: 定理1 设G为K_4单群,则G同构于下述群之一: (Ⅰ)L_2(2~4),L_2(2~r),r≥5,2~r-1是Mersenne素数,是一素数的方幂。     

体上酉群在线性群中的极大性

在文献[1]中我们已经证明了任意域上的辛群、酉群(Witt指数≥1)、正交群(域特征≠2,Witt指数≥2)在线性群中的极大性。本文将这一工作推广到了任意体上的酉群,对域上正交群的Witt指数的要求也从不小于2放宽到不小于1。     

关于环上线性群正规子群的标准性

本文给出了以交换环、体直积环为其特殊情形的强右Ore环的定义,证明了这种环上线性群正规子群的标准性(n≥3),这扩大了Wilson(1972)的结果(他仅给出交换环n≥4的情形)。本文还指出Wilson方程组的可解性仅在强右Ore环上才能实现。