Efficient generation Grothendieck groups ($K_0$) mathematics