Déterminer tous les -automorphismes .
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Let’s assume that such a -automorphism exists. Then, since it is a field homomorphism, it must verify:
but because it is a -morphism, it fixes , so:
So would be entirely determined by . But we have that , which means that is a solution of the equation . This equation admits only two solutions, and .
We conclude that either (this is the identity map), or , which is the complex conjugation (and it is indeed a -automorphism).
