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

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

φ满射环上辛群的同构

本文主要讨论φ满射环上两个辛群的同构。定理 设S_p_n(R)及S_p_n_1(R_1)为φ满射环上的辛群,其中2为R中单位,n≥4,n_1≥4。如n或n_1等于4,更进一步假设它的所有剩余域均非F_2。这时∧:S_p_n(R)→S_p_n_1(R_1)为同构必要而且只要n=n_1,     

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

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

gr(■_n)与gr(ε_p)不具有pure维数

一个交换Noetherian环R称为是有pure维数n的正则Noetherian环,是指对R的任意极大理想 ,R_m的整体维数gl.dim R_m=n,这里R_m为R在极大理想■处的局部化。众所周知,若R是某域上的有限生成交换代数,且是整环,同时g1.dim R<∞,则R有pure维数;如果,     

半局部环上辛群的自同构

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

一类可解群的自同构

令R为有1的交换环,T(R)为由下定义的非Abelian群。生成元:x_(ij)(a),i相似文献   

Abel群环的约化群

在代数K-理论中,环的Grothendieck群对于研究环的结构起着相当重要的作用;而当R为交换环时,K_0(R)(?)K_0(R),这里K_0(R)为环R的约化群,因此约化群完全决定了K_0(R)的结构.文献[1]已经证明了对于交换环R,K_0(R)为挠群当且仅当对任何有限生成的投射模P,挠群当且仅当对任何有限生成的投射模P,都存在s>0使得P~s是自由的.     

关于Leavitt和Rossa的两个问题

对任一环R,令F(R)={A|若0≠,则有使J～R},这里表示I是A的次理想,并诧R~0为环R上的零环。易知Z~0∈F(Z_n~0),Z_p~0∈F(Z_p~0),其中p为素数,n为任意自然数,     

整环上矩阵列的可实现性

1.近十年来交换环上线性系统理论的研究不断发展(详见文献[1])。其中一个重要理论问题是可实现性问题。设R是交换环,{A_i}是R上的p×m维矩阵列。{A_i}称为R可实现,如果存在R上的矩阵组Σ=(F,G,H),其中F:n×n,G:n×m,H:p×n,使得A_i=HF~(i-1)G,i=1,2,….此时Σ=(F,G,H)即称为{A_i}的R实现。所谓{A_i}的可实现问题即是寻求判别{A_i}R可实现的条件。     

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

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

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

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

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

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

关于S.Singh和R.Kumar的一个问题

交换环R称为(受限制的)(p)-环,如果R的每个(非零)主理想都是某个紊理想之幂。Singh和Kumar在文献[1]中以及Mott在MR47~#1790中都指出,用熟知的环把没有单位元的受限制的(p)-环但不是(p)-环进行分类是一个未解决的问题。本文作者在同Singh     

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

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

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

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

一类具有PF结构的环

设R为带单位元1的交换环,文献[1]中定义了PF环,即所有有限生成的投射模都是自由的环.例如,实二次域的类数是否为1等价于其代数整数环是否为PF环;因而,研究PF环的结构具有重要的意义.然而,虽然Grothendieck群K_0(R)很好地刻划了环R的性质,但一般却难于计算,我们构造了一个新的Abel群X(?)(R),它能反映和K_0(R)几乎一样多的性质.本文中,我们研究X(?)(R)作为一个环的结构.所有记号均同于文献[1,2].     

交换环上一类特殊模的同调维数

文献[1]中证明:在一个交换环上单模平坦,当且仅当它内射,这个结果在文献[2]中有所推广,本文使用不同的技巧推广文献[2]中的主要定理.本文假定所有的环都是具有单位元的交换元,并且采用文献[3]中的符号.本文的主要结果如下:定理 设R是一个交换环,A是一个交换诺特环,(?):R→A是一个环同态.N是     

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

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

连通环上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子群。本文的主要结果是:     

完全环上的线性紧模

一个双侧完全环上的线性紧模是有有限长度的模(参见文献[1])。Sandomierski在文献[2]中问:若R是一个左完全环,右R模M_R是线性紧的,是否M_R必有有限长度?这个问题等价于问,左完全环上的右Artin模M_R是否必是Noether模(见文献[2])。本文举例说明左完全环R上的右Artin模不必是右Noether模,因而不必有有限长度。从而否定地回答了Sandomierski的问题。