$K_0$ of group rings and orders Grothendieck groups ($K_0$) mathematics