Skip to main content

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$?

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$ subset of $I$ such that $a_i\in J^i$ for all $i=1,\ldots,n$?

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$?

Post Closed as "Not suitable for this site" by Johannes Hahn, Joonas Ilmavirta, Stefan Kohl, Chris Godsil, Alex Degtyarev
added 7 characters in body
Source Link
Michael Hardy
  • 1
  • 12
  • 85
  • 126

let $r^n+a_1r^{n-1}+...+a_n=0$$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$ subset of $I$ such that $a_i\in J^i$ for all $i=1,...n$$i=1,\ldots,n$?

let $r^n+a_1r^{n-1}+...+a_n=0$ be an equation of integral dependence of $r$ over an ideal $I$. does exist a finitely generated ideal $J$ subset of $I$ such that $a_i\in J^i$ for all $i=1,...n$?

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$ subset of $I$ such that $a_i\in J^i$ for all $i=1,\ldots,n$?

Source Link

Integral closure of an ideal

let $r^n+a_1r^{n-1}+...+a_n=0$ be an equation of integral dependence of $r$ over an ideal $I$. does exist a finitely generated ideal $J$ subset of $I$ such that $a_i\in J^i$ for all $i=1,...n$?