左模的张量积范畴及其等价范畴的维数

§1.引言 设K是城,R与S分别为含有单位元的K环,表示左R酉模,N表示左S酉模,用H_R(M,M′)表示R-模M到R-模M的所有R同态形成的可换加群,类似的记号表示含义相同,文[1]中定义了M与N的张量积,它是一个RS模,本文就在此基础上讨论MN作为RS模的范畴、函子及维数问题,如果不特别声明,     

左环模张量积函子的Grothendieck谱序列

(一) 引言 文献[1]利用Grothendieck定理讨论了模范畴的一些函子的复合所导出的谱序列,并且给出了同调群之间的一些混合等式。本文用文献[2]所给出的左模张量积函子推广了相对应的结果。文中的环都指酉环,环模都是酉模。设R是一个环,A是右R模,B是左R模,文中用分别表示古典张量积函子与它们的左导出函子。若R、s是K环,K是     

环模范畴的生成元

§1 环模范畴的生成元 本文中,R、S表示有单位元的环,我们主要讨论左模范畴,对右模范畴也有类似的结果。设R与R分别表示左、右R一模范畴;Z表示整数环,这里把Z看作一个Z一模。 设F是R到s的加法共变函子,由定义,若A,B是R一模,f∈HOmR(A,B),则     

关于模R^（n）的一类乘法子模

