Surjectivity from injectivity modulo the Jacobson radical

ID: surjectivity-from-injectivity-modulo-the-jacobson-radical

For a finitely generated module on the right over a semilocal ring, the displayed condition makes the induced module endomorphism on injective. This quotient is an Artinian module, so Artinian modules are co-Hopfian makes that map surjective. The remaining quotient module equals its product with , and Nakayama lemma makes it zero.

New to topics? Read the docs here!