Statements (14)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | gptkb:mathematical_concept | 
| gptkbp:category | algebraic theorem | 
| gptkbp:field | gptkb:algebraic_geometry gptkb:commutative_algebra | 
| gptkbp:formedBy | gptkb:David_Hilbert 1893 | 
| gptkbp:implies | existence of solutions to polynomial equations over algebraically closed fields | 
| gptkbp:relatedTo | gptkb:Hilbert's_Nullstellensatz | 
| gptkbp:state | If k is an algebraically closed field and I is a proper ideal in k[x_1,...,x_n], then I has a common zero in k^n. | 
| gptkbp:usedIn | gptkb:algebraic_geometry gptkb:commutative_algebra | 
| gptkbp:bfsParent | gptkb:Nullstellensatz | 
| gptkbp:bfsLayer | 7 | 
| https://www.w3.org/2000/01/rdf-schema#label | Weak Nullstellensatz |