Homological dimension and commutative rings Homological methods mathematics