No label defined (Q4025965)

[For the entire collection see Zbl 0745.00060.] Here is the author's abstract: Let \(K\) be a field of arbitrary characteristic and let \(I\) be an ideal in the ring \({\mathcal R}=K[x_ 1,\dots,x_ n]\) generated by polynomials \(f_ 1,\dots,f_ m\) of total degree \(\leq d\). This paper deals with the following conjecture: There exists a small positive integer \(e\), independent of \(d\), such that for any \(f\in I\) of total degree \(d_ f\) we can find an expression of the type \(f^ e= a_ 1 f_ 1+\cdots +a_ m f_ m\), where the total degrees of the \(a_ i\)'s are bounded by \(e\cdot d_ f+ d^ n+ O(d)\). We give a positive answer if the rank \(k\) of \(I\) is \(n\) or \(n-1\): in the first case we can take \(e=1\), in the second one \(e=n\). Other weaker results are given if \(k\leq n-2\).