0
$\begingroup$

Prove that the ring of entire functions on $\mathbb{C}$ is a Bézout domain (You may assume that, given a sequence $(z_n)$ of complex numbers with no limit point and a specification of the Taylor coefficients at $z_n$ up to some finite degree, there is a holomorphic function $f$ on $\mathbb{C}$ with, for each $z_n$, the specified Taylor coefficients).

Given two principal ideals, $$ and $$, in the ring of entire functions on $\mathbb{C}$. Then $f$ and $g$ will have corresponding sequences $z_n$ and $z'_n$. Then $f+g$ will have a sequence consisting $z_n$ and $z'_n$. Then $f+g$ by the assumption is a holomorphic function $h$.

Is $+=$?

I have found the same question here A problem about generalization of Bezout equation to entire functions but I cannot understand the answer. Would you mind explaining the problem specific to the case of only 2 entire functions?

  • 0
    No idea what you are trying to say about $h$. You also never write about $\langle f\rangle +\langle g\rangle$, which is the ideal in question, and is different from $\langle f+g\rangle$. – 2017-02-17
  • 0
    @ThomasAndrews I have no clue on how to use the hints. I have edited $$ to $+$. – 2017-02-17
  • 0
    What hints? I'm asking for clarification. What are the sequence $z_n$ and $z_n'$?, for example? Functions don't "have sequences." What do you mean by "will have a sequence?" – 2017-02-17
  • 0
    @ThomasAndrews As the question said that "given a sequence $(z_n)$ of complex numbers$, I want to use this to prove something. – 2017-02-17
  • 0
    Have you looked at [this question](http://math.stackexchange.com/questions/863091/given-two-holomorphic-functions-on-a-region-find-two-other-such-that)? The answer there gives a fairly good sketch of the proof. – 2017-02-17
  • 0
    @DanielFischer Thanks. I will look over that question. But that question is for two holomorphic functions having no common zeros. What if two holomorphic functions having some common zeros? – 2017-02-17
  • 0
    Let $h$ a greatest common divisor of $f$ and $g$. Define $\tilde{f} = f/h$ and $\tilde{g} = g/h$. Then $\tilde{f},\tilde{g}$ are coprime. Find $\varphi,\psi$ with $\varphi\tilde{f} + \psi\tilde{g} = 1$, then $\varphi f + \psi g = h$. – 2017-02-17

1 Answers 1

1

Hint: The principal ideal of an entire function $f$ is the set of entire functions $g$ such that if $f(z)=0$ has a root at $z_0$ of degree $d$, then $g(z)=0$ has a root at $z_0$ of degree at least $d$.

So you need to find an $h$ such that for each $z_0$ with $f(z_0)=0$ with degree $d_1$ and $g(z_0)=0$ with degree $d_2$, then $h(z_0)=0$ with degree $\min(d_1,d_2)$. $f+g$ works if $d_1\neq d_2$ for all $d$ and $f(z)\neq g(z)$ when $f(z)\neq 0$.

A more verbose way of saying this is defining, for each (non-zero) entire $f$, the function $d_f(z)$ as the smallest integer $d$ such that $f^{(d)}(z)\neq 0$.

Then a non-zero $h$, $h\in\langle f\rangle$ if and only if $d_h(z)\geq d_f(z)$ for all $z$.

Given $\langle f\rangle+\langle g\rangle=\langle h\rangle$, this means that you need to find $h$ to have the property that $$d_h(z)=\min(d_f(z),d_g(z)).$$

  • 0
    is it "principal ideal"? – 2017-02-17
  • 0
    Yep, brain death. – 2017-02-17