Torsion theory for commutative rings Homological methods mathematics