In mathematics, Hilbert's syzygy theorem is one of the three fundamental theorems about polynomial rings over fields, first proved by David Hilbert in 1890, that were introduced for solving important open questions in invariant theory, and are at the basis of modern algebraic geometry. The two other theorems are Hilbert's basis theorem, which asserts that all ideals of polynomial rings over a field are finitely generated, and Hilbert's Nullstellensatz, which establishes a bijective correspondence between affine algebraic varieties and prime ideals of polynomial rings. Hilbert's syzygy theorem concerns the relations, or syzygies in Hilbert's terminology, between the generators of an ideal, or, more generally, a module. As the relations form a module, one may consider the relations between the relations; the theorem asserts that, if one continues in this way, starting with a module over a polynomial ring in n indeterminates over a field, one eventually finds a zero module of relations, after at most n steps. Hilbert's syzygy theorem is now considered to be an early result of homological algebra. It is the starting point of the use of homological methods in commutative algebra and algebraic geometry.
History The syzygy theorem first appeared in Hilbert's seminal paper "Über die Theorie der algebraischen Formen" (1890). The paper is split into five parts: part I proves Hilbert's basis theorem over a field, while part II proves it over the integers. Part III contains the syzygy theorem (Theorem III), which is used in part IV to discuss the Hilbert polynomial. The last part, part V, proves finite generation of certain rings of invariants. Incidentally part III also contains a special case of the Hilbert–Burch theorem.
Syzygies (relations)
Originally, Hilbert defined syzygies for ideals in polynomial rings, but the concept generalizes trivially to (left) modules over any ring. Given a generating set g 1 , … , g k {\displaystyle g_{1},\ldots ,g_{k}} of a module M over a ring R, a relation or first syzygy between the generators is a k-tuple ( a 1 , … , a k ) {\displaystyle (a_{1},\ldots ,a_{k})} of elements of R such that
a 1 g 1 + ⋯ + a k g k = 0. {\displaystyle a_{1}g_{1}+\cdots +a_{k}g_{k}=0.}
Let L 0 {\displaystyle L_{0}} be a free module with basis ( G 1 , … , G k ) . {\displaystyle (G_{1},\ldots ,G_{k}).} The k-tuple ( a 1 , … , a k ) {\displaystyle (a_{1},\ldots ,a_{k})} may be identified with the element
a 1 G 1 + ⋯ + a k G k , {\displaystyle a_{1}G_{1}+\cdots +a_{k}G_{k},}
and the relations form the kernel R 1 {\displaystyle R_{1}} of the linear map L 0 → M {\displaystyle L_{0}\to M} defined by G i ↦ g i . {\displaystyle G_{i}\mapsto g_{i}.} In other words, one has an exact sequence
0 → R 1 → L 0 → M → 0. {\displaystyle 0\to R_{1}\to L_{0}\to M\to 0.}
This first syzygy module R 1 {\displaystyle R_{1}} depends on the choice of a generating set, but, if S 1 {\displaystyle S_{1}} is the module that is obtained with another generating set, there exist two free modules F 1 {\displaystyle F_{1}} and F 2 {\displaystyle F_{2}} such that
R 1 ⊕ F 1 ≅ S 1 ⊕ F 2 {\displaystyle R_{1}\oplus F_{1}\cong S_{1}\oplus F_{2}}
… excerpt ends here. Continue reading the full article.
