It is known that if $\alpha$ is a complex number, then for example, the equation $x^2 = \alpha$ has $2$ solutions. In general, there are $n$ values for the $n$-th roots of a number. In other words, if we wanted to evaluate, say $\alpha^{\frac{12}{17}}$, we would have, again, $17$ different values.
However, what if we wanted to evaluate $\alpha ^ \beta$, where $\beta$ is an irrational number ($\beta \in \mathbb{C} \setminus \mathbb{Q}$)? Are there infinitely many numers $z$ such that $\sqrt[\leftroot{-2}\uproot{2}\beta]{z} = \alpha$
I am aware that, for complex numbers, one defines $\alpha^\beta = e^{\beta\log{\alpha}}$,and by choosing different values of the logarithm (as it is a multivalued function), we can get different values for our power.
My guess is: if we raise a number $\alpha$ to a rational exponent $\beta$, then the different values of $\beta \log \alpha$ will eventually begin to repeat themselves, since $\beta \in \mathbb{Q}$. More specifically, we can put $\log \alpha= \log |\alpha| +i\theta + 2k\pi i$, for $k \in \mathbb{Z}$, so when we evaluate $\alpha^\beta = e^{{\beta\log{\alpha}}} = e^{\beta (\log |\alpha| + i\theta + 2k\pi i)}$ as $k$ runs over the integers, it will only create a finite set of values. However, when $\beta$ is irrational (or at least one of $\Re{(\beta)}$ or $\Im{(\beta)}$ is), this set of values cannot be finite.
Is my interpretation correct? Could this type or argument work for showing that certain "polynomials" with irrational powers have an infinite number of solutions (i.e $z^\sqrt{2} + z^\sqrt{3} + 1 = 0$)?
