The situation that there exist finitely generated modules which are not injective; finite generation does not force injectivity, so such modules fail extension-lifting properties that characterize injective objects.

Principle

Injectivity is a right-exactness/lifting property for extensions: an injective module receives extensions trivially. Finite generation is orthogonal to this homological property; without additional ring conditions, small size does not imply the necessary divisibility or extension-lifting behavior.

Demonstration

Concrete example: over Z, the module Z/nZ is finitely generated but not injective (injective Z-modules are divisible groups like Q/Z and Q), so simple torsion modules provide abundant examples of finitely generated noninjective modules.

Misapplication

Assuming an arbitrary finitely generated module is injective and using that to split short exact sequences or extend maps; such misuse invalidates homological arguments and classification reliant on injectivity.

Consequence

When noninjective finitely generated modules exist, one must use injective resolutions, compute Ext groups to detect obstructions, and be cautious about claiming splits or extensions, often requiring stronger hypotheses (e.g., semisimplicity) to guarantee injectivity.

Reversal

If every finitely generated module were injective (a rare situation, e.g., over semisimple rings), then extension problems trivialize and homological algebra simplifies; the existence of noninjective examples shows this simplification is exceptional.

Boundary

This statement concerns finitely generated modules over a chosen ring and excludes infinitely generated modules; it distinguishes injectivity (a homological property) from other finiteness or divisibility notions and depends on left/right module context.

Semantic Tension

Tension arises between 'injective' and 'divisible' in abelian group contexts, and between 'finitely generated' and 'injective hulls'—finitely generated modules may have injective envelopes that are far larger, revealing a mismatch between size and homological completeness.

Synthesis

Existence of finitely generated noninjective modules is a routine boundary phenomenon indicating that finiteness does not supply extension-lifting power; it directs attention to Ext, injective envelopes, and ring conditions necessary to recover splitting and extension results.