Projective Nullstellensatz
ID: projective-nullstellensatz
Let be a homogeneous ideal over an algebraically closed field, and letbe the irrelevant ideal. Then exactly when either or . For a proper homogeneous ideal this is also equivalent to for some .
New to topics? Read the docs here!