$K_0$ of other rings Grothendieck groups ($K_0$) mathematics