// Grothendieck構成 を可換モノイド（可換単位的半群）とする．に同値関係を$$(x,y) \sim (z,w) \ \Leftrightarrow_{\mbox{def}} \ x + w + s= y + z + s\ \ \ (\exists s \in S)$$として入れる．をこの同値関係で割った空間をとかきに対するGrothendiek群…