关于φ满射环上的二维线性群

本文定义了以半局部环、任意个半局部环的直积环等为其子环类的φ满射环,在其上讨论了二维线性群的正规子群与自同构。本文正规子群部分,推广了Lacrolx与张永正的结果:自同构部分推广了McDonalol。游宏与王仁发、陈宇、王路群等人的结果。     

局部环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所定义的剩余空间的概念不能直接     

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

本文计算出任意有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)中元素组成的子群.     

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

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

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

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

连通环上Borel子群的自同构

设G是由有限维复单李代数L与其伴随表示确定的伴随型Chevalley-Demazure群概形,R是一个含单位元的交换环,R~*是R中所有单位构成的乘群,G(R)是环只上的ChevaUey群。设Δ是L的根系,Δ~+是由某一组素根系确定的正根系。设E(R)是G(R)的初等子群,U(R)是E(R)中由所有x_α(t),t∈R,α∈Δ~+,生成的上三角幺幂子群。设T(R)是G(R)的标准极大环面,T(R)同构于Hom(P,R~*),其中P是由Δ在整数环Z上张成的格。设B(R)是G(R)的由子群U(R)与T(R)生成的标准Borel子群。本文的主要结果是:     

半局部环上辛群的自同构

本文定出了半局部环(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).     

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

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

形如Np的子群系可补的局部群系

本文中所有群为有限群。定义和符号参见文献[1～3]。这里给出本文常用的一些概念与符号。一个群类称为群系,如果它关于同态像和次直积是封闭的。非空群系(?)称为局部的,如果由可推得一个群类(?)称为Fitting类,如果满足以下两个条件:1)若N为G的次正规子群,则若N_1,…,N_t为G的次正规子群且N_i∈(?),i=1,…,t,则。一个群系的局部子群系如果同时是一个Fitting类,则称之为局部Fitting子群系。设(?)为某一群的集合。我们用form(?)表示由群集合(?)生成的群系,用lform(?)表示由(?)生成的局部群系,π(G)表示群G的阶的素因数的集合,表示所有幂零群的群系,N_π表示所有幂零π-群的群系,(1)表示单位元群系。群系(?)的子群系(?)_1称为在(?)中可补的,如果(?)_1在(?)的子群系格里可补,即存在(?)的子群系(?)_2,使得且.     

关于酉辛流形的体积

令USP(2n)表示由适合的酉方阵所成的酉辛群流形。形如 [e~(iθ_1),e~(-iθ_1)…,e~(iθ_n),e~(-iθ_n)]的方阵组成USP(2n)的子群,以[USP(2n)]表酉辛群对此子群的傍系集合。我们证明了 定理1 酉辛流形USP(2n)的体积为     

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

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

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

令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)能够提升的充要条件。     

投射模经过基座的整体提升

设I为环R的理想,记S=R/I。本文主要考虑如下的整体提升问题:对于任意的投射S模Q,是否存在投射R模P,使得Q同构于P/IP?这一概念是作者首次引进的,目的之一是为了研究K_0群的计算问题。因此在本文中,常常要求Q与P还是有限生成的。 本文中的环都是有单位元的结合环,模为左酉模。对于环R,以p(R)表示有限生成的投射左R模的范畴,~RProj。表示投射左R模的范畴。R~(n)表示R作为模的直和,而I~n=II…I,其中I为R的理想。文中用到的其他概念和术语可以参见文献[1]和[2]。     

极性分子的碰撞动力学和稀薄极性气体的粘性

按照Enskog-Chapman稀薄气体动力学理论,单原子分子气体的粘性系数为η=5/12 ((πmkT)~(1/2))/(πσ~2Ω~(2,2)~*) (1) 其中,碰撞积分的公式为Ω~((l,s)~*)(T~*)= =2/((s+1)!T~(*s+2))integral from n=0 to ∞(e~(-g~*2)/T~*)g~(*25+3)Q~((l)*)(g~*)dg~* Q~((l)*)(g~*)= (2) =2/([1-(1+(-1)~l)/(2(1+l))])integral from n=0 to ∞((1-cos~lX)b~*db~* (3) x(g~*,b~*)= =π-2b~* integral from n=R_m~* to ∞((dR~*)/(R~*2))/(1-(b~(*2))/(R~(*2))-(U~*(R~*)/g~(*2)) (4) 且R*=R/σ,b~*=b/σ,U~*(R~*)=U(R)/ε, T~*=KT/ε,g~*=(1/2μ′(V_0~2)/ε)~(1/2),R_m~*=R_m/σ。 R表示分子间距离,b表示碰撞参量,U(R)表示分子间势能,T表示绝对温度,V_0表示分子间初始相对速度,m表示分子的质量,μ′表示两个相碰分子的折合质量,ε和σ分別是U(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的任意元a、b定义“o”乘法aob=a+b-ab,(R,o)是一个含单位元的半群。环R的Jacobson根记作J(R),文中不再重复。一个环R称为广义根环如果(R,o)是它的一些子群的并(半群S是其子群的并是指对于S的任意元素a来说,存在b、e∈S使ae=ea=a,ab=ba=e,e~2=e)。Clark证明了:若环R含主幂等元e     

n循环与n超可解群

R. Baer等曾讨论了n可换,n可解与n幂零群并得出一系列结果。但尚未见有文献提出n循环与n超可解群。本文给出n循环与n超可解群的定义及其若干结果。以下用符号G(n)表示群G的子集{x~n|x∈G},n—G表示群C的子集{x|x~n~i=e,i为某非负整数,e为G的单位元},P_a—G表示群G的子集{x|(o(x),n)=1},其中o(x)表示x的阶。若G=n—G,则称G为n群。若G=P_n—G,则称G     

任意交换环上辛群的结构

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

半相依回归方程的一种优于BLUE的估计

一、引言 考虑半相依回归方程Y_i=X_iβ_i+ε_i(i=1,2),其中Y_i是n×1的随机观测向量,X_i是n×p_i阶列满秩矩阵,β_i是p_i×1的未知回归系数,ε_i是n×1的随机误差向量,且满足E(ε_i)=0,cov(ε_i,ε_j)=σ_(ij)I (i,j=1,2),其中σ_(12)≠0,I是n阶单位阵,Σ=(σ_(ij))是2×2阶正定阵。这样的方程可以写为如下线性模型:     

线性估计弱相合性的一个问题

设给定了线性回归模型Y_i=x_i~'β+e_i,i=1,…,n,…,而当n充分大时,线性函数c′(n)可估,其Gauss-Markov估计(GME)记为c′(n),其中(n)为基于Y_1…,Y_m的,β的任一最小二乘估