Les arguments standard en algèbre injective impliquent que ces groupes de cohomologie sont indépendants du choix de la résolution homologique de «E».
Les arguments standard de l'algèbre homologique suggèrent que ces groupes de cohomologie sont indépendants du choix de la résolution injective de «E».