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!