Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Am I correct or not? I think that a ring of holomorphic functions in one variable is not a UFD, because there are holomorphic functions with an infinite number of $0$'s, and hence it will have an infinite number of irreducible factors! But I am unable to get a concrete example. Please give some example.

share|improve this question
2  
In fact, the ring of entire functions $\mathcal{O}(\mathbb{C})$ is an example of a Bézout domain that is not a UFD. –  Jesse Madnick Jun 7 '12 at 3:44
    
Oh! Jesse thank u very much :) –  Une Femme Douce Jun 7 '12 at 6:11

3 Answers 3

up vote 14 down vote accepted

You are perfectly right: the ring of entire functions $\mathcal O(\mathbb C)$ is not a UFD. Here is why:

In a UFD a non-zero element has only finitely many irreducible (=prime) divisors and this does not hold for our ring $\mathcal O(\mathbb C)$.
Indeed the only primes in $\mathcal O(\mathbb C)$ are the affine functions $z-a$ and on the other hand the function $\sin(z)$ is divided by the infinitely many primes $z-k\pi\; (k\in \mathbb Z) $.

The same proof shows that for an arbitrary domain $D$ the ring $\mathcal O(D)$ is not a UFD, once you know Weierstrass's theorem which implies that there exist non identically zero holomorphic functions in $D$ with infinitely many zeros.

NB
It is sufficient for the proof above to show that the $z-a$ are irreducible in $\mathcal O(\mathbb C)$ (you don't need that there are no other irreducibles). And that is easy: if $a=0$ for example, write $z=fg$ and you will see that $f$ (say) has no zero and is thus a unit $f\in \mathcal O(\mathbb C)^*$.

share|improve this answer
    
ah! simply pleased and delighted. –  Une Femme Douce Jun 4 '12 at 19:53

Consider $f(z):=\sin(\pi z)=\pi z\prod_{j=1}^{+\infty}\left(1-\frac{z^2}{j^2}\right)$. It's an holomophic function, and the zeroes are the integers. If $f$ could be written as a product of a unit and a finite product of irreducible elements of $\mathcal O(\Bbb C)$, then one of these irreducible elements would have infinitely many roots. It's not possible, for example if $r_n$ are the roots of this elements $g_1$, then $g_1(z)=(z-r_1)h_1(z)$, where $h_1(z)=\prod_{j=2}^{+\infty}(z-r_j)a_j$ and none of these two elements is an unit.

share|improve this answer
    
Could you please tell me which theorem allow to write $sin(\pi z)$ is like that?and how that infinite product is equal to $sin(\pi z)$? –  Une Femme Douce Jun 4 '12 at 19:55
2  
You can check that this infinite product is uniformly convergent on compact subsets. Write $\sin z=\frac{e^{iz}-e^{-iz}}{2i}$, then use the fact that $e^u=\lim_{n\to \infty}\left(1+\frac un\right)^n$, and factorize the obtained expression: $a^n-b^n=(a-b)\cdots$ –  Davide Giraudo Jun 4 '12 at 20:03
    
aha! thanks a lot..pleased. –  Une Femme Douce Jun 4 '12 at 20:06

Look at $f(z)=\sin(z)$ for example...

share|improve this answer
1  
what is the factorization? –  Une Femme Douce Jun 4 '12 at 19:37

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.