范畴MC1MCπ及MC×kπ的等价性和同构性.pdf

万方数据
范畴琈￡及×七兀的等价性和同构性幽一硝∥中,则称,是右兀一余模同态..海ヒ籩省省J且蛔錵一线性映射,￡:△。,~。,一口.,希簦记△邮弧艭∽粄簘。∈。是一族瘴剩粄笸篗口,。一蝇记硝优恢ィ河设!省#琾,:硝口硌,薿△即’陆簦骆金强,李金其摘要:设啻饕Q芯苛擞褻挥嗄7冻階嗄7冻肱螅患坝胰阂籆Ⅺ等价,范畴。与×燃郏荨,篴!耄甁籥篴",,且桓龉潭ǖ挠颍J浅朔ㄈ海闹出现的耳一余代数,瓦一余模等都是系南咝钥占洌映射呛愕扔成洌喙馗拍罴凹呛挪渭南,.设粄。∈。是一族是占洌饕一是是是一线性映射,若对任意的口,』兀,满足如下条件:¨一琧R籮则称。。。,△,!省#鳎是丌一余代数,口,守⑹且蛔錵一线性映射,若对任意的口,,丌,满足如下条件:硝,一则称。∈。,∥怯襎嗄#。。。,“怯邑R籆一余模,厂一:阂籒。一族融线性映射,若对任意的口,口∈丌,满足定义设怯啻琈是右挥嗄#琋是左挥嗄#嗾帕炕齅口是指忌一线性映射—篗暮耍!省#鳎是一余代数,葭憬Ψ洞笱碛胄畔⒐こ萄г海憬鸹一余模范畴三者琙定义定义浙江大学学报硌О://..—...关键词:群一余模;余模;范畴中图分类号:文献标志码:文章编号:—⒁籧,√篻狢籧基金项目:,巧。::—,狢—⒁籆女“一瓼,丌一瑃,.铮收藕日期:作者简介:骆金强,男,硕士,研究方向:代数ㄐ抛髡撸珽—甤.,.—.
万方数据
凇#琿二竺坠生凇!三口模,则对任意的∈托,&,海ヒ籑。⒁唤ⅲ疞。!!J怯邑⒁籆嗄M兀一挥嗄#б粄五:蜕一。。。是右兀一余模同,粄厂口#约昂覵:川;一.,,,则酢R唬琋。是一空间,‰一鳎篗—。;。是一族妊线性映∥谬一墙,定理鐼一蜕!省#,!省#态粄冢篗:/。。。,使得涣送猓琙是一#O酰堑サ模帧骷匆粃是单的,则—一存在兀,使得舰一挥嗄#琇是,一双余模,则凇兰如果秦R挥啻荕S胰挥嗄7畴,晃S邑R籆嗄7冻耄甅NS褻,:。一龋琓粄赾.。∈。,冻隡S隡;。!省#簟R,因此硝。。口琧。.蚨匀我獾腘∈,有赾,@糔。.特别射,若对任意的凇守ⅲ悖￡一则称,广怯胰阂籆一余模.。。。,△,￡挥啻,严,Ⅳ际怯胰阂籆一余模,厂:狽是忌一线性映射,若对任意的丌,满足。我∥,,则称,是右群嗄M都是右冗一余模,则舫б粄篗口一。。。是右兀一挥嗄M态,则一畗。;。是挠邑R籆佑嗄##弧J荖的右—蛔佑嗄#鬖一。!!J荕的右—蛔佑嗄#疞疞。!!S形ㄒ坏挠狢一余模结构映射,态,其中亲匀煌绻和械奶跫闪ⅲ叶匀我獾目,都有,则存在唯一的右疽籆嗄M同构当且仅当,。#定理鑓一。。。,△,是兀一余代数,则以下条件等价:匀我獾腶,卢∈丌,#珹⋯。:R籆一,是单鐼一。。。,侨我獾挠籆一余怯尧蛞籆余模,则由。趟,,一·簦谝一。匆唬堑サ模敲脚,唬堑サ模蒩,卢的任意性知闪ⅲ因为。!省#鳎是—挥模,,口∈瓦,△邢:R籆。堑サ模虺艭是强兀一余代设乔控R挥啻绻鸐是右兀一嗄#蛞韵绿跫燃郏推论鑓是强“一余代数,如果琋是右是单的当且仅当,,是单的,当且仅当存在丌,使得堑サ模是满的当且