letLet $r^n+a_1r^{n-1}+\cdots+a_n=0$ be an equation of integral dependence of $r$ over an ideal $I$. doesDoes exist a finitely generated ideal $J$ subset of $I$, such that $J\subset I$ and $a_i\in J^i$ for all $i=1,\ldots,n$?
user 1
- 1.4k
- 1
- 13
- 24
Post Closed as "Not suitable for this site" by Johannes Hahn, Joonas Ilmavirta, Stefan Kohl♦, Chris Godsil, Alex Degtyarev