2
$\begingroup$

K is a field and f is an automorphism of K. We're also given that the order of f, as an element of the group Aut(K), is not finite. Is it always possible to find a field L which contains K and an automorphism of L, say g, such that g = f over K and the fixed field of g is algebraically closed in L?

$\endgroup$
0

2 Answers 2

5
$\begingroup$

I think if you take $K=\overline{\mathbb{Q}}$, and $f$ almost any element of $\mathrm{Gal}(K/\mathbb{Q})$ (if $f^2 \neq \mathrm{Id}$, $f$ cannot be of finite order), you get a counter-example.

$\endgroup$
3
$\begingroup$

It is in fact never possible if the fixed field $K^f$ is not algebraically closed in $K$, since in that case, $K \cap L^g = K^f$, and $K$ (hence $L$) contains a nontrivial algebraic extension.

If you were to add the assumption that $K^f$ is algebraically closed in $K$, then the answer is yes. We can take $L=K$.

$\endgroup$

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.