Polynomials commuting with z^2+c
Source: Iranian National Olympiad (3rd Round) 2003
February 18, 2009
algebrapolynomialinductionalgebra proposed
Problem Statement
Let and A_c \equal{} \{p\in \mathbb C[z]|p(z^2 \plus{} c) \equal{} p(z)^2 \plus{} c\}.
a) Prove that for each , is infinite.
b) Prove that if , and p(z_0) \equal{} 0, then .
c) Prove that each element of is odd or even.
Let f_c \equal{} z^2 \plus{} c\in \mathbb C[z]. We see easily that B_c: \equal{} \{z,f_c(z),f_c(f_c(z)),\dots\} is a subset of . Prove that in the following cases A_c \equal{} B_c.
d) .
e) .
f) is a non-algebraic number
g) is a real number and c\not\in [ \minus{} 2,\frac14].