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. The coefficient ring is part of the datum: changing $R$ can change the answer, so an unqualified numerical value is incomplete unless the convention is established.

This invariant converts an open-ended family of cohomology groups and coefficient modules into a single upper-bound question. A finite value says that all higher cohomological obstructions vanish uniformly, not merely for one chosen module. That uniformity is what gives the number its classificatory force. It also connects algebraic and geometric presentations. A free action of $G$ on an $n$-dimensional contractible CW complex yields a projective resolution and therefore an upper bound on $\operatorname{cd}_{\mathbb Z}(G)$. In favorable cases the bound is sharp, letting geometric dimension constrain algebra and cohomology constrain possible group actions.

The value is sensitive to torsion and coefficients. Free groups have integral cohomological dimension one, while the Stallings–Swan theorem makes the converse a structural characterization. Fundamental groups of closed orientable aspherical $n$-manifolds provide dimension-$n$ examples. By contrast, a nontrivial finite group has infinite cohomological dimension over the integers, yet can have dimension zero over a ring in which its order is invertible. Thus the abstraction is not ordinary spatial dimension or the dimension of one representation. It is a group-cohomological invariant of the pair $(G,R)$, defined through resolutions or universal high-degree vanishing and used to compare the homological complexity that different groups can support.

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.

Structural Signature¶

Sig role-phrases:

the coefficient-sensitive datum — a discrete group $G$ paired with a declared unital coefficient ring $R$
the distinguished trivial module — $R$ regarded as an $RG$-module, whose homological complexity the invariant measures
the projective-resolution witness — a shortest finite projective resolution when one exists, supplying the numerical length
the universal vanishing horizon — the least $n$ above which $H^k(G,M)$ vanishes for every coefficient module $M$
the finite-or-infinite output — a dimension value that records whether any uniform high-degree bound exists
the geometric upper-bound channel — free actions on finite-dimensional contractible CW complexes that produce resolutions and constrain the value
the sharpness evidence — nonvanishing cohomology or structural theorems showing that a proposed upper bound cannot be lowered
the torsion-and-coefficient pivot — changes in $R$ that can turn one group's dimension from infinite to finite or zero

What It Is Not¶

Not ordinary spatial dimension. It measures homological complexity of a group–coefficient-ring pair, not the number of geometric coordinates in which the group or one representation sits.
Not a coefficient-free number. The ring R is part of the invariant, and changing coefficients can change a finite value to another value or to infinity.
Not vanishing for one favored module. A bound requires high-degree cohomology to vanish uniformly for every RG-module, not merely for a convenient example.
Not the dimension of one cohomology group. The invariant records the last degree in which cohomology can remain nonzero across coefficients, not the vector-space or module dimension of H^k.
Not automatically finite for finite groups. A nontrivial finite group has infinite integral cohomological dimension even though suitable coefficient rings can make its dimension zero.
Not identical to geometric dimension without hypotheses. Contractible G-complexes can bound or sometimes realize cohomological dimension, but equality is a theorem-sensitive relation rather than the definition.

Scope of Application¶

Cohomological dimension travels literally wherever the same group, coefficient ring, and module-category invariant is being used; changing any of those parameters changes the question rather than extending the concept metaphorically.

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.
Applicability boundary. It does not measure spatial dimension, representation dimension, or the degree of one selected cohomology group; the defining claim is universal across modules.

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$. The sharper question is not ‘how large is this group?’ but ‘through what highest degree can this group support cohomological obstructions over these coefficients?’

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. Geometric actions contribute upper bounds, torsion and coefficient choices change the branch, and comparison of values orders groups by the depth of homological obstruction they can sustain without recomputing each cohomology theory separately.

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. Use sharp low-dimensional values with the relevant hypotheses to distinguish structural classes, while treating infinity as failure of every finite universal vanishing cutoff.

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.

Examples¶

Canonical¶

Let F_r be a nontrivial free group and take integer coefficients. A graph with one vertex and r loops is a one-dimensional K(F_r,1): its universal cover is a tree, hence contractible, and F_r acts freely on it. The cellular chains give a projective resolution of the trivial ZF_r-module Z of length one, so cd_Z(F_r) is at most one. It is not zero because a nontrivial free group is not projective in the way required for the trivial module; equivalently, suitable first cohomology is nonzero. Thus cd_Z(F_r)=1. This example displays both halves of a dimension computation: a finite-dimensional contractible free G-complex supplies an upper bound, and nonvanishing in the candidate top degree establishes sharpness.

Mapped back: F_r with Z is the coefficient-sensitive datum, and Z is the distinguished trivial module. The tree gives the geometric upper-bound channel and a length-one projective-resolution witness; nonzero H^1 supplies the sharpness evidence.

Applied / In Practice¶

