2
$\begingroup$

[Cute question heard elsewhere]

Is there a nice characterization of extensions of fields $K/k$ such that whenever $E/k$ and $E'/k$ are subextensions and $\sigma:E\to E'$ is an isomorphism over $k$, there is a $\tilde\sigma\in\mathrm{Aut}(K/k)$ such that $\tilde\sigma|_E=\sigma$?

Normal extensions and those without proper subextensions have that property. On the other hand, $\mathbb Q(\sqrt[4]{2})/\mathbb Q$ doesn't.

$\endgroup$
3
  • $\begingroup$ I always thought that the only subextension of Q(2^{1/4})/Q was Q(2^{1/2}). Am I wrong? $\endgroup$ Feb 26, 2010 at 14:33
  • 1
    $\begingroup$ $E$ can coincide with $E'$. $\endgroup$ Feb 26, 2010 at 14:39
  • $\begingroup$ Touch\'e ;-) $\endgroup$ Feb 26, 2010 at 14:46

1 Answer 1

2
$\begingroup$

Dear Mariano, I can't characterize the extensions in your interesting question, but here is a class of examples.

Take for $k$ an algebraically closed field and for $K$ any algebraically closed extension of transcendence degree one.Then if you give yourself a $k$- morphism $\sigma :E \to E'$ it extends to an endomorphism $\tilde \sigma : K \to K$, since $K$ is algebraic over $E$ and algebraically closed. This extended morphism is surjective, hence an automorphism, because $\tilde \sigma (K) \subset K$ is algebraic and $ \tilde \sigma (K)$ is algebraically closed. Since $k$ is fixed under $\tilde \sigma$ you get your result.

I suppose this construction might be generalized somewhat.

$\endgroup$
3
  • $\begingroup$ Why is $K$ algebraic over $E$? $\endgroup$ Feb 26, 2010 at 15:13
  • $\begingroup$ Take any x in E but not in k. Then x is transcendental over k, because k is algebraically closed. Since K has transcendence degree 1 over k, the singleton {x} is a transcendence basis of K over k and so K is algebraic over k(x), and a fortiori K is algebraic over E. $\endgroup$ Feb 26, 2010 at 15:25
  • $\begingroup$ Ah. I'd missed the fact that $k$ is algebraically closed. Thanks! $\endgroup$ Feb 26, 2010 at 16:52

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.