The largest integer n (or infinity) such that a given group or topological space has nontrivial cohomology in degree n with coefficients in some module (or system of coefficients); for groups this is often the supremum of degrees in which group cohomology with appropriate modules is nonzero.

Principle

Use cohomology vanishing/nonvanishing degrees as a measure of the 'homological size' or complexity of a space or group, equivalently the minimal length of projective or free resolutions needed to resolve the trivial module in group-theoretic contexts.

Demonstration

A free group has cohomological dimension 1 because its group cohomology vanishes above degree 1; the fundamental group of a closed orientable surface of genus g ≥ 2 has cohomological dimension 2; finite groups have finite cohomological dimension related to periodic cohomology phenomena depending on coefficients.

Misapplication

Assuming cohomological dimension equals topological (covering) dimension in all contexts, or ignoring the dependence on coefficient modules and on whether one considers cohomology with trivial, twisted or profinite coefficients; also overlooking that cd can be infinite for some groups.

Consequence

Knowing the cohomological dimension constrains possible actions on aspherical complexes, bounds lengths of projective resolutions, informs duality properties, and restricts algebraic and geometric behaviors of groups and spaces.

Reversal

The inverted viewpoint studies objects with infinite cohomological dimension: instead of a finite cap on nonvanishing degrees, one examines persistent higher-degree cohomology, which signals more complex or pathological homological structure.

Boundary

Cohomological dimension depends on the chosen coefficient module category (e.g., Z-modules, p-local modules, profinite modules), may be infinite, and differs from geometric or homological dimension notions unless additional finiteness or finiteness-type hypotheses hold.

Semantic Tension

Tension exists between cohomological dimension and geometric/topological dimension: they coincide in many well-behaved cases (e.g., aspherical manifolds) but can diverge when torsion, twisted coefficients, or lack of finiteness conditions are present.

Synthesis

Cohomological dimension measures the highest degree in which cohomology can be nontrivial for some coefficients, serving as an algebraic invariant of groups and spaces tied to resolution lengths and duality; its dependence on coefficients and finiteness conditions must be tracked to interpret geometric consequences.