Grothendieck K-theory K_0(R)

Abelian group on iso classes of f.g. projective R-modules modulo [P⊕Q] = [P]+[Q]. K_0 of a ring; higher K-theory (Quillen) detects arithmetic.