Hilbert's syzygy theorem

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:concerns polynomial rings
projective resolutions
gptkbp:field gptkb:commutative_algebra
https://www.w3.org/2000/01/rdf-schema#label Hilbert's syzygy theorem
gptkbp:namedAfter gptkb:David_Hilbert
gptkbp:publishedIn gptkb:Mathematische_Annalen
gptkbp:relatedTo gptkb:Noetherian_rings
homological algebra
gptkbp:state Every finitely generated module over a polynomial ring in n variables over a field has a projective resolution of length at most n.
gptkbp:yearProved 1890
gptkbp:bfsParent gptkb:Hilbert_basis_theorem
gptkb:Serre's_theorem_on_projective_modules
gptkbp:bfsLayer 6