Ideals of rings of polynomials;
Polynomials of infinitely many variables;
Krull's theorem;
Differential operators;
D O I:
10.1007/s10998-014-0059-7
中图分类号:
O29 [应用数学];
学科分类号:
070104 ;
摘要:
Let Omega be an uncountable and algebraically closed field. We prove that every ideal of the polynomial ring R = Omega[x(1), x(2), ...] is the intersection of ideals of the form {f is an element of R : D(fg)(c) = 0 for every g is an element of R}, where is a differential operator of locally finite order, and c is a vector with values in Omega.