3
$\begingroup$

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!

1 Answers 1

8

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.

  • 6
    In $t$he 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)."2011-04-20