上同调维数
代数中,上同调维数是群的不变量,量度群的表示的同调复杂度。上同调维数在几何群论、拓扑学、代数数论中有重要应用。
就如大多数的同调及上同调不变量,上同调维数涉及选取「系数环」R,最常见的特例是整数环R = Z。设G是离散群,R是非零有单比特的环,RG是其群环。群G的上同调维数小于或等于n,记为cdR(G) ≤ n,若平凡RG-模R有一个长为n的投射分解,也就是有投射RG-模P0, …, Pn,及RG-模同态dk: Pk→Pk − 1(k = 1, …, n)和d0: P0→R,使得对k = 1, …, n,dk的像正是dk − 1的核,且dn有平凡核。