= Z。设"G"是离散群，"R"是非零有单位元的环，"RG"是其群环。群"G"的上同调维数小于或等于"n"，记为cd("G") ≤ "n"，若平凡"RG"-模"R"有一个长为"n"的投射分解，也就是有投射"RG"-模"P", …, "P"，及"RG"-模同态"d": "P"→"P"("k" = 1, …, "n")和"d": "P"→"R"，使得对"k" = 1, …, "n"，"d"的像正是"d"的核，且"d"有平凡核。等价地，群"G"的上同调维数小于或等于"n"，若对任何"RG"-模"M"，"G"以