Injective modules, self-injective associative rings Homological methods mathematics