函手k0は環aに対し、a上の有限生成な射影加群の同型類の集合を直積によりモノイドとみなしたときのグロタンディーク群をk0(a)とすることで得られる。