Grothendieck groups, $K$-theory and commutative rings Homological methods mathematics