半群的代数K—理论方法（I）：半群的Grothendieck群.pdfVIP

维普资讯 第 ，3卷 第 3期 数 学 学 报 Vo1．33．No．j 199u年 5月 ACTA MATHEMATICA SINICA May， 199 半群的代数 一理论方法 (I) 半群的 Grothendieck群州 朱 光 天 (中国科学技术大学数学系) 摘 要 本文及其 续试将代数 一理论方法 目j八半群理论的研究． 设 S是一个半群 (有单位元和零元)， (s)是有限生成授射(单式、中心左) 一 系范畴． 本文定义半群 s的 Grothendieck群 KoS是 Ko()，并证明 了， K。是个 自由 Abel群，它的秩等于 的非零正贝Il 一类的集合的基数．由此， 定义了一般半群 (末必有单位元和零元)的秩，考察 了半群的秩与它们纳代数结 构之间的关系．接着讨论了 的函子性质．最后，对于交换半群 ，劐划了K。s 的环结构． §1．基 本 概 念 如无特殊声明，本文所说的半群均指有单位元 I和零元 0的半群；半群 同态 ，：s一 丁总假定是保持 1和 O的．有关半群的主要术语和记号均 同[3]． 本文所说的 一系均描单式中心左 s一系．也就是说，半群 S上的一个 s一系M是一个 非空集台 M 和一个 映射 s×M —+M ； (，m) ， 且满足下列条件 ： I． ( )一 (，2)卅，V ， ∈s，V ∈M； II．1tn— m，V ∈M ；(单式性) III．存在唯一的 0 ∈M ，使得 O 一 0 ，Vm ∈M ，也记 0 一 0，叫做M的零元 ． (中心性) 对偶地 ，可给 出右 S一系 的定义．有关 s一系的主要求语请参看 【2】和 【4】． 设 _Ⅵ，Ⅳ是 一系，映射 ：M -Ⅳ 叫做一个 s一同态，如果 满足条件 ( ) 婶(卅)， V ∈ ， V ∈M ． 若 还是一个单 (满 ，双)射，则称 是单 s一同态 (满 一同态，s一同构)．当 是 s一同掏 19¨年 10月 31日收到 ． )国家 自然科学基金会资助顷目． 维普资讯 数 学 学 报 时，称 M 与Ⅳ是 一同构的，记作 M N (或 M =Ⅳ)． 所有 一系连同它们的 一同态作成一个 s一系范畴，记作 8-sys． 设 ⅣI是 s一系，i∈，，j是非空集合．作无交并 IIN“并将其中的所有零元 0一， ●f f i∈j，等同起来，记作 0．不难验证这是一个 一系，叫做 {ⅣjIi∈，}的直并(或0一直并)， 记份 Ⅱ ．它是 {ⅣiIi∈，}在范畴S-sys中的余积．易知8-系的直并有交换性和结 E f 台性．若对于任意的i∈，有N一N，则简记 ⅡNi—N． (正整数)个Ⅳ的直井 IE ， 记怍 Ⅳ ． 设 竹：N一一 Ⅳ：是 s一同态 ，i∈ ．映射 ： ⅡM一ⅡⅣrI ()，当 ∈N时，是一个 一同态，叫做{lPil∈，}的 It J fE f 直并，记作 一Ⅱ ． 设 M 是一个 s一系 ．M 的非空子集Nnq做 M 的一个子系，如果 SN ·={ li∈S， ∈Ⅳ} Ⅳ．