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».
Les arguments standard en algèbre injective impliquent que ces groupes de cohomologistes sont indépendants du choix de la résolution homologique de «E».