My question comes from the context of algebraic geometry. By Krull's principal ideal theorem, the number of generators of the defining ideal of a variety gives an upper bound of its codimension.

Suppose now we are given a finite set of polynomials $f_i$ in the polynomial ring $k[x_1,\cdots,x_n]$, where $k$ is a field. Is there some kind of algorithm giving the least number of generators of the ideal $I$ generated by $f_i$'s? Moreover, can we get the minimal generator set explicitly? What about the similar problem for homogeneous ideal and homogeneous generators?



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.