Euler characteristic
を得る。事実、グロタンディーク群は、元来、オイラー標数の研究のために導入された。