单位稳定环上的K_2(R,I)

若I为R的理想,λ_1:R→R/I,则S_t(λ_1):S_t(R)→S_t(R/I)的核,记为S_t(R,I),是由所有的x_(ij)(a)(a∈I)在S_t(R)中生成的正规子群。令φ表S_t(R,I)到E(R,I)上的同态映射,映射的核记为K_2(R,I)。由文献[1]知K_2(R,I)(?)CentSt(R,I)。当R为交换     

R1234yf,R1234ze(z),R32及其混合工质在Co-MOF-74中吸附储能的分子模拟

利用流体分子在纳米多孔材料固体表面吸附分离过程中热能与表面能的相互转化,可以提高工质循环吸热量进行储能.采用分子模拟(分子动力学和巨正则蒙特卡罗)方法开展了制冷剂R1234yf, R1234ze(z), R32及其混合工质在金属有机骨架材料Co-MOF-74中的吸附储能特性研究.研究发现,纯工质吸附时,受分子尺寸影响, R32在MOF中的吸附量高于R1234yf和R1234ze(z).而饱和吸附时, R32的解吸附热低于R1234yf和R1234ze(z).在制冷剂中添加Co-MOF-74纳米颗粒形成纳米流体,可以改良纯工质的储能特性,且R1234yf和R1234ze(z)纳米流体的改良效果强于R32纳米流体.在混合工质吸附中, R1234ze(z)和R1234yf的吸附量低于R32,但随着温度上升,由于不同种类工质竞争吸附, R1234ze(z)和R1234yf的吸附量呈现逐步上升的趋势,而R32的吸附量则逐渐减少.     

p块中不可约模表示的个数

G是有限群,F是G的特征为p的分裂域.FG是群代数,我们简记为R=FG。J(R)是R的根。对R的任一子代数W,令(?)=(W J(R))/J(R),它是(?)=R/J(R)的子代数。特别地当W是理想时,     

关于滤环与分次环的Bjrk问题

设R为含单位元的诺特滤环,G(R)为相应分次环.设M为R滤模,gr(M)为相应的分次G(R)模.Bj(?)rk探讨了M为良滤模与gr(M)为有限生成模二者的关系.当R为正滤环且G(R)为诺特环时,M为良滤模的充要条件是gr(M)为有限生成模.但只把对R的限制放宽到Zariski滤环,就难于断定这一结论是否正确了.具体地说,Bj(?)ry的问题如下:设R为Zariski滤环,M是有限生成R模且配备分离滤,则当gr(M)是有限生成G(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的假定下,给出了体上矩阵空间的保幂等算子的形式。设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为保幂等的,其全体记为。置     

关于曲面奇点Zariski-Lipman猜测的一个注记

文献[1]研究了Zariski提出的如下问题:设(V,0)=spec R为域R上仿射簇的芽,若R的导子模是自由R模,R是否一定是正则的。这个问题也在文献[2]及其参考文献中讨论过,最后由Flenner给出了奇迹余维大于3时的肯定证明(要求char R=0)。遗留的一种有趣情形是dim R=2。在R=C时,Zariski-Lipman猜测有如下的几何形式:设     

MELT右V-环是von Neumann正则环

环R称为von Neumann正则的,如果对每个a∈R,存在b∈R使a=aba.称环R为强正则的,如果对每个a∈R,a∈a~2R.环R称为MELT的,如果R的每个极大本质左理想是R的一个理想.称环R为右V-环,如果每个单右R-模是内射的.多年来,vonNeumann正则环与有关环(如,完全幂等环,V-环)的关系得到了广泛的研究,得到了许多有趣的结果,也留下了不少公开问题.在文献[1]中,Yue提出了如下问题:一个MELT右V-环是von Neumann正则的     

Λ-2-fold环上K_1U~ε的Prestabilization

本文利用Vaserstein、Bass等提出的Λ-S,条件研究了满足Δ-S_r(R)≤1条件的一类环(Λ-2-fold)上K_1U~(?)的Prestabilization。 令R为有1的结合环,I是R的一双边理想。在R上定义了一对合映射木*:R→R(y→     

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维数;如果,     

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是自由的.     

一类广义根环的结构

设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     

H-本原环的Martindale商环

本文均设H是域k上具有可逆antipode的Hopf代数,R是有1的H-素模代数,M是左R,H-酉模.M称为不可约的是指:RM≠0,并且M无真R,H-子模.一个H-模代数R称为是左H-本原环,若R有一个左R,H-模M,M作为左R-模是忠实的,作为R,H-模是不可约的.详细性质可见文献[1].在文献[2]中已给出例子说明:存在代数R,它是H-素,但不是通常的半素.     

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

函数空间中的无限维宽度(Ⅰ)

一、引言及定义 令r为正整数,1≤p≤+∞,考虑实直线R上的Sobolev函数类 W_o~r(R)={f∈L~p(R):f~(r-1)在任何有限区间上绝对连续,且,f~(r)∈L~p(R)},(1.1) B_p~r(R)={f∈W_p~r(R):‖f~(r)‖_p≤1}, (1.2)     

关于多项式环上的投射模

1955年Serre提出了问题:仿射空间上的每个向量丛是否一定是平凡的?它的一个较弱形式是域R上多项式环的K_0是不是Z?Serre本人证明了当R为域时,K_0R[x_1,…,x_n](?)Z.1976年,Quillen和Suslin进一步证明了:R为主理想整环时,所有有限生成的投射R[x_1,…,X_n]-模是自由的.1986年,为了更一般地研究此类环,佟文廷引进了PF环.本文将把上述结果推广到正则环上的群环上去.引理1 设R为交换正则环且K_0R(?)Z则R为整环.     

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

设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]。     

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

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

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

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

含有*-子代数的Banach代数及其应用

设R为一Banach代数,G为R子代数(一般可在R中非闭)。本文目的是讨论在什么情况下,G中元x在R中可逆等价于它在G中可逆?本文定理1.1与熟知结果不同之处在于G可以在R中非闭。作为定理1.1的直接应用,我们十分简洁地解决了提出的问题。