Let E be an algebraic extension of F and o: E→ E be an

Last updated: 8/11/2022

Let E be an algebraic extension of F and o: E→ E be an embedding such that o| F = Id. Then, σ is an automorphism of E.