Cohomological dimension Homological methods mathematics