2
$\begingroup$

Could someone sketch a proof and explain me in words, why the set of analytic functions on $\mathbb{C}$ does not form form a principal ideal ring?

Thank you!

  • 5
    A very similar question were asked a few days ago. Specifically, any PID is an UFD, and $\mathcal{O}(\mathbb{C})$ is not an UFD, as shown in the answer to this question: http://math.stackexchange.com/questions/153877/ring-of-holomorphic-functions2012-06-07

1 Answers 1

1

While I am not very familiar with analytic functions themselves, I would imagine that one could construct an infinite ascending chain of ideals, showing that the ring is not Noetherian (and hence, definitely not principal.)

So say for example $I_j=\{f \mid \forall n\in\mathbb{N}, n\geq j\ \ f(n)=0\}$ would probably constitute an infinite ascending chain of ideals (as it does in the ring of continuous functions.)

Added: Experts have added useful examples in the comments to show that there is such an ascending sequence:

Ragib Zaman: $f_j(x)=\prod_{k=j+1}^{\infty} (1-z^2/k^2).$

Georges Elencwajg: $f_j(z)=\frac {sin(\pi z)}{z(z-1)...(z-j) }$

Thank you for contributing these: I too have learned something, now :)

  • 0
    You won your bet! Ragib's suggestion is sufficient: it is an example of the Weierstrass products I evoked above (but it was actually known to Euler).A more elementary approach (without infinite products) would be to use $\frac {sin(\pi z)}{z(z-1)...(z-j) }$2012-06-07