格罗滕迪克群

格罗滕迪克群为代数K理论中的一种群。设为加性范畴，M为加性范畴的对象的同构类组成的交换幺半群。S为从交换幺半群范畴到阿贝尔群范畴的函子，s为从M到S(M)的底幺半群的幺半群同态，满足对任意阿贝尔群G与幺半群同态f:M→G，存在唯一的群同态，满足。称S(M)为的格罗滕迪克群。