Sur les enveloppes injectives de TAG-modules

S. Singh a introduit dans [5] les modulesM, sur un anneau unitaire, satisfaisant aux deux conditions suivantes: I) Tout sous-module de type fini de toute image homomorphe deM est somme direct de modules uniseriels. II) Etant donne deux sous-modules uniserielsU deV d'une image homomorphe deM etW un sous-module deU, toute application lineairef: W→V se prolonge aU, pourvu que la condition suivante sur les longueurs soit satisfaite:d(U/W)≤d(V/f(W)).