Is the ring of entire functions coherent?

319 Views Asked by At

Call a commutative ring $R$ coherent if for each $n\in \{1,2,3,\dots\}$ and each $n$-tuple $(r_1, \dots, r_n)$ in $R^n$, the kernel of the map $$R^n\owns (s_1, \dots, s_n) \mapsto r_1 s_1 +\cdots + r_n s_n\in R$$ is finitely generated as an $R$-module.

This notion of coherence is equivalent to other standard definitions, for example that every finitely generated ideal is finitely presented, or that the intersection of any two finitely generated ideals is finitely generated and every ring element $a $ is such that $\mathrm{Ann}(a)=0 $.

Is the ring of entire functions in $d$ complex variables a coherent ring?