# Maximal Ideals in the Ring of Complex Entire Functions

Let $X = \mathcal{C}([0,1],\mathbb{R})$, be the ring of all continuous valued functions $f:[0,1] \to \mathbb{R}$. For $x \in [0,1]$, let $M_{x} = \{ f \in M \ | \ f(x)=0\}$. One can show by using compactness of $[0,1]$ that every maximal ideal is of this form.

Extending the Question to Entire functions: Let $\mathsf{C}(z)$ be the ring of complex entire functions. For $\lambda \in \mathsf{C}$ let $M_{\lambda}$ denote the set of all entire functions which have a zero at $\lambda$. Then is $M_{\lambda}$ a maximal ideal in $\mathsf{C}(z)$, and does every ideal happen to be of this form? I don't know to prove this!

Let $f(z)=1/\Gamma(z)$ where $\Gamma$ is the gamma function. Then $f$ vanishes at $0$, $-1,-2,\ldots$ and nowhere else. For integers $m$ let $f_m(z)=f(z+m)$. Then $f_m$ vanishes at $-m,-m-1,\ldots$. Let $I$ be the ideal of the ring of the entire functions generated by the $f_m$. Then $I$ is proper, since otherwise finitely many of the $f_m$ would generate an ideal containing the constant function $1$. But any finite set of $f_m$ have a common zero, so this doesn't hold. So $I\subseteq J$ for some maximal ideal $J$ (using the standard Zorn's lemma argument). But $J\ne M_\lambda$ for any $\lambda$, as for each $\lambda$ there is some $m$ with $f_m(\lambda)\ne0$, and $f_m\in J$.
• Nice! Btw, when you say "$f$ is proper", you mean "$I$ is [a] proper [ideal]", don't you? – Agustí Roig Sep 4 '10 at 23:50
• Chapman, can I consider ideal I generated by $f_i$ ($i\in\mathbb{Z}$) where $f_i$ is an entire function which vanishes at all integers except $i$? – Groups Feb 6 '15 at 9:11