Max-projective modules

Abstract

Weakening the notion of [Formula: see text]-projectivity, a right [Formula: see text]-module [Formula: see text] is called max-projective provided that each homomorphism [Formula: see text], where [Formula: see text] is any maximal right ideal, factors through the canonical projection [Formula: see text]. We study and investigate properties of max-projective modules. Several classes of rings whose injective modules are [Formula: see text]-projective (respectively, max-projective) are characterized. For a commutative Noetherian ring [Formula: see text], we prove that injective modules are [Formula: see text]-projective if and only if [Formula: see text], where [Formula: see text] is [Formula: see text] and [Formula: see text] is a small ring. If [Formula: see text] is right hereditary and right Noetherian then, injective right modules are max-projective if and only if [Formula: see text], where [Formula: see text] is a semisimple Artinian and [Formula: see text] is a right small ring. If [Formula: see text] is right hereditary then, injective right modules are max-projective if and only if each injective simple right module is projective. Over a right perfect ring max-projective modules are projective. We discuss the existence of non-perfect rings whose max-projective right modules are projective.