Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm trying to prove the follwing:

For a holomorphic function $f$ with a zero $z_0$ of multiplicity $n$ the $k$-th root of $f$ exists near $z_0$ if and only if $k\mid n$.

I thought it might be a good idea to prove the fact for $f=z^n$ first. If $k|n$ I can define $h(z):=z^{n/k}$ which is clearly holomorphic and satisfies $h(z)^k=f(z)$. Converserly if $k$ does not divide $n$ I tried to compute $(z^n)^{1/k}=\exp(\frac{1}{k}\log|z^n|+\frac{1}{k}\arg(z^n))=\exp(\frac{n}{k}(\log |z|+\arg z))$. How can I continue from here? How to prove the result for general $f$?

share|cite|improve this question
up vote 1 down vote accepted

We may suppose $z_0=0$ and then write $f(z)=z^nu(z)$ with $u(0)\neq 0$.
Since $u$ has a logarithm, it has a $k$-th root for any $k$; this means that we can reduce the problem to the case $f(z)=z^n$.

a) if $k$ divides $n$ we have of course $f(z)=z^n=(z^{n/k})^k$

b) If conversely $f=g^k$, write $g=z^lv(z)$ with $v(0)\neq 0$. This implies $$f(z)=z^n=g(z)^k=z^{lk} v (z)^k$$
which in turn implies $n=lk$ (and $v (z)^k=1)$ and so $k$ divides $l$, as desired.

The proof summed up in one sentence:
The ring $\mathbb C\lbrace z\rbrace$ of germs of holomorphic functions is a DVR in which units are $k$ powers for all $k$.

share|cite|improve this answer

Assume that the $k$-th root of $f$ exists. We can write $f(z)=(z-z_0)^nf_0(z)$ where $f_0(z_0)\neq 0$ and $f_0$ is holomorphic. $f_0$ has a $k$-th root, hence $(z-z_0)^n$ has a $k$-th root near $z_0$. We can find an holomorphic function $g$ such that near $z_0$, $g(z)^k=(z-z_0)^n$. Since $g(z_0)=0$, we can write $g(z)=(z-z_0)^jh(z)$, where $h$ is holomorphic and $h(z_0)\neq 0$. We get $$(z-z_0)^{kj}h(z)=(z-z_0)^n.$$ This implies $kj=n$ hence $k\mid n$.

share|cite|improve this answer

Your Answer


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.