Envelopes, covers and semidualizing modules
Given an [Formula: see text]-module [Formula: see text] and a class of [Formula: see text]-modules [Formula: see text] over a commutative ring [Formula: see text], we investigate the relationship between the existence of [Formula: see text]-envelopes (respectively, [Formula: see text]-covers) and the existence of [Formula: see text]-envelopes or [Formula: see text]-envelopes (respectively, [Formula: see text]-covers or [Formula: see text]-covers) of modules. As a consequence, we characterize coherent rings, Noetherian rings, perfect rings and Artinian rings in terms of envelopes and covers by [Formula: see text]-projective, [Formula: see text]-flat, [Formula: see text]-injective and [Formula: see text]-[Formula: see text]-injective modules, where [Formula: see text] is a semidualizing [Formula: see text]-module.