Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I was a reading a proof in Lang, and I think he seems to be using the following:

Let $k$ be a field and $E$ and algebraic extension lying within a given algebraic closure $k^a$ of $k$. Suppose, there is an embedding $\sigma$ of $E$ into $k^a$ that fixes $k$ s.t. $\sigma(E)\subseteq E$ then, $\sigma(E)=E$.

I am generalizing this from a specific statement, so I could be wrong, but I am unable to prove this when the extension $E/k$ is not finite. In the finite case, I can just compare the degrees of the extensions.

share|cite|improve this question
up vote 1 down vote accepted

I'm assuming you want $\sigma$ to be the identity on $k$.

Here's one way to see this: Let $x\in E$, and let $P$ be the minimal polynomial of $x$ over $k$. Let's say that $E$ contains $d$ roots of $P$. Then $\sigma(E)$ also contains $d$ roots of $P$, so $\sigma(E)$ must contain $x$.

share|cite|improve this answer
Thanks for the answer. I was assuming the embedding fixed $k$. – BMI Sep 28 '11 at 23:56
Your proof shows that this has nothing to do with algebraic closures. Theorem Let $E$ be an algebraic extension of the field $k$. Then any $k$-endomorphism of fields $E\to E$ is an isomorphism. Mnemonic ENDO=ISO – Georges Elencwajg Sep 29 '11 at 6:14

Your Answer


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.