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
|