Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question

2 Answers 2

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.

share|improve this answer

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$.

share|improve this answer

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.