半群的代数K-理论方法(Ⅰ)——半群的Grothendieck群

本文及其续试将代数K-理论方法引入半群理论的研究。 设S是一个半群(有单位元和零元),P(S)是有限生成投射(单式、中心左)S-系范畴。本文定义半群S的Grothendieck群K_0S是K_0P(S),并证明了,K_0S是个自由Abel群,它的秩等于S的非零正则?-类的集合的基数。由此,定义了一般半群(未必有单位元和零元)的秩,考察了半群的秩与它们的代数结构之间的关系。接着讨论了K_0的函子性质。最后,对于交换半群S,刻划了K_0S的环结构。