0
$\begingroup$

Let $K$ be a subfield of a field $K'$ and suppose we have an embedding $\phi:K \rightarrow L$ of $K$ into an algebraically close field $L$. Let $x \in K'$. If $x$ is algebraic over $K$, then we can extend $\phi$ to $K(x)$. What if $x$ is transcendental over $K$? Can we then extend $\phi$ to $K(x)$?

Thanks.

2 Answers 2

2

Note: this is an edited version of a previous incomplete (and wrong....) answer. While I was editing. Gerry wrote his answer giving the very same counterexample. Sorry for the mishap ... :)

If there is a $z\in L$ transcendental over $\phi(K)$ you can extend $\phi$ by letting $x\mapsto z$.

But it is possible that such a $z$ doesn't exist: for instance $K=\Bbb Q$ embeds in $L=\overline{\Bbb Q}$ but there's no way to extend this to an embedding of $K^\prime=\Bbb Q(\pi)$ into $L$.

  • 1
    I suppose the answer is “never, in case $L$ is an algebraic closure of $K$”.2012-08-12
1

As Andrea writes, yes, if there's a transcendental in $L$. As Lubin hints, no, if not. E.g., if $K$ is the rationals, and $L$ is the algebraic numbers, and $x=\pi$, it can't be done. Or if $K$ is the reals, and $L$ is the complex numbers, and $x$ is an indeterminate.