Existence D'Un Module de Type Fini Non Injectif

La situation où existent des modules de type fini qui ne sont pas injectifs ; la génération finie n'impose pas l'injectivité, de sorte que ces modules échouent aux propriétés de relèvement d'extensions qui caractérisent les objets injectifs.