APP下载

广义Γ-环上模的Morita结构及其应用

2012-03-26俞淑萍

上海理工大学学报 2012年3期
关键词:定义结构

俞淑萍

(上海医疗器械高等专科学校基础部,上海 200093)

文献[1]引进广义Γ-环,本文研究这种环上模的Morita结构及其应用.该问题迄今尚未有人讨论过.本文中出现的广义Γ-环R均有α-单位元,∀α∈Γ.设M为R-右模,N为R-左模,Hom(M,N)表示M到N的模同态集,End(M)表示模M自同态集.本文中出现的不加定义的概念和符号见文献[1-2].

1 广义Γ-环上模的Morita结构定义

根据结合环上模的Morita理论,可以定义广义Γ-环R上的模、α-自由投射模、投射生成模及α-张量积等概念.本文省略这些概念的定义过程,直接利用这些概念,并不加证明地给出广义Γ-环R上模的相应结果.

定理1 设P为R-模,则下列条件等价:

a.P为投射模;

b.任一短正合列0→M→N→P→0是点分裂的;

c.P为α-自由模的直和因子,即存在α-自由模F与R模P′使P⊕P′~F.

定理2 R-模P为投射模的充分必要条件是存在集

定理1和定理2可由广义Γ-环上模的运算特性,仿照文献[3-4]中结合环相应结果的证明即可证得.本文省略它们的证明.

定义1 设R′,R为广义Γ-环,M=R′MR,M′=RM′R′,若有R-R-同态τ和R′-R′-同态μ为

它们满足:任意x,y∈M,x′,y′∈M′,

即下面的两个同态映射图1(a)和图1(b)可交换,则称(R,R′,M,M′,τ,μ)为一个Morita结构.

图1 同态映射交换图Fig.1 Homomorphic figure

2 构造M

定理3 设M=MR为广义Γ-环R上的(右)模,从M出发构造它的一个Morita结构,并称之为构造M.

证明 令M*=Hom(MR,RR),R′=End(MR),分别规定以下情形:

情形1 ∀α∈Γ,1α∈C1(R),设r′1,r′2∈R′,β∈Γ,m∈M,规定

则对任意ν∈Γ,x∈R

显然r′1βr′2∈End(M),故r′1βr′2∈ End(MR).易验证R′关于这个结构构成广义Γ-环.1′α为R′的α-的单位元,且1′α∈C(R′).为区别于环End(MR),将这个广义 Γ-环 R′记为EndΓ(MR),即R′=EndΓ(MR).特别地,若仅对α-而言,即Γ={α},就得到广义α-环

则R′也为广义Γ-环.

情形3 在情形1中,当r′∈R′,m∈M,β∈Γ时,规定

则MR为左R′-模,即M=R′MR.

情形4 在情形2中,当r′∈R′,m∈M,β∈Γ时,规定

则MR为R′-模,即M=R′MR.

情形5 在情形1中……

登录APP查看全文

猜你喜欢

定义结构
《形而上学》△卷的结构和位置
永远不要用“起点”定义自己
定义“风格”
论结构
新型平衡块结构的应用
论《日出》的结构
成功的定义
创新治理结构促进中小企业持续成长
修辞学的重大定义
基于BIM的结构出图