- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
一个代数的预投射分支和т-预投射分支.ptimes;loading...文档投稿赚钱heroliuguan2623.040金币充值常见问题退出首页浏览文档文档专题我的文档我要上传我的文档我的私密文档上传审核定价等特殊申请我的收藏充值/兑换/提现/奖惩/记录短消息留言本基本设置实名认证我的空间关注公众号关联账号已审核(641782)未转换,未审核(0)已处理,请自行审核(32151)被退回(0)已卖出文档明细表(3205)已审核原创文档(0)未审核原创文档(0)审核
数 学 学 报 47卷
路
PM-÷._÷7-“一lM斗…-÷7.”M.
条件矛盾.证毕.
注2一个分支成为一个丁一预投射分支要求两个条件:
(1)r中的模都位于投射模的丁一轨道;
(2)在r中不包含有向循环.
由定理2.3,我们知道一个预投射分支和一个下一预投射分支的本质区别在于它是否包含有
向循环.自然地,我们会问:当一个预投射分支,它的每个元素都属于投射模的丁一轨道,是否
它是一个丁一预投射分支,我们的回答是否定的,即这种分支未必是丁一预投射分支.
可看下面的例子.
例2 设南是一个代数闭域,设A是域岛上的 o
由下述箭图(见图3)所确定的根平方为零的路代数:
3
1
贝ⅡA的Auslander—Reiten箭图rA如下:
/。\ \/口 /\
/\ \/ /\
60 o
图4
中的每个模都属于投射模的下一轨道,这个分支是一个预投射分支.但rA不是一个r一预投射
分支,因为它包含一个有向循环
P(口)—手,(o)—争口—÷P(口)
定义2.5 令r是rA的一个分支.
x到y最短路长定义为从x到y的距离,记为d(x,y).
4期 李思泽等:一个代数的预投射分支和下-预投射分支 803
d(P,∽)2曾{d(P,舰))
为P到u的距离.如果F中不包含从P到u的路,那么d(P,u)表示∞
对F中任意有向循环u:‰_÷A矗斗…_÷Mk=^%,我们定义
dp)=min{d(P,u):P是不可分解投射模】.
定理2.6
的从一个内射模到一个投射模的路都是截口的,则r是一个下一预投射分支.
证明 由定理2.3知,只需证明r中不包含有向循环.反证法.倘若r中包含有向循环,
设u:%斗尬_÷…_÷螈=慨是r中的一个有向循环.
预投射分支和文[2]中定理1.2知,r只包含有限个不同的有向循环,所以我们能取到一个有向
循环uo满足d(uo)=s是最小的.我们断言s=o且因此ro包含一个投射点.
uo:蝎_÷尬_÷…_÷‰=眠,即存在一条路
P=Ⅳs_÷虬一1j…斗Ⅳ1斗Ⅳo=眠
.
因为d(uo)=so,所以uo不包含投射点,因此
7-%=7-%
7.uo:丁%.÷下尬_÷…o
由箭Ⅳ1_÷Ⅳ0=%,我们可得箭丁A窃-÷Ⅳ1.因此,得到有向循环
小性矛盾.因此d(uo)=o,即uo包含一个投射点.
F包含路
I_…_Pj…壬Ij…_P、
这条路不是截口的,这与所给的条件矛盾.
舰=7.%+2,从而7.一必=舰+2.我们有
u:%斗尬_÷…_÷螈=%o尬_÷丁一眠o…斗r一螈
=7.一%_÷…斗7.一坛
=尬+2-÷…-÷%=%,
数 学 学 报 47卷
点J又包含一个投射点P.由上面讨论知这是不可能的.因
文档评论(0)