Suppose a finite connected graph is used as an aspherical model for a space whose fundamental group is G. Collapsing a spanning tree leaves a wedge of circles without changing the homotopy type, so G is free. The universal cover is again a contractible tree with a free G-action. Before computing individual cohomology groups in every degree, the model already shows that all H^k(G,M) vanish for every G-module M when k>1. Researchers can therefore restrict extension and obstruction calculations to degrees zero and one. If G is nontrivial, first-degree evidence prevents lowering the bound to zero. The example shows how geometry compresses an infinite family of possible coefficient computations into one uniform cohomological horizon.

Mapped back: The graph model realizes the geometric upper-bound channel, while its cellular chains supply the projective-resolution witness. Vanishing above degree one is the universal vanishing horizon, and nontrivial first cohomology fixes the finite-or-infinite output at one.

Structural Tensions¶

T1 — Identity versus admissible variation. Cohomological dimension must remain recognizable across legitimate variants. Admissible variation is bounded by this condition: It locates a discrete group's highest potentially nonvanishing cohomological degree uniformly over coefficient modules. The stable element is expressed by this invariant: Cohomological dimension denotes invariant of a group within group cohomology. Treating every surface change as a new abstraction fragments the identity, while allowing a change to the constitutive relation produces a false positive.

Diagnostic: After the proposed variation, can an analyst still establish this invariant: Cohomological dimension denotes invariant of a group within group cohomology?

T2 — Recognition versus proxy. The domain needs observable or inferential evidence for Cohomological dimension, but the evidence is not automatically the identity. The working recognition rule is: the projective-resolution witness — a shortest finite projective resolution when one exists, supplying the numerical length. A familiar indicator can occur without the defining relation, and the relation can persist when a customary detector is unavailable.

Diagnostic: Does the evidence establish the defining claim—Cohomological dimension denotes invariant of a group within group cohomology—or only a correlated sign?

T3 — Definition versus operational judgment. A compact definition aids reuse, whereas actual classification in group cohomology can require expert decisions about boundary conditions, measurements, conventions, or exceptions. This invariant converts an open-ended family of cohomology groups and coefficient modules into a single upper-bound question. The definition must constrain those judgments without pretending that every admissible case can be recognized from a label alone.

Diagnostic: Which observation would make a competent practitioner reject the classification under the stated definition?

T4 — Scope versus overextension. Cohomological dimension has a genuine habitat in which it locates a discrete group's highest potentially nonvanishing cohomological degree uniformly over coefficient modules. Yet It does not measure spatial dimension, representation dimension, or the degree of one selected cohomology group; the defining claim is universal across modules. A useful application map therefore has to be broad enough to cover recurring practice and narrow enough to exclude merely topical or metaphorical occurrences.

Diagnostic: Can the claimed application fill the same carrier and relation roles, or has only the name traveled?

T5 — Transfer versus domain accent. Knowledge about Cohomological dimension can travel within its home domain, and some structural lessons may travel farther. 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. What transfers must be separated from the specialist vocabulary, warrant, and closure conditions that remain anchored in group cohomology.

Diagnostic: Is the receiving case a literal instance of Cohomological dimension, a co-instance of Dimension, or only an analogy?

T6 — Autonomy versus reduction. Cohomological dimension is a strict specialization of Dimension, but the edge does not erase the domain differentia. The broader node supplies only the necessary structural relation; group cohomology supplies the carrier, warrant, boundary, and exception conditions expressed by this identity: Cohomological dimension denotes invariant of a group within group cohomology. The entry is over-split if those conditions add no discriminating work and under-specified if the parent alone is used for cases that require them.

Diagnostic: Can a domain expert use the added conditions to distinguish Cohomological dimension from another case that equally instantiates Dimension?

Structural–Framed Character¶

Cohomological dimension is mixed: structurally specifiable but materially dependent on its disciplinary frame. Its structural side consists of the carrier the coefficient-sensitive datum — a discrete group $G$ paired with a declared unital coefficient ring $R$ and the constitutive relation Cohomological dimension denotes invariant of a group within group cohomology. Its framed side comes from group cohomology, which fixes what the terms denote, what counts as evidence, and when a qualification or exception defeats the classification.

Across the principal tests, the entry is not merely a free-floating pattern. Evaluative weight: the identity can be stated descriptively even when its use has practical or normative consequences. Practice dependence: the projective-resolution witness — a shortest finite projective resolution when one exists, supplying the numerical length. Institutional stabilization: disciplinary conventions may stabilize the name and test without necessarily creating every underlying event or relation. Vocabulary portability: the invariant is Cohomological dimension denotes invariant of a group within group cohomology. Import versus recognition: an outside case qualifies literally only if the same typed roles and collapse condition are available; otherwise the comparison is analogical.

