Resolution Theorem (Algebraic K-Theory)¶
A resolving exact subcategory with finite resolutions of every ambient object has the same higher K-theory as the ambient category.
Core Idea¶
For a full exact subcategory P of an exact category H, suppose P is closed under extensions and kernels of admissible P→P surjections in H, and every H-object has a finite P-resolution. Quillen's resolution theorem says inclusion induces K(P)≃K(H), so all higher K-groups, not only K₀, agree.[ref-62871e06e4e6][ref-7488bf99d45c]
Scope of Application¶
For any ring R, finite projective modules have the same K-theory as modules with finite projective resolutions. Over a noetherian regular ring such as k[x], every finitely generated module has such a resolution, giving K(R)≃G(R). The constructed exact sequence 0→k[x] –x→ k[x]→k→0 shows the role for one quotient, not global coverage by itself. For separated regular noetherian schemes, vector bundles similarly resolve coherent sheaves; on P¹ a rational point's skyscraper sheaf has constructed resolution 0→O(-1)→O→k(p)→0.[ref-7488bf99d45c][ref-62871e06e4e6]
Clarity¶
Check fullness and the inherited exact structure, extension closure, admissible-kernel closure and finite resolution of each ambient object. One projective epimorphism or one example is not enough. K=G is conditional: Weibel gives a non-separated regular noetherian doubled-origin line where the relevant K₀ and G₀ already differ.[^ref-7488bf99d45c]
Manages Complexity¶
The theorem allows calculations in projectives or vector bundles instead of all finite modules or coherent sheaves, while preserving the entire K-theory type. Its value depends on proving that the chosen smaller class resolves the exact ambient category; it does not supply a generic algorithm for finding short resolutions.[^ref-7488bf99d45c]
Abstract Reasoning¶
Fix P⊂H, verify closure under extensions and admissible kernels, then show every M∈H has a finite exact chain ending in M with P terms. Only then infer inclusion-induced K-equivalence. If some object lacks finite P-dimension, restrict H or refrain from the claim. There is no intrinsic cost tradeoff in the theorem itself; the issue is hypothesis scope.[^ref-7488bf99d45c]
Knowledge Transfer¶
The portable idea is replacing hard objects by a stable resolving class while preserving an invariant. The named result is a specialized Formal Theorem, not just the act of resolving an object. It needs exact categories, closure/admissibility conditions and a K-theory equivalence; not every resolution preserves its invariant, nor does the conclusion reduce to equality of K₀ alone.[ref-62871e06e4e6][ref-7488bf99d45c]
[^ref-62871e06e4e6]: Quillen, original Higher Algebraic K-Theory I, §4 theorem 3 and §7. [^ref-7488bf99d45c]: Weibel, The K-book, chapter V, theorem 3.1–3.4 and remark 3.4.2.
Relationships to Other Abstractions¶
Current abstraction Resolution Theorem (Algebraic K-Theory) Domain-specific
Parents (1) — more general patterns this builds on
-
Resolution Theorem (Algebraic K-Theory) is a kind of Formal theorem Domain-specific
Quillen's resolution theorem is a formal theorem.
Hierarchy paths (2) — routes to 2 parentless roots
- Resolution Theorem (Algebraic K-Theory) → Formal theorem → Formal System → Formalization → Representation → Abstraction
- Resolution Theorem (Algebraic K-Theory) → Formal theorem → Formal System → Formalization → Transformation → Function (Mapping)
Neighborhood in Abstraction Space¶
Resolution Theorem (Algebraic K-Theory) sits in a moderately populated region (55th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Algebraic Substructures & Closures (12 abstractions)
Nearest neighbors
- Dévissage — 0.90
- Auslander–Reiten theory — 0.86
- Ring Ideal — 0.86
- Locally Closed Subset — 0.84
- Adjunction (field theory) — 0.84
Computed from structural-signature embeddings · 2026-10-08