Skip to content

Cohomological dimension

Cohomological dimension denotes invariant of a group within group cohomology.

Version
v1 · 2026-09-28 · History
Domain-specific #
8531
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Group Cohomology, Homological Algebra → Mathematics

Core Idea

Cohomological dimension measures how far the trivial module of a group is from being projective, and thereby records the highest degree in which the group's cohomology can remain nonzero. For a discrete group \(G\) and a unital coefficient ring \(R\), \(\operatorname{cd}R(G)\) is the minimum length of a projective resolution of the trivial \(RG\)-module \(R\); equivalently, \(\operatorname{cd}R(G) \le n\) exactly when \(H^k(G,M)=0\) for every \(RG\)-module \(M\) and every \(k>n\). If no finite bound exists, the dimension is infinite.

How would you explain it like I'm…

 

No faithful explanation at this level. A five-year-old picture of "dimension" can only be how many directions a space stretches in, which is exactly the spatial-dimension misconception the concept excludes; it is an algebraic invariant of a group and a coefficient ring, where a finite group can be infinite over the integers yet zero over other coefficients.

Last Non-Zero Test Level

Mathematicians study groups, which are collections of moves you can combine, like the ways to turn a shape. For a group, they can run a whole series of 'tests', one at level 1, level 2, level 3, and so on, called cohomology. The cohomological dimension is the last level where some test can still give a non-zero answer; above it, every test gives zero. It is not the same as how many directions a space has, and it can change depending on which number system you use for the tests. Some groups never run out of non-zero levels, so their cohomological dimension is infinite.

Top Degree of Group Cohomology

Cohomological dimension is a number attached to a group G and a choice of coefficient ring R, like the integers. It is the highest degree n in which the group's cohomology can be nonzero, for any coefficient module; if there is no highest degree, it is infinite. Equivalently, it is the shortest length of a certain kind of algebraic 'resolution' of the simplest module. It is not the same as ordinary geometric dimension, though if G acts freely on an n-dimensional contractible space built from cells, its dimension over the integers is at most n. Free groups have cohomological dimension 1, and nontrivial finite groups have infinite cohomological dimension over the integers but can have dimension 0 over a ring where the group's size can be divided by. So the coefficient ring is part of the answer.

 

For a discrete group G and unital coefficient ring R, the cohomological dimension cd_R(G) is the minimal length of a projective resolution of the trivial RG-module R; equivalently, cd_R(G) is at most n exactly when H^k(G, M) = 0 for all RG-modules M and all k greater than n, and it is infinite if no bound exists. It measures how far the trivial module is from being projective, converting an open-ended family of cohomology groups into one uniform vanishing bound. Geometrically, a free action of G on an n-dimensional contractible CW complex yields a projective resolution of length n, bounding cd over the integers, and in favorable cases this bound is sharp. Free groups have integral cohomological dimension one, and the Stallings-Swan theorem shows conversely that groups of cohomological dimension one are free. Fundamental groups of closed orientable aspherical n-manifolds have dimension n. The invariant is sensitive to torsion and coefficients: a nontrivial finite group has infinite integral cohomological dimension but dimension zero over a ring in which its order is invertible. Hence the coefficient ring is part of the datum, and the invariant is distinct from spatial dimension or the dimension of a representation.

Scope of Application

  • Group cohomology. It locates a discrete group's highest potentially nonvanishing cohomological degree uniformly over coefficient modules.

  • Projective-resolution analysis. Minimal or bounded resolutions provide upper bounds, while nonvanishing classes provide lower bounds.

  • Geometric group theory. Free actions on contractible CW complexes and classifying-space models relate algebraic dimension to geometric dimension under stated hypotheses.

  • Torsion and coefficient comparison. Integral, rational, and field-valued dimensions expose different behavior and must be reported with the coefficient ring.

  • Dimension-one classification. Results such as the Stallings–Swan characterization use the invariant to identify free groups under the exact coefficient convention.

Clarity

Cohomological dimension makes precise the otherwise vague claim that one group is homologically more complicated than another. It asks for the least resolution length—or, equivalently, the degree above which cohomology vanishes for every coefficient module—relative to a stated coefficient ring. This separates a uniform bound from an isolated vanishing calculation and forces comparisons to specify both \(G\) and \(R\).

Manages Complexity

Cohomological dimension replaces an unbounded survey of resolutions, coefficient modules, and higher cohomology groups with one coefficient-relative cutoff. Once the ring is fixed, the analyst tracks the least resolution length or the last degree in which some module can support nonzero cohomology. A finite cutoff immediately suppresses every higher degree for every module; infinity marks failure of any uniform bound.

Abstract Reasoning

Bounding move. From a projective resolution of length n, or a free action on an n-dimensional contractible complex, infer an upper bound on cohomological dimension over the stated ring. Obstruction move. From nonvanishing cohomology in degree k for some module, infer that no bound below k is possible. Coefficient-comparison move. From a change in coefficient ring, reason to a potentially different dimension rather than transporting the old value unchanged. Classification move.

Knowledge Transfer

Within the home domain. Cohomological dimension transfers literally across group cohomology, rings, modules, spaces, and related homological settings once the relevant category, coefficients, and projective or injective resolutions are specified. Vanishing degrees, resolution length, and obstruction information keep their mathematical roles. Beyond the home domain (C — instrument). It is a formal invariant that travels wherever those categorical preconditions hold; this is literal use, not metaphor. Its limit is over-reading: dimensions defined by different cohomology theories or coefficient systems need not agree, and a finite value does not by itself supply geometry, complexity, or a unique model.

Relationships to Other Abstractions

Local relationship map for Cohomological dimensionParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.CohomologicaldimensionDOMAINPrime abstraction: Dimension — is a kind ofDimensionPRIME

Current abstraction Cohomological dimension Domain-specific

Parents (1) — more general patterns this builds on

  • Cohomological dimension is a kind of Dimension Prime

    Cohomological dimension is a domain-specific kind of Dimension: Cohomological dimension denotes invariant of a group within group cohomology.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Cohomological dimension sits in a moderately populated region (56th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Vector Bundles & Classifying Constructions (10 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08