Les arguments standard en algèbre homologique impliquent 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».