0
$\begingroup$

I was just wondering how $Aut(\mathbb{Q})$ looks like as a group with composition, when considering $\mathbb{Q}$ as a group under addition.

I have no clue to approach it. I cannot seem to write down any non-trivial map. Clearly polynomial looking functions will not work. Stuff like $f(a/b)=b/a$ also doesn't work. Anybody have a hint for how to find or construct a non-trivial map?

$\endgroup$
  • $\begingroup$ what makes you think there is a map other than multiplication by rational? $\endgroup$ – davik Feb 22 '16 at 22:32
  • 2
    $\begingroup$ see this ->en.wikipedia.org/wiki/Cauchy's_functional_equation $\endgroup$ – davik Feb 22 '16 at 22:36
  • $\begingroup$ I did not found a way to show those are the only ones, but that helps! Thnx $\endgroup$ – Rico Feb 22 '16 at 22:39
4
$\begingroup$

The first thing to note is that, for $m\in\mathbb{Z}$, $f(m)=mf(1)$. Indeed, if $m>0$, then \begin{align*} f(m)&=f(\underbrace{1+\cdots+1}_m)\\ &=\underbrace{f(1)+\cdots+f(1)}_m\\ &=mf(1). \end{align*} As $f(-m)=-f(m)$ and $f(0)=0$, the result holds for all $m$.

Similarly, we have $f(1/n)=f(1)/n$. Indeed, $$ f(1)=f(n/n)=f(\underbrace{1/n+\cdots+1/n}_n)=\underbrace{f(1/n)+\cdots+f(1/n)}_n=nf(1/n). $$ Now, you can compute $$f(m/n)=(m/n)f(1).$$ If $f(1)=r$, write $f=f_r$. Then, $f_{r}^{-1}=f_{r^{-1}}$, $f_rf_s=f_{rs}$ and the map $$ \mathbb{Q}^\times\to\mathrm{Aut}(\mathbb{Q}) $$ given by $r\mapsto f_r$ is an isomorphism.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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