设R是有单位元的交换环,M是R-模,如果对M的任意子模N,存在R的理想I,使得N=I·M,则称M是乘法R-模,本文主要结论是:设M=Rx_1+…+Rx_(?),其中x_i=(a_(1i),a_(2i),…,a_(?))∈R~(1×n),i=1,2,…,n,并且sum from i=1 to (?)a_(ii)=1,那么当R是下列环之一时:(1)整环;(2)半局部环;(3) J(R)=0,有:M是乘法R-模当且仅当F_2(A)=0,其中F_2(A)表示矩阵A=(a_(ij)_(?)中一切2阶子式在R中生成的理想。     

范畴_RM_SM的函子

设K是域,R与S分别为含有单位元的K环,其它符号均采用文[4]中的符号,为了区分左、右环模范畴起见,将文[4]中C(R)记为_RM,C(R)(?)C(S)记为_RM(?)_SM……等等。即用文[3]中符号代替。     

DI—环

Boyle·A·K在文献[4]中分别研究了QI—环(假如每个quas(?)-injective R—模都是内射模)和V—环(假如每个单纯R—模都是内射模).本文定义并研究了DI—环,即:假如每个可除R—环都是内射模.得到: (1) 可换环R是DI—环的充要条件是R为HN—环(Hereditary Noether—环) (2) DI—环R的构造为R是阿丁环与质环的直和. (3) DI—环R的一些其它性质.     

一种CESS-环的研究

该文研究了Ω =RM0S (M是左R -模 ,右S -模 ,R ,S都是有单位元的环 )是CESS -环的条件 ,证明了 :若Ω是左CESS -环 ,则R是左CESS -环。该文还证明了 :设Ω是左CESS -环 ,若Q≤RR ,SocQ≤eQ ,则对任意同态Φ :Q→M ,都有同态映射Ψ :R→M ,使得Φ =ιψ。     

H—Galois代数同构类和Harrison上同调群

<正> 若K是一个具有单位元的可换环,K—双代数(H,μ,η,△,ε)具有对极正[1]时称为Hopf代数[2],△:H→H(?)H表示上乘法或者对角映射,ε:H→K表示上单位或者扩张映射。本文自始至终假定H是一个秩为2的自由—K模。在H中存在一个元素x,使得ε(x)=0,它是kerε的生成元,并且1,x是H的一个基。H~*是k—模H的对偶,Φ是H~*的元素,使得Φ(1)=0,Φ(x)=1,ε和中构成H~*关于K的一个基,对偶于H的基1,x。H~*也是K上的一个Hopf代数,ε是H~*的单位元。在K中存在元素p、q,使得x~2=qx,△x=1(?)x+x(?)1+px(?)x,pq+2=0。     

双复形及其全复形的同调群

本文给出各个象限的双复形及其同调群的Knneth。若不作特别的说明,文中采用[2与[3]中的符号。设K是可换环,R,S是K环。若(P_A,△′_p)是左R-模A的投射分解的删得复形,(P_B,△″_q)是左S-模B的投射分解的删得复形。令M_(pq)=A_p B_q,则M={M_(pq))是R S-双级模     

微分模及其张量积

本文的目的是将线性空间上的微分算子,微分模,同调空间等理论推广到环模及环模张量积[1]。由此,得出了微分空间的Künneth 定理对除环上线性空间的推广:K∈CR,R,S∈_(Kφ)为可除的,M∈D_Rφ,N∈D_s■,M N∈D_(R■S)·■,则有 R S 映射■∈L(H(M),H(N);H(M N))使(H(M N),■)为 H(M),H(N)的张量积。即 H(M N)=H(M) H(N)。本文的结果与对偶模的结果在研究环上多重线性代数中都是有一定意义的。     

环A+xB［［x］］的S-Noether性质

设A⊆B是具有单位元的交换环的扩环, x是环B上的未定元, R:=A+xB［［ x］］, S是环A的一个乘性子集。证明了若S是A的非零因子的乘性子集且对任意的s∈S,(∩sⁿA,n≥1)∩S≠Ф,则R是S-Noether环当且仅当A是S-Noether环, B是S-有限A-模。
                   

small-内射模的某些研究

主要研究small-内射模及其内射包络的一些性质.证明了:(1)设 R 是LPID环,且左 R- 模序列 0→A→B→C→0 是正合的,若 A 是左small-内射模,则 B 是左small-内射模当且仅当 C 是左small-内射模;(2) R 是左(右) S-V-环当且仅当 R 是半本原环.     

FP-内射环

该文讨论了左FP-内射环和左IF环,证明了没有非零幂零元的左FP-内射环是Von Neumann正则环。以及给出了左IF环的一个特征性质:环R是左IF环当且仅当R是右H-凝聚环且任意有限表示左R-模是自反的。所得结果推广了S.Jain和E.Matlis的相应结果。     

三角代数上导子的两个结论

设R是有单位元的交换环,A,B都是R上的酉代数,M是非零(A,B)-酉双模,且作为左A-模和右B-模都是忠实的.记T=(A M0B)为由A,B,M构成的三角代数,D为T的导子.给出T满足[D(X),D(Y)]=0的导子的结构,并证明了三角代数T的导子都不是强保交换的.     

广义逆多项式模的弱Co-Hopf性质

设R是环，但未必含有单位元．(S，≤)是Artin的严格全序幺半群．如果左R-模M具有性质(F)，则左R-模M是弱Co-Hopf模当且仅当左[[R^s.≤]]一模[R^s.≤]是弱Co-Hopf模．     

一类型的能正规线性变换

1.序言命表一完备的或非完备的希耳伯特空间,命H表作用于(?)上之一异于零的有界自辅线性变换,故对于(?)内一切之元f及g合:(Hf,g)=(f,Hg),0<||H||<+∞,这里(f,g)表f及g二元之内积,||H||表变换H之模,即对于一切元f∈(?),合||Hf||≤M·||f||之M之最小值,这里||f||=(f,f)~(1/2)表元f之模,若一有界线性变换K使得S=HK为自辅变换,则K称为对于H之能对称变换,Symmetrisable transformation.若(?)表Lebesgue之L_2空间,K表作用于L_2上之积分变换。     

形式三角矩阵环的P1-内射性和P1-内射维数

设A、B为环,M为左B右A的双模,令■为形式三角矩阵环.设R是任何环,右R-模D称为P_1-内射模,是指对任何投射维数不超过1的模P,有Ext_R~1(P,D)=0.研究形式三角矩阵环T上P_1-内射模与P_1-内射维数.证明若M为平坦的左B-模,则T-模(Z,W)g为P_1-内射模当且仅当ZA与WB为P_1-内射模;并证明若M为平坦的左B-模,则r. P_1dim(T)≤max{r. P_1dim(A),r. P_1dim(B)}.     

Noether环的一个特征

主要证明了:环R为左Noether环当且仅当对任一有限生成左R-模A及任意一集左R-模,|Bili∈I|,有Ext1R(A,ΘiefB.)≌ΘiefExt1R(A,Bi)成立.     

三角矩阵环上FC-投射模的刻画

设■是形式三角矩阵环,其中A,B 是环,U 是（B,A）-双模.给出了有限余生成左T-模和有限余表示左T-模在形式三角矩阵环上的等价刻画,进而给出了形式三角矩阵环 T 上 FC-投射左T-模的刻画.作为应用,讨论了左T-模的 FC-投射维数.     

DS环的Morita invariant性

证明了关于左DS环的几个结果：1）若对R的中心幂等元e，有eRe和（1－e)R(1-e)都是左DS环，则R是左DS环；2）R是左DS环当且仅当全矩阵环Mn(R))是左DS环；3）左DS环是Morita invariant;4)R是左DS环当且仅当R是左MC2环且极小内射左R－模的同态像是极小内射左R－模。