拉回和拉回环挠理论.pdf

提要遗传挠理论是在二十世纪五、六十年代发展起来的,�����榷砸糯�永砺劢�辛舜罅康难芯浚�疚闹饕=�糯�永砺弁��鼗方�合,。第一部分为预备知识,为方便后面各节的应用,我们介绍了一些遗传挠理论的基本概念与性质以及拉回相关的一些性质定理,可以在【�縖��康任南字胁榈剑�在第二部分中,我们首先将一般模范畴意义上的拉回和推出进行推广,引进�焕�睾蚽一推出概念,讨论这些拉回的各分支态射之间的单射与满射等关系,,我们首先证明进一步得到自然等价�篎.������冢嚎趖��轨��,进而得到范畴等价��,我们首先证明��与占口�趖�瑉����涞姆冻氲燃塾盏汲��畉����ぃ畉��琑�畉��:挠理论,拉回,推出,模.�������,�Ⅳ�����如一�,���/�,仉�����R籺肌���珿���,�����
,仇�魌��肌/�猼批,���瓵����,��������.������Ⅳ������厶一�,��������蜘�������—������籺�������������矗�,工���,�����������:��������,����,����琈�����’���‘����珿���琩���,�����琫�.�����畇��������������甀���������,�������.����������瑆�������瑆�����畐�����瑆�
前言从上世纪的五六十年代开始,挠理论的研究得到了蓬勃发展,��年������给出了����冻肷系纳谭冻虢峁寡糋���于��年∽�������暌�及���于��年���“�琒����于��年㈨相继发表了����冻肷系�����砺郏�4戳薃���范畴上的����砺垩芯考捌溆τ玫男铝煊颍�7�畴�甅�是����冻耄�谀7冻肷系哪永砺塾行矶嗟燃鄣亩ㄒ宸椒ǎ琈���和���等利用内射模的等价分类给出了遗传挠理论的定义,���腫�,广泛应用于代数弘理论,代数表示论,,引进�焕��和��瞥龈拍睿�致壅庑├�氐母鞣种��渲�涞牡ド溆肼�涞裙叵担�致哿�,讨论由此确定的相关环上模范畴之间的关系,,【����
罬�船��‰—�疢§�け钢J�示论、��洲设�恨��,,�海��是左��7冻隦.��辛礁鐾����:����玻篨�%使����出设���撬�凶篥拍7冻耄�礁瞿谏渥蟾啬���撼莆5燃鄣模�绻��在两个集合�笔故窨梢缘ネ��厍度氲轿悖��钡阂部梢缘ネ��厍度氲窖���@嗉涞囊桓龅燃酃叵担�恳桓龅燃劾啵�热缒谏淠�所在的等价类,【�知道,两个内射左�B碛氲菏堑燃鄣牡鼻医龅�所有满足���,且��淖竺竽�构成的模类与所有满足����珽��的左皿模�哪@嗍且恢碌模�饩腿范�艘桓瞿佣詔定义��对内射模��荝��中的模类对��κ锹�闳缦绿跫�哪@�则称�。��是一个由内射模�仙�傻囊糯�佣裕�7奖闫鸺��布荰�����,在不需要特别指明内射模�保�莚����.由所有内射模上生成的遗传挠对构成的类记为���,按【�浚琑���且桓黾������与推出�����欠冻肼壑谐S玫囊欢曰�靖拍睿�诖���称为�,,�的拉回,如果对任意同态都存在唯一的同态�篨�使得������玻�对,��������珽����������琘��琕�识�如下的交换图
。一����她�。一Ⅳ———�——旦%�狵——一�——���烙��擂��,�驰��皿拉回图是由同态对�琹,,�唯一确定的,即如果同态科:���,矿����定义��㈨设玑:�����篗�%是左��7冻隦��中两个同态,�:����:%���梗甪����使得��,�驮虼嬖谕�筯:�痏÷�沟胮��疲���斡谑峭�挂庖逑拢��“�,���∈�,�∈�并且/���矗����鴓�篜��:��琺�����:�����,��贰耺�亲匀坏耐队巴���作为对偶概念,有下面的推出如下的交换图称为����的推出,如果对任意同态都存在唯一的同态����沟胵��,��,��推出图也是由同态对���唯一确定,因此在同构意义下,�“�#琺。���∈�,�∈���中,���������蔒��鴔�篗��:�卜÷下面的结论是【�】的命题�.�命题��考察�甅�中的交换图