Let S be a semigroup with identity and zero, P(S) the category of finitely generated projective S-systems. In this paper, the Whitehead group K.S of S is defined to be K..P(S), where .P(S) is the loop category of P(S), and the structure of K.S is given.