show/hide this revision's text 2 added 88 characters in body

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?

show/hide this revision's text 1

Making the fixed field algebraically closed

K is a field and f is an automorphism of K. 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?