Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm reading some Galois theory in Lang's Algebra, and he often refers to maps acting on elements of a field extension as embeddings in the algebraic closure of the base field (if I'm not mistaken). However, it seems that the things he refers to as embeddings are replaced by elements of the Galois group in many other texts, for instance in the definition of norm and trace. Can someone tell me how these two things are related? I guess I can see it intuitively, but why when the extension is Galois do embeddings into the algebraic closure become automorphisms? Any help would be much appreciated.

Thanks!

share|improve this question

1 Answer 1

up vote 6 down vote accepted

Any embedding of the extension into the algebraic closure must take each element of the extension to one of its conjugates over the base field. Part of the definition of Galois extension is that it contains all the conjugates of each of its elements. So for a Galois extension, an embedding is an automorphism.

share|improve this answer
    
Why must an embedding take an element to a conjugate? –  Jon Beardsley Apr 20 '11 at 3:12
    
Let $q$ be in the extension. Let $f$ be the monic irreducible polynomial it satisfies over the base field. Let $T$ be the embedding. $T$ is a field homomorphism, and is the identity on the base field, so $0=T(0)=T(f(q))=f(T(q))$. Thus, $T(q)$ is a conjugate of $q$. –  Gerry Myerson Apr 20 '11 at 3:31
    
Oh that's simple. Thanks so much. –  Jon Beardsley Apr 20 '11 at 3:41
4  
In the interest of precision, I would prefer that you say "for a Galois extension, any two embeddings are related by an automorphism (of the image of the embedding)." –  Qiaochu Yuan Apr 20 '11 at 4:12

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.