Let’s assume that such a R-automorphism φ:C→C exists. Then, since it is a field homomorphism, it must verify:
φ(a+bi)=φ(a)+φ(bi)=φ(a)+φ(b)φ(i)but because it is a R-morphism, it fixes R, so:
φ(a+bi)=a+bφ(i).So φ would be entirely determined by φ(i). But we have that φ(−1)=φ(i2)=φ(i)2, which means that φ(i) is a solution of the equation X2=−1. This equation admits only two solutions, i and −i.
We conclude that either φ(a+bi)=a+bi (this is the identity map), or φ(a+bi)=a−bi, which is the complex conjugation (and it is indeed a R-automorphism).
No messages yet.