Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If $f: \mathbb Q\to \mathbb Q$ is a homomorphism, prove that $f(x)=0$ for all $x\in\mathbb Q$ or $f(x)=x$ for all $x$ in $\mathbb Q$.

I'm wondering if you can help me with this one?

share|improve this question
Homomorphism of groups, rings, fields? –  user29743 Jul 26 '12 at 15:02
This might help you get started: Find every ring homomorphism between $\mathbb Z$ and $\mathbb Q$. (If the question is about ring homomorphisms.) –  Martin Sleziak Jul 26 '12 at 15:09
BTW, ring homomorphisms are often asked to be unital ($f(1) = 1$). If it is the convention you adopt, $0$ is not a morphism $\mathbb Q \to \mathbb Q$. And if it isn't, the property wou want to prove is false (see for example $x \mapsto 2x$.) –  PseudoNeo Jul 26 '12 at 15:12
@PseudoNeo: Wrong. $x\mapsto 2x$ does $1\cdot 1=1\mapsto 2\neq 2\cdot 2$. –  tomasz Jul 26 '12 at 15:20
@tomasz : You're right, I even read a question about non-unital morphisms $n\mathbb Z \to m\mathbb Z$ only few hours ago... –  PseudoNeo Jul 26 '12 at 17:23

4 Answers 4

up vote 9 down vote accepted

Any multiplicative homomorphism must send $1$ to an idempotent.

The only idempotents of $\mathbb{Q}$ are $0$ and $1$ (the roots of $x^2-x=x(x-1)$), so $\varphi(1)=0$ or $\varphi(1)=1$.

If $\varphi(1)=0$, then $\varphi(a) = \varphi(1a) = \varphi(1)\varphi(a)=0$, so $\varphi(x)=0$ for all $x$.

If $\varphi(1)=1$ and the map is additive, then prove inductively that $\varphi(n)=n$ for all positive integers, hence for all integers; deduce that $\varphi(q) = q$ for all $q$.

share|improve this answer
Thank you . It was of much help as well :) –  Mirna Jul 27 '12 at 18:34

I understand that we're looking at rationals as a ring (as a group it is obviously false).

Pick an arbitrary homomorphism $\varphi:\mathbf Q\to \mathbf Q$. Put $e:=\varphi(1)$.

If $e=0$, then for any $x\in \mathbf Q$ we have $\varphi(x)=\varphi(1)\varphi(x)=0\cdot\varphi(x)=0$, so $\varphi$ is zero.

If $e\neq 0$, then $e\cdot e=\varphi(1)\varphi(1)=\varphi(1\cdot 1)=e$, so $e=1$ (since $e\neq 0$ and $0,1$ are the only solutions of the equation $x^2-x=0$). Furthermore, for any $\frac{p}{q}$ we have $1+\ldots+1=p\cdot 1= p=\frac{p}{q}+\ldots \frac{p}{q}=q\cdot \frac{p}{q}$, so $e+\ldots +e=p\cdot e= q\cdot \varphi(\frac{p}{q})$, so $\varphi(\frac{p}{q})=e\cdot \frac{p}{q}=\frac{p}{q}$ and we're done (for negative $p$ we can use $\frac{p}{q}=(-1)\cdot \frac{-p}{q}$ so $\varphi(\frac{p}{q})=-e\cdot\varphi(\frac{-p}{q})=\frac{p}{q}$).

share|improve this answer
As groups, it is also true. –  user641 Jul 26 '12 at 17:07
@tomasz I'm new at this "forum" and I do appreciate your answer, but I'm kind of confused, as I thought it would be easier to solve. Can you please tell if your answer belongs to the f(x)= 0 or f(x)=x? Thanks, –  Mirna Jul 26 '12 at 17:36
@Mirna: this deals with both cases at once. If $f(1) = 0$ then $f$ is identically 0 (sentence starting 'If $e = 0$, ...') - the rest shows that if $f(1) \neq 0$ then $f$ is the identity. –  Kris Jul 26 '12 at 17:53
@SteveD: How so? x→ax is a group homomorphism of Q into Q for any a∈Q. For a≠0 it is even an automorphism. Or, if you meant the multiplicative *semi*group, then I believe the homomorphisms are induced by injections of the set of prime numbers within itself (as a set), and absolute value (so there's a lot of nontrivial ones around, many of them automorphisms, even many more than in the additive group case). –  tomasz Jul 26 '12 at 23:29
@tomasz: Yes, sorry, I tried to delete my comment after posting it, I simply meant that all (non-trivial) homomorphisms are isomorphisms. –  user641 Jul 26 '12 at 23:33

If $f$ is a homomorphism of rings, we know the kernel of $f$ has to be an ideal of $\mathbb{Q}$, but as $\mathbb{Q}$ is a field, the only ideals of $\mathbb{Q}$ are $0$ and $\mathbb{Q}$ itself.

share|improve this answer
It might be my ignorance in ring theory, but it seems to me you still need to show that there's no nontrivial embedding of $\mathbf Q$ into itself for this to be complete. For example, if instead of $\mathbf Q$ you used a field with nontrivial automorphisms, your argument would be clearly insufficient. –  tomasz Jul 26 '12 at 15:24
Noting that the prime field of $\mathbb{Q}$ is itself is sufficient, so if $\varphi$ is $1-1$ it is the $Id$ otherwise $\varphi\equiv 0$ because the kernel is an ideal. –  Belgi Jul 26 '12 at 15:38

There is also a related result that can be useful (see Atiyah Macdonald): If $A$ is a field, then every homomorphism of $A$ into a nonzero ring $B$ is injective. So, you can conclude that necessarily $f(1)=1$ (otherwise is the zero homomorphism), then $f(n)=n$, for $n$ integer, and the result follows, since $f(n/m)=f(n)f(m)ˆ{-1}=n/m$.

share|improve this answer
This is not an answer, but a comment. (But I think you can't comment yet, so I won't downvote it for now.) –  tomasz Aug 7 '12 at 13:35

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.