摘要
Let S be a semigroup with identity and zero,（S）the category of finitely generated projective S-systems.In this paper,the Whitehead group K<sub>1</sub>S of S is defined to be K<sub>0</sub>Ω（S）, where Ω（S）is the Loop category of（S）,and the structure of K<sub>1</sub>S is given.
Let S be a semigroup with identity and zero,（S）the category of finitely generated projective S-systems.In this paper,the Whitehead group K<sub>1</sub>S of S is defined to be K<sub>0</sub>Ω（S）, where Ω（S）is the Loop category of（S）,and the structure of K<sub>1</sub>S is given.
基金
Supported by the Foundation of Academia Sinica
