The origin of the subject
Hilbert proved that any finitely generated graded module over a polynomial ring in n variables has a free resolution of length at most n. In modern language the polynomial ring has global dimension n, and the Koszul complex realises the bound. The theorem predates homological algebra by half a century and is the reason the subject exists: syzygies, resolutions and the idea of measuring an object by how far it is from being free all originate here.
Learning objectives
- State the syzygy theorem in classical and modern language.
- Construct the Koszul resolution of the residue field.
- Relate the theorem to global dimension.
- Explain its role in the origins of the subject.
Section 01The statement
Let R = k[x1, …, xn]. Every finitely generated graded R-module has a free resolution
Equivalently gl.dim R = n, and the bound is attained by the residue field k = R/(x1, …).
Given generators of a module, a syzygy is a relation among them. The relations themselves have relations — second syzygies — and so on. Hilbert's theorem says the chain terminates after n steps. The word survives in modern usage for exactly this: the kernel at each stage of a resolution.
Section 02The Koszul resolution
The residue field is resolved by the Koszul complex on the variables:
It has length exactly n and is exact because the variables form a regular sequence. Hence Extn(k, k) ≠ 0 and the bound is sharp.
The Chevalley–Eilenberg resolution reduces to the Koszul complex when the Lie algebra is abelian, since then the bracket term vanishes. This is why the two theorems sit together in the classical treatments — they are two faces of one construction.
Section 03Significance
- 1890Hilbert's basis theoremEvery ideal in a polynomial ring is finitely generated — the finiteness that makes resolutions possible.
- 1890The syzygy theoremThe chain of syzygies terminates after n steps. Proved to establish that the Hilbert function of a graded module is eventually polynomial.
- 1940sCartan and EilenbergResolutions and derived functors are formalised; Hilbert's theorem becomes the statement that gl.dim k[x1, …, xn] = n.
- 1956Serre and Auslander–BuchsbaumRegular local rings are characterised as those of finite global dimension — homological algebra detecting geometric smoothness.
- ModernComputational algebraFree resolutions and their graded Betti numbers are computed by Gröbner basis methods and are a standard invariant in commutative algebra and algebraic geometry.
It is the theorem whose proof required inventing resolutions. Everything in this collection — syzygies, projective dimension, global dimension, the idea that a module is understood by resolving it — is a generalisation of Hilbert's argument.
ReferenceFrequently asked questions
Does the theorem hold for non-graded modules?
Yes — global dimension n holds for all modules over the polynomial ring, not just graded ones. The graded version is the classical statement and gives the sharper information of graded Betti numbers.
What are graded Betti numbers?
The ranks of the free modules in a minimal graded free resolution, recorded with their degrees. They are finer invariants than the Hilbert function and are the standard output of computational resolution algorithms.
Is there a syzygy theorem for other rings?
For regular local and regular graded rings the global dimension equals the Krull dimension, by Serre's theorem. For singular rings resolutions can be infinite, and the growth of the Betti numbers is itself an active area of study.
NavigateContinue in this stream
Curated next steps from this page. The site also surfaces algorithmically related reading below.
ProvenanceSources and further reading
This page is an original KEVOS explanatory article. It presents the underlying mathematics — definitions, algorithms, complexity results and selection criteria — in KEVOS editorial voice. No text is reproduced from any copyrighted source. Where numerical tables are relevant, KEVOS links to live authoritative databases rather than republishing static values.