Аннотация:
Доказывается критерий конечной порождённости проективного модуля над csp-кольцом. Также показано, что группа Гротендика $K_0$ всякого csp-кольца есть свободная группа счётного ранга.
Ключевые слова:csp-кольцо, проективный модуль, группа Гротендика.