1
$\begingroup$

If an endomorphism of $\mathbb{C}^*$ is assumed to be holomorphic, then it is not difficult to show that it must be of the form $z^n$ for some $n\in \mathbb Z$. I was wondering if this is true without any topological or analytic assumptions on the endomorphism. My intuition says that there should be lots of them, but I'm usually working with endomorphisms which are at least holomorphic if not a true morphism of varieties, so I'm not sure.

$\endgroup$
10
  • 3
    $\begingroup$ $C^\times$ is isomorphic as a group to $S^1\times\mathbb R$, and $\mathbb R$, as any infinite dimensional vector space over $\mathbb Q$, has lots of endomorphisms as an abelian group! $\endgroup$ Feb 4, 2013 at 21:16
  • $\begingroup$ Although I think you mean $R_{>0}$, I see what you're saying, so thanks for the help! $\endgroup$
    – HNuer
    Feb 4, 2013 at 21:27
  • 3
    $\begingroup$ No, I mean $\mathbb R$, just because the multiplicative group $\mathbb R_{>0}$ and the additive group $\mathbb R$ are isomorphic. $\endgroup$ Feb 4, 2013 at 21:27
  • 1
    $\begingroup$ @HNuer: Well, you did not specify yourselves the kind of structure on $\mathbf C^*$ for which you wanted to determine the endomorphisms. $\endgroup$
    – ACL
    Feb 4, 2013 at 22:45
  • 2
    $\begingroup$ All continuous endomorphisms are of the form $z\mapsto z^n\bar z^m$, for some $n,m \in \mathbb Z$. $\endgroup$ Feb 9, 2013 at 10:44

1 Answer 1

5
$\begingroup$

There are many "wild" automorphisms of the complex numbers, that preserve addition and multiplication, but not much else. These are hard to write down, however, as their existence seems to rely on the axiom of choice. See e.g. the great expository paper "Automorphisms of the complex numbers" by P. Yale, Mathematics Magazine 39(3), 1966.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.