上同調維數 代數中上同調維數是群的不變量量度群的表示的同調複雜度上同調維數在幾何群論拓撲學代數數論中有重要應用