-homotopy theory.
It is known that a ring is left Noetherian if and only if every left -module has an injective (pre)cover. We show that if is a right -coherent ring, then every right -module has an -injective (pre)cover; if is a ring such that every -injective right -module is -pure extending, and if every right -module has an -injective cover, then is right -coherent. As applications of these results, we give some characterizations of -rings, von Neumann regular rings and semisimple rings....
Let be an Artin algebra. In view of the characterization of finitely generated Gorenstein injective -modules under the condition that is a cocompatible -bimodule, we establish a recollement of the stable category . We also determine all strongly complete injective resolutions and all strongly Gorenstein injective modules over .