# complex analysis help

#### dori1123

If $$\displaystyle f(z),g(z)$$ are entire functions such that $$\displaystyle f(g(z))$$ is a nonconstant polynomial. Show that both $$\displaystyle f(z), g(z)$$ are polynomials. The hint says to use the Casorati-Weierstrass Theorem. But I still can't figure it out, can someone help please?

#### choovuck

If $$\displaystyle f(z),g(z)$$ are entire functions such that $$\displaystyle f(g(z))$$ is a nonconstant polynomial. Show that both $$\displaystyle f(z), g(z)$$ are polynomials. The hint says to use the Casorati-Weierstrass Theorem. But I still can't figure it out, can someone help please?
I think it should go along these lines: assume g is not a polynomial. then it has an essential singularity at infinity (by which i mean that g(1/z^\bar)^\bar has essential singularity at zero -- you can make this precise). by casorati-weierstrass its image of some neighborhood of infinity is almost the whole complex plane. now image of almost-the-whole complex plane under any entire f is either the whole complex plane or a point. it cant be just a point since f(g(x)) is not constant. but f(g(x)) is a polynomial, so it has a pole at infinity, so image of a neighborhood of infinity must be a neighborhood of infinity.

sorry for sloppiness and vagueness. if u want i can try making this precise.

#### dori1123

I got the idea. Thanks!