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.