The reusable remainder is Dimension under a reviewed subsumption relation. That node preserves the necessary cross-domain organization after the group cohomology-specific carrier, evidence, and exceptions are removed. Cohomological dimension remains autonomous because its recognition and collapse conditions distinguish cases that the parent alone leaves together.

Structural Core vs. Domain Accent¶

What is skeletal. The portable skeleton is a typed carrier organized by a constitutive relation, an invariant, a recognition test, and a collapse condition. Here the carrier is the coefficient-sensitive datum — a discrete group $G$ paired with a declared unital coefficient ring $R$. The decisive relation is Cohomological dimension denotes invariant of a group within group cohomology, which also states the controlling invariant at this level. Stripped of specialist nouns, this organization is represented by Dimension.

What is domain-bound. group cohomology supplies the actual objects or agents, admissible transformations, units or conventions, standards of warrant, and named exceptions. In this case, recognition requires evidence for the projective-resolution witness — a shortest finite projective resolution when one exists, supplying the numerical length. Admissible variation is bounded by the condition that it locates a discrete group's highest potentially nonvanishing cohomological degree uniformly over coefficient modules, and the classification collapses when it measures homological complexity of a group–coefficient-ring pair, not the number of geometric coordinates in which the group or one representation sits. These are constitutive differentia, not illustrative decoration.

Why it remains a domain-specific node. The reviewed DAG relation is subsumption to Dimension. Outside group cohomology, the parent captures only the reusable structural remainder. The specialist name remains literal only where the sharpness evidence — nonvanishing cohomology or structural theorems showing that a proposed upper bound cannot be lowered can be established under the domain's standards of warrant.

This entry is a kind of Dimension.

Immediate parent — Dimension (subsumption). Cohomological dimension is a domain-specific kind of Dimension: Cohomological dimension denotes invariant of a group within group cohomology. The parent supplies the necessary broader identity—Degrees of freedom in a system.—while the candidate adds the source-domain carrier, recognition rule, and failure conditions. The defining source account begins: 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.
Nearest catalog surface declined — Equivariant cohomology. Its rematch score was 0.219877. Retrieval proximity did not establish synonymy or parentage; the carrier, invariant, and collapse condition remain different.
Related reasoning operations. Evidence, comparison, boundary testing, and representation can support a case without becoming additional DAG parents.

Relationships to Other Abstractions¶

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

Cohomological dimension → Dimension

Neighborhood in Abstraction Space¶

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

Family — Vector Bundles & Classifying Constructions (10 abstractions)

Nearest neighbors

Eells–Kuiper Manifold — 0.87
McKay Graph — 0.86
Alexander Duality — 0.85
Algebraic Variety — 0.85
Structure Theorem for Finitely Generated Modules over a Principal Ideal Domain — 0.84

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

Not to Be Confused With¶

Dimension. This is the reviewed immediate parent or structural prerequisite, not a synonym. Tell: retain Cohomological dimension only when the domain-specific relation Cohomological dimension denotes invariant of a group within group cohomology. and its source-domain warrant are established; otherwise route the case to Dimension.
P Adic Hodge Theory. This is the closest catalog retrieval surface, not an accepted synonym or parent. Tell: Ask which entry's carrier, invariant, and collapse test the case actually satisfies; shared vocabulary or a score of 0.772149 is insufficient.
Not ordinary spatial dimension. It measures homological complexity of a group–coefficient-ring pair, not the number of geometric coordinates in which the group or one representation sits. Tell: Require the positive recognition condition that the projective-resolution witness — a shortest finite projective resolution when one exists, supplying the numerical length.
Not a coefficient-free number. The ring R is part of the invariant, and changing coefficients can change a finite value to another value or to infinity. Tell: Replace the familiar surface feature and test whether cohomological dimension denotes invariant of a group within group cohomology.
A detector, representation, or consequence. A method may reveal Cohomological dimension, a notation may describe it, and an outcome may follow from it without any of those being identical to the abstraction. Tell: Would the defining relation remain if the present detector, notation, or downstream effect changed?
A metaphorical transfer. A case outside the home domain may resemble the structure while lacking its native role types and standards of warrant. Tell: If only the general organization survives, route the comparison to Dimension rather than treating it as another Cohomological dimension instance.

References¶

Frozen Wikipedia revision: https://en.wikipedia.org/wiki/Cohomological_dimension (revision 1319947466).
DOI: https://doi.org/10.1090/S0002-9904-1975-13858-4
DOI: https://doi.org/10.1007/BFb0088140
DOI: https://doi.org/10.2307/1970577
DOI: https://doi.org/10.1016/0021-8693(69)90030-1
Supporting reference preserved in the packet: https://books.google.com/books?id=0T4BCAAAQBAJ&pg=PA16

The frozen Wikipedia revision is discovery provenance. The cited source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; URL transport failure alone was not treated as substantive contradiction.