左三角范畴的幂等完备化与余稳定化.pdfVIP

第 26卷 第 1期 福建师范大学学报 (自然科学版) Vo1．26 No．1 2010年 i月 JournalofFujianNormalUniversity (NaturalScienceEdition) Jan．2010 文章编号：1000—5277(2010)01—0005～03 左三角范畴的幂等完备化与余稳定化 傅怡馨 ，辛 林 (福建师范大学数学与计算机科学学院，福建 福州 350007) ～ ～ 一 ～ 摘要 ：设 ( ，n，△)是一个左三角范畴，(尺()，历，)与( 万，，)分别是( ，，zs)的先幂等完备化 再余稳定化 (三角化)和先余稳定化 (三角化)再幂等完备化后得到的三角范畴，则这两个范畴是三角等价的． 关键词 ：左三角范畴；幂等完备化 ；余稳定化 ；三角等价 中图分类号 ：O154．1 文献标识码 ：A TheIdempotentCompletion andCostabilizationof aLeftTrangulatedCategory FU Yi—xin，XIN Lin (SchoolofMathematicsandComputerScience，FujianNormalUniversity，Fuzhou350007，China) Abstract：Let( ， ，△)bealefttriangulatedcategory．If(尺( )，n，△)denotesthe costabmzationoftheidempotentcompletionof( ，21，A)and(R( )，21，△)denotesthe idempotentcompletionofthecostabiIizationof( ，国，△)．Thentheyhavethemaintheorem 一 ． 一 (R( )， ，△)三三三(R( )， ，zS)asatriangle—equivalence． Keywords：lefttriangulatedcategory；idempotentcompletion；costabilization；triangle— equivalence 设 是一个加法范畴．由[1]，如果对幂等态射 ∈End(A)，存在态射B 一 B使得qP一1 和 加 一e，则称e是可裂的．如果加法范畴 中每一个幂等态射e都是可裂的，则称 是幂等可裂范畴． 由[2]知，对任意的加法范畴均能够对其进行幂等完备化，且三角范畴的幂等完备化仍然是三角范畴． 单边三角范畴(包括左三角范畴和右三角范畴)是三角范畴的 自然推广．一个三元组 ( ，，△)称 为左三角范畴L3]，如果 是加法范畴， ： 一 是 刍【函子，△是 中满足三角范畴定义中除了加法 自 函子 未必可逆的条件之外的其余所有三角条件．Beligiannis在[4]中利用Grandis在[5]中提供的方 法 ，构造 了一个左三角范畴( ，，△)的余稳定化或称三角化范畴 (R()， ，△)，使得 (R( )，12，△)是 三角范畴，并且存在左三角正合函子 R：R( )一 ，对任意左三角正合函子F： 一 ，其 中 是三角 范畴 ，都存在唯一的正合函子 F ： 一 R( )使得 R。F 一F． 本文设 是一个加法范畴．如果A，B是 的对象，用 (A，B)表示 中从 A到B的所有态射构 成的集合 ，而不用通常的Hom(A，B)表示． 1 基本概念与性质 设 为一个加法范畴．Balmer和Schlichting在[2]中构造了 的幂等完备范畴 如下：定义 中 收稿 日期 ：2008—12—1l 基金项 目：