Let $r^n+a_1r^{n-1}+\cdots+a_n=0$ be an equation of integral dependence of $r$ over an ideal $I$. Does exist a finitely generated ideal $J$, such that $J\subset I$ and $a_i\in J^i$ for all $i=1,\ldots,n$?
$\begingroup$
$\endgroup$
0
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
1
Since $r^n+a_1r^{n-1}+...+a_n=0$ is an equation of integral dependence of $r$ over an ideal $I$, by definition, $a_i\in I^i$. So $\displaystyle a_i=\sum_{k=1}^{k=n(i)}a_{k1}^{(i)}\ldots a_{ki}^{(i)}$, with $a_{kj}^{(i)}\in I$. Take for $J$ the ideal generated by the $a_{kj}^{(i)}$.
-
$\begingroup$ Looks like Noetherian reduction. $\endgroup$ Commented Apr 9, 2015 at 7:06