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.

I'm trying to solve this question:

If $K$ is a field and $f:K\to K$ is defined by $f(0)=0$ and $f(x)=x^{-1}$ for $x\neq 0$, show $f$ is an automorphism of $K$, if and only if, $K$ has at most four elements.

The converse seems easy, but I'm really stuck in the first implication.

Anyone has an idea?

Thanks

share|improve this question
3  
Which implication is the first? :-) –  Asaf Karagila Dec 19 '12 at 4:53
    
@AsafKaragila lol I didn't know better word to say the contrary of "converse" :) –  user42912 Dec 19 '12 at 6:50

2 Answers 2

up vote 6 down vote accepted

Even easier than my original solution, if $x\in F$ and $x\neq 0$ and $x+1\neq 0$, then $$(x+1)^{-1}=f(x+1)=f(x)+f(1)=x^{-1}+1$$ Multiply both sides by $x(x+1)$ and re-arrange, and you get: $$x^2+x+1=0$$

So $x(x+1)(x^2+x+1)$ has all the elements of your field as roots. So your field cannot have more than four elements.

share|improve this answer
    
really beautiful solution, thank you very much! –  user42912 Dec 19 '12 at 7:06

$f(x+y) = f(x) + f(y)$ implies $x^2 + y^2 + xy = 0$ and thus $x^3 = y^3$ for all non zero $x,y \in \mathbb{F}$ and in particular for $y=1$. Thus $x^3 = 1$ for all non zero $x \in \mathbb{F}$

What can you conclude now?

EDIT: This approach is wrong. Since we have to take care of the case $x+y \neq 0$ as Thomas Andrews points out. I apologize for the erroneous solution.

share|improve this answer
1  
Careful: That equation is only true if $x+y\neq 0$. –  Thomas Andrews Dec 19 '12 at 5:34
    
For instance, it isn't true in $\mathbb Z/3$ since $2^3\neq 1$, but $\mathbb Z/3$ has the stated property –  Thomas Andrews Dec 19 '12 at 5:37
    
you are right... I will delete the answer. Thanks! –  Isomorphism Dec 19 '12 at 5:41
    
It can be made to work, just needs a little more care. –  Thomas Andrews Dec 19 '12 at 5:42

Your Answer

 
discard

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.