 ##  [Existence of Noninjective Finitely Generated Module](/existence-noninjective-finitely-generated-module) 

  ##  [Existence of Noninjective Finitely Generated Module](https://algebra.quantumdictionary.io/existence-noninjective-finitely-generated-module-0) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.