4
$\begingroup$

Let $Aut(\bar{Q})$ be the automorphism group on the field of algebraic complex numbers. The order of an element $f \in Aut(\bar{Q})$ is the least natural number $n$ (if there exists one) such that $(f)^{n}$ is identity. What are the possible orders of elements of $Aut(\bar{Q})$?

$\endgroup$

1 Answer 1

13
$\begingroup$

This amounts to the Artin-Schreier theorem, which has come up several times already on MO (c.f. Examples of algebraic closures of finite index):

if $K/F$ is a field extension with $K$ algebraically closed and $[K:F] < \infty$, then $[K:F] = 1$ or $2$, and in the latter case, $F$ is real-closed.

Thus the answer here is that $n$ can be $1$, $2$ or $\infty$, and all possibilities occur: the field of real algebraic numbers gives an index $2$ subfield of $\overline{\mathbb{Q}}$.

(Also, just to be sure, there are elements of infinite order! E.g., if not then every element would have order $1$ or $2$, so the absolute Galois group would be abelian, and thus every finite Galois group over $\mathbb{Q}$ would be abelian, and this is certainly not the case.)

$\endgroup$
1
  • $\begingroup$ Every finite Galois group over $\mathbb{Q}$ would be abelian...:D $\endgroup$ Feb 9, 2015 at 7:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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